IFAC-PapersOnLine最新文献_第10页

Stability Analysis of Feedback Systems with ReLU Nonlinearities via Semialgebraic Set Representation 通过半代数集合表示法分析具有 ReLU 非线性的反馈系统的稳定性

IFAC-PapersOnLine Pub Date : 2024-01-01 DOI: 10.1016/j.ifacol.2024.10.160

Tsuyoshi Yuno , Shingo Nishinaka , Rin Saeki , Yoshio Ebihara , Victor Magron , Dimitri Peaucelle , Samuele Zoboli , Sophie Tarbouriech

{"title":"Stability Analysis of Feedback Systems with ReLU Nonlinearities via Semialgebraic Set Representation","authors":"Tsuyoshi Yuno , Shingo Nishinaka , Rin Saeki , Yoshio Ebihara , Victor Magron , Dimitri Peaucelle , Samuele Zoboli , Sophie Tarbouriech","doi":"10.1016/j.ifacol.2024.10.160","DOIUrl":"10.1016/j.ifacol.2024.10.160","url":null,"abstract":"<div><div>This paper is concerned with the stability/instability analysis problem of feedback systems with rectified linear unit (ReLU) nonlinearities. Such feedback systems arise when we model dynamical (recurrent) neural networks (NNs) and NN-driven control systems where all the activation functions of NNs are ReLUs. In this study, we focus on the semialgebraic set representation characterizing the input-output properties of ReLUs. This allows us to employ a novel copositive multiplier in the framework of the integral quadratic constraint and, thus, to derive a new linear matrix inequality (LMI) condition for the stability analysis of the feedback systems. However, the infeasibility of this LMI does not allow us to obtain any conclusion on the system's stability due to its conservativeness. This motivates us to consider its dual LMI. By investigating the structure of the dual solution, we derive a rank condition on the dual variable certificating that the system at hand is unstable. In addition, we construct a hierarchy of dual LMIs allowing for improved instability detection. We illustrate the effectiveness of the proposed approach by several numerical examples.</div></div>","PeriodicalId":37894,"journal":{"name":"IFAC-PapersOnLine","volume":"58 21","pages":"Pages 138-143"},"PeriodicalIF":0.0,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142554319","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

State reconstruction for stochastic nonlinear systems with unknown local nonlinearities via output injection 通过输出注入重建具有未知局部非线性的随机非线性系统的状态

IFAC-PapersOnLine Pub Date : 2024-01-01 DOI: 10.1016/j.ifacol.2024.10.222

Neha Aswal , Adrien Mélot , Laurent Mevel , Qinghua Zhang

引用次数: 0

Stability on the Robust Dissipative Coding in Quantum System for Thermal Noise 热噪声下量子系统中鲁棒性耗散编码的稳定性

IFAC-PapersOnLine Pub Date : 2024-01-01 DOI: 10.1016/j.ifacol.2024.10.207

Tanathorn Supithak , Koji Tsumura

引用次数: 0

State space representations of the Roesser type for convolutional layers 卷积层的罗塞型状态空间表示法

IFAC-PapersOnLine Pub Date : 2024-01-01 DOI: 10.1016/j.ifacol.2024.10.193

Patricia Pauli , Dennis Gramlich , Frank Allgöwer

引用次数: 0

Linear Dynamical Systems over Finite Rings 有限环上的线性动力系统

IFAC-PapersOnLine Pub Date : 2024-01-01 DOI: 10.1016/j.ifacol.2024.10.198

Yannic Rohde , Eva Zerz

引用次数: 0

Moment Closure for a Birth-Death Model of Antimicrobial Heteroresistance 抗菌药耐药性 "出生-死亡 "模型的时刻闭合

IFAC-PapersOnLine Pub Date : 2024-01-01 DOI: 10.1016/j.ifacol.2024.10.018

Nerea Martínez-López , Carlos Vilas , Adrián Pedreira , Míriam R. García

引用次数: 0

DBTL bioengineering cycle for part characterization and refactoring 用于部件特征描述和重构的 DBTL 生物工程周期

IFAC-PapersOnLine Pub Date : 2024-01-01 DOI: 10.1016/j.ifacol.2024.10.002

A. Arboleda-Garcia , M. Stiebritz , Y. Boada , J. Picó , A. Vignoni

{"title":"DBTL bioengineering cycle for part characterization and refactoring","authors":"A. Arboleda-Garcia , M. Stiebritz , Y. Boada , J. Picó , A. Vignoni","doi":"10.1016/j.ifacol.2024.10.002","DOIUrl":"10.1016/j.ifacol.2024.10.002","url":null,"abstract":"<div><div>The Design-Build-Test-Learn (DBTL) cycle is a crucial framework in Synthetic Biology for the development and optimization of biological systems. However, the manual nature of the cycle poses limitations in terms of time and labor. This paper focuses on the application of automation techniques to the DBTL cycle, specifically in the testing and characterization of standard bioparts, which are essential components of genetic circuits. By automating the testing process, throughput, reliability, and reproducibility can be significantly improved. This paper discusses the challenges associated with manual testing methods and explores various automation strategies and technologies that can address these challenges. High-throughput screening methods, laboratory robotics, and data analysis algorithms are key elements in the automation process. As a case study, we utilize the automated DBTL cycle to refactor a biosensor, aiming to enhance its performance. Integrating automation in the DBTL cycle offers numerous advantages, including increased efficiency, standardization, and quality control of bioparts. It also enables the exploration of larger design spaces and rapid prototyping of complex genetic systems. Here, we show the advantages of using the DBTL cycle to refactor a biosensor that presents improved performance and can be readily used in more complex circuits.</div></div>","PeriodicalId":37894,"journal":{"name":"IFAC-PapersOnLine","volume":"58 23","pages":"Pages 7-12"},"PeriodicalIF":0.0,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142437995","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Gamification in control engineering: An ongoing initiative at the University of Almería* 控制工程中的游戏化：阿尔梅里亚大学正在开展的一项活动*

IFAC-PapersOnLine Pub Date : 2024-01-01 DOI: 10.1016/j.ifacol.2024.10.275

Juan D. Gil , José González-Hernández , Fernando Cañadas-Aránega , Igor M.L. Pataro , Ángeles Hoyo , Pablo Otálora , Francisco Rodríguez , J.L. Guzmán , Manuel Berenguel

{"title":"Gamification in control engineering: An ongoing initiative at the University of Almería*","authors":"Juan D. Gil , José González-Hernández , Fernando Cañadas-Aránega , Igor M.L. Pataro , Ángeles Hoyo , Pablo Otálora , Francisco Rodríguez , J.L. Guzmán , Manuel Berenguel","doi":"10.1016/j.ifacol.2024.10.275","DOIUrl":"10.1016/j.ifacol.2024.10.275","url":null,"abstract":"<div><div>Gamification refers to the utilization of gaming methods and tactics in non-traditional areas, like education. In this work, we describe different gamification-based methods for teaching automatic control in engineering studies as an alternative or support to the traditional teaching system. The experiences are being developed within the framework of a teaching innovation project developed at the University of Almería (Spain). The main objective of this project is to analyze the academic feasibility and acceptance of the use of gamified experiences by both professors and students. Specifically, the paper gives an overview of three different types of games. The first is a solitaire-style card game focused on the reinforcement of the theoretical concepts related to open-loop dynamic system analysis and the design of closed-loop control systems. The second is a virtual challenge of tuning Proportional, Integral, and Derivative (PID) controllers. The goal of this game is for students to understand the impacts of proportional, integral, and derivative actions when these controllers operate in closed-loop mode. The third is an escape room with the primary objective of improving students’ comprehension of basic control principles covered in the initial introductory course in engineering studies.</div></div>","PeriodicalId":37894,"journal":{"name":"IFAC-PapersOnLine","volume":"58 26","pages":"Pages 82-87"},"PeriodicalIF":0.0,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142586969","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Universal Access to Technology: Central Role of Internet in Education, Our Reflections and Perspectives 普及技术：互联网在教育中的核心作用，我们的思考与观点

IFAC-PapersOnLine Pub Date : 2024-01-01 DOI: 10.1016/j.ifacol.2024.10.284

Bozenna Pasik Duncan , Ramalatha Marimuthu , Harivardhagini Subhadra , Hamidou Tembine , Prasanta Ghosh , Stephanie M. White , Mei Lin Fung , Brenda O'Neill , John Organ , Mary Doyle-Kent , Iven Mareels , Dominique Duncan Tyrone E. Duncan

{"title":"Universal Access to Technology: Central Role of Internet in Education, Our Reflections and Perspectives","authors":"Bozenna Pasik Duncan , Ramalatha Marimuthu , Harivardhagini Subhadra , Hamidou Tembine , Prasanta Ghosh , Stephanie M. White , Mei Lin Fung , Brenda O'Neill , John Organ , Mary Doyle-Kent , Iven Mareels , Dominique Duncan Tyrone E. Duncan","doi":"10.1016/j.ifacol.2024.10.284","DOIUrl":"10.1016/j.ifacol.2024.10.284","url":null,"abstract":"<div><div>This paper is a consolidated sharing of different types of experiences in using the Internet for specific purposes that include online teaching, meetings, conferences, webinars, developing interactive internet-based sessions and discussion panels, writing e-books or connecting the unconnected. It is written by a diverse group of members of three committees sponsoring this paper: IEEE Control Systems Society (CSS) Technical Committee on Stochastic Systems and Control (SSC), IEEE Society for Social Implications of Technology (SSIT) Technical Activity on Universal Access of Technology (UAT) and IEEE Systems Council Committee on DEI. The paper is presented in the form of the collection of sections ending with open discussion on reflections and perspectives. The contributors represent seven different cultures on four continents. This diverse group of co-authors reflects beautifully and powerfully a multidisciplinary character of control as a field that spans all STEM fields.</div></div>","PeriodicalId":37894,"journal":{"name":"IFAC-PapersOnLine","volume":"58 26","pages":"Pages 136-141"},"PeriodicalIF":0.0,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142586975","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Object Tracking with Sensor Fusion – An Interactive Learning Tool 利用传感器融合进行物体跟踪 - 一种互动学习工具

IFAC-PapersOnLine Pub Date : 2024-01-01 DOI: 10.1016/j.ifacol.2024.10.285

Andrei Moraru , Eva-H. Dulf

引用次数: 0