Annual Reviews in Control最新文献

{"title":"Shaping the future of advanced automation and control systems for society strategic directions and multidisciplinary collaborations of IFAC's social systems coordinating committee","authors":"","doi":"10.1016/j.arcontrol.2024.100967","DOIUrl":"10.1016/j.arcontrol.2024.100967","url":null,"abstract":"<div><div>In an era of rapid advancements in highly intelligent digital systems, blockchain, and other transformative technologies, the role of control and automation in shaping human civilization is of paramount, even critical, importance. This paper examines the strategic significance of IFAC's Social Systems Coordinating Committee (CC), a unique multidisciplinary global community of researchers and practitioners comprising leading universities, research centers, industry partners and international agencies at the forefront of integrating technological and societal progress.</div><div>This paper reports the results of a strategic \"milestone\" review, including an extensive meta-analysis of the Social Systems CC's five Technical Committees (TCs) and their activities. It uncovers key themes emphasizing this CC's contributions to models, systems, infrastructures, and operations. Using content analysis and word clouds, 272 keywords were refined to elucidate the main themes of the CC, revealing significant current and future collaborations with other IFAC communities and external organizations. The paper identifies high-potential new cooperation opportunities between this CC and the other IFAC CCs and their TCs, suggesting ways to achieve these collaborations. The findings highlight the Social Systems CC's unique position at the heart of the global automation and control community, where it offers practical applications in planning, management, and sustainability as well as fostering cross-sector cooperation crucial for human progress and effective humanitarian and environmental responses. This paper underscores the Social Systems CC's role in advancing control science and automation systems engineering to tackle pressing societal challenges, advocating for a future where technology and human systems synergize for the global well-being of all living systems.</div></div>","PeriodicalId":50750,"journal":{"name":"Annual Reviews in Control","volume":null,"pages":null},"PeriodicalIF":7.3,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142311655","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Revisiting disturbance decoupling with an optimization perspective","authors":"Selahattin Burak Sarsılmaz ,&nbsp;Sarah H.Q. Li ,&nbsp;Behçet Açıkmeşe","doi":"10.1016/j.arcontrol.2023.100928","DOIUrl":"https://doi.org/10.1016/j.arcontrol.2023.100928","url":null,"abstract":"<div><p>This paper presents an optimization-based perspective for incorporating disturbance decoupling<span><span> constraints into controller synthesis, which paves the way for utilizing </span>numerical optimization<span><span> tools. We consider the constraints arising from the following sets of static state feedback: (i) The set of all disturbance decoupling controllers; (ii) The set of all disturbance decoupling and stabilizing controllers. To inner approximate these sets by means of matrix equations or inequalities, we provide a unifying review of the relevant results of the geometric control theory. The approximations build on the characterization of controlled </span>invariant subspaces<span><span> in terms of the solvability of a linear matrix equation (LME) involving the state feedback. The set (i) is inner approximated through the LME associated with any element of an upper semilattice generated by controlled invariant subspaces. The set (ii) is inner approximated through a bilinear matrix inequality (BMI) and the LME associated with any element of a different upper semilattice generated by internally stabilizable controlled invariant subspaces. However, the resulting inner approximations depend on the subspaces chosen from the semilattices. It is shown that a specific (internally stabilizable) self-bounded controlled invariant subspace, which is the best choice regarding eigenvalue assignment, yields the largest inner approximation for both of the sets among (internally stabilizable) self-bounded controlled invariant subspaces. The inner approximations exactly characterize the controller sets under particular structural conditions. We have been driven by two primary motivations in investigating inner approximations for the sets above: (i) Enable the formulation of a variety of equality (and inequality) </span>constrained optimization problems, where cost functions, such as a norm of the state feedback, can be minimized over a large subset of the set of all disturbance decoupling (and stabilizing) controllers; (ii) Introduce the disturbance decoupling constraints to members of the control systems community who might not be quite familiar with the elegant geometric state-space theory, similar to the authors themselves. This can add another dimension to research endeavors in resilient control of networked multi-agent systems.</span></span></span></p></div>","PeriodicalId":50750,"journal":{"name":"Annual Reviews in Control","volume":null,"pages":null},"PeriodicalIF":9.4,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139473571","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Towards wireless communication in control systems of the civil nuclear energy sector","authors":"Erwin Jose Lopez Pulgarin ,&nbsp;Guido Herrmann ,&nbsp;Christine Hollinshead ,&nbsp;John May ,&nbsp;Kibrom Negash Gebremicael ,&nbsp;Diane Daw","doi":"10.1016/j.arcontrol.2024.100936","DOIUrl":"https://doi.org/10.1016/j.arcontrol.2024.100936","url":null,"abstract":"<div><p>The use of wireless communication within the civil nuclear industry can bring many benefits over wired solutions, such as reducing lifecycle costs and enabling new applications in asset and process management. This paper will discuss aspects of wireless communication in industrial control systems, i.e. termed wireless control systems, of the civil nuclear industry. In this respect, we will review previous use of wireless communication in the nuclear industry, and provide the results of a recent feasibility study of wireless communication for an industrial, civil nuclear control system. The studied use case was of an advanced nuclear modular reactor, the Stable Salt Reactor (SSR), and the augmentation of one of its control systems, the refuelling control system, with wireless communication. Hence, in contrast to previous work on wireless control systems, this paper here will focus on the complex and rigorous processes required for regulated safety which have to be followed to allow for wireless control to be implemented in the nuclear civil sector. The following analysis and design procedure was followed: (a) the decision process for choosing the refuelling control system, (b) the review for a suitable communication protocol and technology, the analysis for placement of wireless transceivers for sensors and actuators, (c) the analysis for wireless communication integrity, (d) the basic analysis and guidelines for control system robustness under packet loss, (e) the discussion of possible self-powering options and (f) the safety analysis of the control system under communication failure. Our initial hypothesis is that wireless control systems in Nuclear Applications can improve asset integrity. Control systems can be made more robust and secure to external influences by securely communicating control responses and asset information within a Nuclear Plant. Safety is also improved by reducing the number of operator interactions required for servicing connections, as failures are reduced overall. The removal of power/data harnesses from in-reactor applications can enable faster deployment and replacement of instrumentation for new builds, existing plants and decommissioning.</p></div>","PeriodicalId":50750,"journal":{"name":"Annual Reviews in Control","volume":null,"pages":null},"PeriodicalIF":9.4,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1367578824000051/pdfft?md5=00869d41967d76357ad3d54fe8f4f02c&pid=1-s2.0-S1367578824000051-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139693971","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges","authors":"Xiang Yin ,&nbsp;Bingzhao Gao ,&nbsp;Xiao Yu","doi":"10.1016/j.arcontrol.2024.100940","DOIUrl":"https://doi.org/10.1016/j.arcontrol.2024.100940","url":null,"abstract":"<div><p>In recent years, <em>formal methods</em> have been extensively used in the design of autonomous systems. By employing mathematically rigorous techniques, formal methods can provide fully automated reasoning processes with provable safety guarantees for complex dynamic systems with intricate interactions between continuous dynamics and discrete logics. This paper provides a comprehensive review of formal controller synthesis techniques for safety-critical autonomous systems. Specifically, we categorize the formal control synthesis problem based on diverse system models, encompassing deterministic, non-deterministic, and stochastic, and various formal safety-critical specifications involving logic, real-time, and real-valued domains. The review covers fundamental formal control synthesis techniques, including abstraction-based approaches and abstraction-free methods. We explore the integration of data-driven synthesis approaches in formal control synthesis. Furthermore, we review formal techniques tailored for multi-agent systems (MAS), with a specific focus on various approaches to address the scalability challenges in large-scale systems. Finally, we discuss some recent trends and highlight research challenges in this area.</p></div>","PeriodicalId":50750,"journal":{"name":"Annual Reviews in Control","volume":null,"pages":null},"PeriodicalIF":9.4,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140103572","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Advances in the Theory of Control Barrier Functions: Addressing practical challenges in safe control synthesis for autonomous and robotic systems","authors":"Kunal Garg ,&nbsp;James Usevitch ,&nbsp;Joseph Breeden ,&nbsp;Mitchell Black ,&nbsp;Devansh Agrawal ,&nbsp;Hardik Parwana ,&nbsp;Dimitra Panagou","doi":"10.1016/j.arcontrol.2024.100945","DOIUrl":"https://doi.org/10.1016/j.arcontrol.2024.100945","url":null,"abstract":"<div><p>This tutorial paper presents recent work of the authors that extends the theory of Control Barrier Functions (CBFs) to address practical challenges in the synthesis of safe controllers for autonomous systems and robots. We present novel CBFs and methods that handle safety constraints (i) with time and input constraints under disturbances, (ii) with high-relative degree under disturbances and input constraints, and (iii) that are affected by adversarial inputs and sampled-data effects. We then present novel CBFs and adaptation methods that prevent loss of validity of the CBF, as well as methods to tune the parameters of the CBF online to reduce conservatism in the system response. We also address the pointwise-only optimal character of CBF-induced control inputs by introducing a CBF formulation that accounts for future trajectories, as well as implementation challenges such as how to preserve safety when using output feedback control and zero-order-hold control. Finally we consider how to synthesize non-smooth CBFs when discontinuous inputs and multiple constraints are present.</p></div>","PeriodicalId":50750,"journal":{"name":"Annual Reviews in Control","volume":null,"pages":null},"PeriodicalIF":9.4,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140103574","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Safety-critical control for autonomous systems: Control barrier functions via reduced-order models","authors":"Max H. Cohen ,&nbsp;Tamas G. Molnar ,&nbsp;Aaron D. Ames","doi":"10.1016/j.arcontrol.2024.100947","DOIUrl":"https://doi.org/10.1016/j.arcontrol.2024.100947","url":null,"abstract":"<div><p>Modern autonomous systems, such as flying, legged, and wheeled robots, are generally characterized by high-dimensional nonlinear dynamics, which presents challenges for model-based safety-critical control design. Motivated by the success of reduced-order models in robotics, this paper presents a tutorial on constructive safety-critical control via reduced-order models and control barrier functions (CBFs). To this end, we provide a unified formulation of techniques in the literature that share a common foundation of constructing CBFs for complex systems from CBFs for much simpler systems. Such ideas are illustrated through formal results, simple numerical examples, and case studies of real-world systems to which these techniques have been experimentally applied.</p></div>","PeriodicalId":50750,"journal":{"name":"Annual Reviews in Control","volume":null,"pages":null},"PeriodicalIF":9.4,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140134705","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Cooperative control of heterogeneous multi-agent systems under spatiotemporal constraints","authors":"Fei Chen,&nbsp;Mayank Sewlia,&nbsp;Dimos V. Dimarogonas","doi":"10.1016/j.arcontrol.2024.100946","DOIUrl":"https://doi.org/10.1016/j.arcontrol.2024.100946","url":null,"abstract":"<div><p>A current trend in research on multi-agent control systems is to consider high-level task specifications that go beyond traditional control objectives and take into account the heterogeneity of each agent in the system, i.e., the different capabilities of the agents in terms of actuation, sensing, communication and computation. This article provides an overview of our work on the problem of control of heterogeneous multi-agent systems under both spatial and temporal constraints as well as our perspective on the challenges and open problems associated with the consideration of such spatiotemporal constraints. Initially, we review a set of control strategies introduced by the authors addressing the satisfaction of cooperative tasks such as formation control as well as individual objectives such as reference tracking. The satisfaction of those objectives is ensured using prescribed performance control. Building upon these approaches we then review recent results on control under high-level spatiotemporal objectives expressed in Signal Temporal Logic, a formal language that allows to express complex spatial tasks that must be satisfied within pre-defined deadlines. Theoretical results considering multi-agent systems with various capabilities under spatiotemporal constraints are presented.</p></div>","PeriodicalId":50750,"journal":{"name":"Annual Reviews in Control","volume":null,"pages":null},"PeriodicalIF":9.4,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1367578824000154/pdfft?md5=97c17641fe2f8ee3e9875a3854c47e43&pid=1-s2.0-S1367578824000154-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140137780","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Analysis and design of model predictive control frameworks for dynamic operation—An overview","authors":"Johannes Köhler ,&nbsp;Matthias A. Müller ,&nbsp;Frank Allgöwer","doi":"10.1016/j.arcontrol.2023.100929","DOIUrl":"https://doi.org/10.1016/j.arcontrol.2023.100929","url":null,"abstract":"<div><p>This article provides an overview of model predictive control (MPC) frameworks for dynamic operation of nonlinear constrained systems. Dynamic operation is often an integral part of the control objective, ranging from tracking of reference signals to the general economic operation of a plant under online changing time-varying operating conditions. We focus on the particular challenges that arise when dealing with such more general control goals and present methods that have emerged in the literature to address these issues. The goal of this article is to present an overview of the state-of-the-art techniques, providing a diverse toolkit to apply and further develop MPC formulations that can handle the challenges intrinsic to dynamic operation. We also critically assess the applicability of the different research directions, discussing limitations and opportunities for further research.</p></div>","PeriodicalId":50750,"journal":{"name":"Annual Reviews in Control","volume":null,"pages":null},"PeriodicalIF":9.4,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1367578823000937/pdfft?md5=af3388bebc701ddd116a994fa3e12c46&pid=1-s2.0-S1367578823000937-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139399409","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Lateral control for autonomous vehicles: A comparative evaluation","authors":"Antonio Artuñedo,&nbsp;Marcos Moreno-Gonzalez,&nbsp;Jorge Villagra","doi":"10.1016/j.arcontrol.2023.100910","DOIUrl":"https://doi.org/10.1016/j.arcontrol.2023.100910","url":null,"abstract":"<div><p>The selection of an appropriate control strategy is essential for ensuring safe operation in autonomous driving. While numerous control strategies have been developed for specific driving scenarios, a comprehensive comparative assessment of their performance using the same tuning methodology is lacking in the literature. This paper addresses this gap by presenting a systematic evaluation of state-of-the-art model-free and model-based control strategies. The objective is to evaluate and contrast the performance of these controllers across a wide range of driving scenarios, reflecting the diverse needs of autonomous vehicles. To facilitate the comparative analysis, a comprehensive set of performance metrics is selected, encompassing accuracy, robustness, and comfort. The contributions of this research include the design of a systematic tuning methodology, the use of two novel metrics for stability and comfort comparisons and the evaluation through extensive simulations and real tests in an experimental instrumented vehicle over a wide range of trajectories.</p></div>","PeriodicalId":50750,"journal":{"name":"Annual Reviews in Control","volume":null,"pages":null},"PeriodicalIF":9.4,"publicationDate":"2023-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71765855","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"A Survey of Feedback Particle Filter and related Controlled Interacting Particle Systems (CIPS)","authors":"A. Taghvaei, P. Mehta","doi":"10.48550/arXiv.2301.00935","DOIUrl":"https://doi.org/10.48550/arXiv.2301.00935","url":null,"abstract":"In this survey, we describe controlled interacting particle systems (CIPS) to approximate the solution of the optimal filtering and the optimal control problems. Part I of the survey is focussed on the feedback particle filter (FPF) algorithm, its derivation based on optimal transportation theory, and its relationship to the ensemble Kalman filter (EnKF) and the conventional sequential importance sampling-resampling (SIR) particle filters. The central numerical problem of FPF -- to approximate the solution of the Poisson equation -- is described together with the main solution approaches. An analytical and numerical comparison with the SIR particle filter is given to illustrate the advantages of the CIPS approach. Part II of the survey is focussed on adapting these algorithms for the problem of reinforcement learning. The survey includes several remarks that describe extensions as well as open problems in this subject.","PeriodicalId":50750,"journal":{"name":"Annual Reviews in Control","volume":null,"pages":null},"PeriodicalIF":9.4,"publicationDate":"2023-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83593288","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}