Finite Approximations of Switched Homogeneous Systems for Controller Synthesis
Danielle C. Tarraf, Alexandre Megretski, Munther A. Dahleh
备注：
22 pages, 9 figures. Changes in second version: Title, abstract and introduction changed. References updated. A shorter version of this manuscript has been submitted for journal publication
发表信息：
IEEE Transactions on Automatic Control, vol.56, no.5, pp.1140-1145, May 2011
We demonstrate the use of a new, control-oriented notion of finite state approximation for a particular class of hybrid systems. Specifically, we consider the problem of designing a stabilizing binary output feedback switching controller for a pair of unstable homogeneous second order systems. The constructive approach presented in this note, in addition to yielding an explicit construction of a deterministic finite state approximate model of the hybrid plant, allows us to efficiently establish a useable upper bound on the quality of approximation, and leads to a discrete optimization problem whose solution immediately provides a certifiably correct-by-design controller for the original system. The resulting controller consists of a finite state observer for the plant and a corresponding full state feedback switching control law.
This paper investigates the design of decentralized output-feedback controllers for a class of a large scale switched nonlinear systems under arbitrary switching laws. A global large scale switched system can be split into a set of smaller interconnected switched Takagi Sugeno fuzzy subsystems. Then, in order to stabilize the overall closed-loop system, a set of switched non-PDC static output controllers is employed. The latter is designed based on Linear Matrix Inequality (LMI) conditions obtained from a multiple switched non quadratic-like Lyapunov candidate function. The controllers propose…
This work studies data-driven switched controller design for discrete-time switched linear systems. Instead of having access to the full system dynamics, an initialization phase is performed, during which noiseless measurements of the state and the input are collected for each mode. Under certain conditions on these measurements, we develop a stabilizing switched controller for the switched system. To be precise, the controller switches between identifying the active mode of the system and applying a predetermined stabilizing feedback. We prove that if the system switches according to certain …
We investigate the stabilizability of discrete-time linear switched systems, when the sole control action of the controller is the switching signal, and when the controller has access to the state of the system in real time. Despite their apparent simplicity, determining if such systems are stabilizable appears to be a very challenging problem, and basic examples have been known for long, for which the stabilizability question is open. We provide new results allowing us to bound the so-called stabilizability radius, which characterizes the stabilizability property of discrete-time linear switc…
Motivated by the goal of learning controllers for complex systems whose dynamics change over time, we consider the problem of designing control laws for systems that switch among a finite set of unknown discrete-time linear subsystems under unknown switching signals. To this end, we propose a method that uses data to directly design a control mechanism without any explicit identification step. Our approach is online, meaning that the data are collected over time while the system is evolving in closed-loop, and are directly used to iteratively update the controller. A major benefit of the propo…
In this paper, we study the application of switched systems stability criteria to derive delay-dependent conditions for systems affected by both a constant and a time-varying delay. The main novelty of our approach lies on the use of path-complete Lyapunov techniques along with the proposition of a new modified functional to obtain convex analysis conditions while avoiding the need of computing a dwell time for each mode in a switched system representation, as usual in the \textit{switched approach} for time-delay systems. Furthermore, we leverage the developed analysis to obtain LMIs for the …
Switched linear systems are time-varying nonlinear systems whose dynamics switch between different modes, where each mode corresponds to different linear dynamics. They arise naturally to model unexpected failures, environment uncertainties or system noises during system operation. In this paper, we consider a special class of switched linear systems where the mode switches are governed by Markov decision processes (MDPs). We study the problem of synthesizing a policy in an MDP that stabilizes the switched system. Given a policy, the switched linear system becomes a Markov jump linear system w…
We have witnessed the emergence of several controller parameterizations and the corresponding synthesis methods, including Youla, system level, input-output, and many other new proposals. Meanwhile, under the same synthesis method, there are multiple realizations to adopt. Different synthesis methods/realizations target different plants/scenarios. Except for some case-by-case studies, we don't currently have a unified framework to understand their relationships. To address the issue, we show that existing controller synthesis methods and realization proposals are all special cases of a simple …
This paper studies the design of feedback controllers to steer a switching linear time-invariant dynamical system towards the solution trajectory of a time-varying convex optimization problem. We propose two types of controllers: (i) a continuous controller inspired by the online gradient descent method, and (ii) a hybrid controller that can be interpreted as an online version of Nesterov's accelerated gradient method with restarts of the state variables. By design, the controllers continuously steer the system towards the time-varying optimizer without requiring knowledge of exogenous disturb…
In this paper, we study the problem of stabilizing switched linear systems when only limited information about the state and the mode of the system is available, which occurs in many applications involving networked switched systems (such as cyber-physical systems, IoT, etc.). First, we show that switched linear systems with arbitrary switching, i.e., with no constraint on the switching signal, are in general not stabilizable with a finite data rate. Then, drawing on this result, we restrict our attention to systems satisfying a fairly mild slow-switching assumption, in the sense that the swit…
This paper presents necessary and sufficient conditions for deriving a strictly proper dynamic controller which satisfies the negative imaginary output feedback control problem. Our synthesis method divides the output feedback control problem into a state feedback problem and a dual output injection problem. Thus, a controller is formed using the solutions to a pair of dual algebraic Riccati equations. Finally, an illustrative example is offered to show how this method may be applied.
This paper is concerned with the problem of robust reliable control for a class of uncertain 2D discrete switched systems with state delays represented by a model of Roesser type. The parameter uncertainties are assumed to be norm-bounded. Firstly, delay-dependent sufficient condition for the exponential stability of the discrete 2D systems with state delays is established. Then, the concept of average dwell time is extended to 2D switched systems, and a reliable state feedback controller is developed in terms of linear matrix inequalities (LMIs) such that the resulting closed-loop system is e…
We have witnessed the emergence of several controller parameterizations and the corresponding synthesis methods, including Youla, system level, input-output, and many other new proposals. Meanwhile, under the same synthesis method, there are multiple realizations to adopt. Different synthesis methods/realizations target different plants/scenarios. Also, various robust results are proposed to deal with different perturbed system structures. Except for some case-by-case studies, we don't currently have a unified framework to understand their relationships. To address the issue, we show that exis…
This paper presents a new data-driven controller synthesis based on the Koopman operator and the extended $\mathcal{H}_2$ norm characterization of discrete-time linear systems. We model dynamical systems as polytope sets which are derived from multiple data-driven linear models obtained by the finite approximation of the Koopman operator and then used to design robust feedback controllers combined with the $\mathcal{H}_2$ norm characterization. The use of the $\mathcal{H}_2$ norm characterization is aimed to deal with the model uncertainty that arises due to the nature of the data-driven setti…
We consider optimal distributed controller synthesis for an interconnected system subject to communication constraints, in linear quadratic settings. Motivated by the problem of finite heavy duty vehicle platooning, we study systems composed of interconnected subsystems over a chain graph. By decomposing the system into orthogonal modes, the cost function can be separated into individual components. Thereby, derivation of the optimal controllers in state-space follows immediately. The optimal controllers are evaluated under the practical setting of heavy duty vehicle platooning with communicat…
Output-Feedback Controller Synthesis for Dissipativity and $H_2$ Performance of Autoregressive Systems from Noisy Input-Output Data
Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb（机械与船舶工程学院，萨格勒布大学）；Electrical Engineering Faculty, Eindhoven University of Technology（电气工程学院，埃因霍温理工大学）
Switched systems in which the manipulated control action is the time-depending switching signal describe many engineering problems, mainly related to biomedical applications. In such a context, to control the system means to select an autonomous system - at each time step - among a given finite family. Even when this selection can be done by solving a Dynamic Programming (DP) problem, such a solution is often difficult to apply, and state/control constraints cannot be explicitly considered. In this work a new set-based Model Predictive Control (MPC) strategy is proposed to handle switched syst…
Feedback stabilization of switched systems under arbitrary switching: A convex characterization
Aeronautics Institute of Technology (ITA)（巴西空军理工学院）；Politecnico di Torino（都灵理工大学）；Université Paris-Saclay, CNRS, CentraleSupélec, Laboratoire des Signaux et Systèmes（巴黎萨克雷大学、法国国家科学研究中心、中央苏佩莱克学院、信号与系统实验室）
Robust controller synthesis attracts reviving research interest, driven by the rise of learning-based systems where uncertainty and perturbation are ubiquitous. Facing an uncertain situation, a robustly stabilizing controller should maintain stability while operating under a perturbed system deviating from its nominal specification. There have been numerous results for robust controller synthesis in multiple forms and with various goals, including mu-synthesis, robust primal-dual Youla, robust input-output, and robust system level parameterizations. However, their connections with one another …
This paper presents a framework for the design and analysis of an $\mathcal{L}_1$ adaptive controller with a switching reference system. The use of a switching reference system allows the desired behavior to be scheduled across the operating envelope, which is often required in aerospace applications. The analysis uses a switched reference system that assumes perfect knowledge of uncertainties and uses a corresponding non-adaptive controller. Provided that this switched reference system is stable, it is shown that the closed-loop system with unknown parameters and disturbances and the $\mathca…
This paper is concerned with a linear fractional representation approach to the synthesis of linear coherent quantum controllers for a given linear quantum plant. The plant and controller represent open quantum harmonic oscillators and are modelled by linear quantum stochastic differential equations. The feedback interconnections between the plant and the controller are assumed to be established through quantum bosonic fields. In this framework, conditions for the stabilization of a given linear quantum plant via linear coherent quantum feedback are addressed using a stable factorization appro…
Synthesizing controllers for large, complex, and distributed systems is a challenging task. Numerous proposed methods exist in the literature, but it is difficult for practitioners to apply them -- most proposed synthesis methods lack ready-to-use software implementations, and existing proprietary components are too rigid to extend to general systems. To address this gap, we develop SLSpy, a framework for controller synthesis, comparison, and testing. SLSpy implements a highly extensible software framework which provides two essential workflows: synthesis and simulation. The workflows are buil…
We consider the problem of how to deploy a controller to a (networked) cyber-physical system (CPS). Controlling a CPS is an involved task, and synthesizing a controller to respect sensing, actuation, and communication constraints is only part of the challenge. In addition to controller synthesis, one should also consider how the controller will be incorporated within the CPS. Put another way, the cyber layer and its interaction with the physical layer need to be taken into account. In this work, we aim to bridge the gap between theoretical controller synthesis and practical CPS deployment. We …
Dynamic Output-Feedback Controller Synthesis for Dissipativity and $H_2$ Performance from Noisy Input-State Data
Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb（萨格勒布大学机械与船舶工程学院）；Electrical Engineering Faculty, Eindhoven University of Technology（埃因霍温理工大学电气工程学院）
This manuscript discusses a scalable controller synthesis method for networked systems with a large number of identical subsystems based on the H-infinity control framework. The dynamics of the individual subsystems are described by identical linear time-invariant delay differential equations and the effect of transport and communication delay is explicitly taken into account. The presented method is based on the result that, under a particular assumption on the graph describing the interconnections between the subsystems, the H-infinity norm of the overall system is upper bounded by the robus…
Permissive Controller Synthesis for Probabilistic Systems
Faculty of Informatics, Masaryk University（马萨里克大学信息学院）；EECS, Queen Mary, University of London（伦敦大学玛丽女王学院电气电子与计算机科学与工程系）；Department of Computer Science, University of Oxford（牛津大学计算机科学系）；School of Computer Science, University of Birmingham（伯明翰大学计算机科学学院）
Biological and advanced cyberphysical control systems often have limited, sparse, uncertain, and distributed communication and computing in addition to sensing and actuation. Fortunately, the corresponding plants and performance requirements are also sparse and structured, and this must be exploited to make constrained controller design feasible and tractable. We introduce a new "system level" (SL) approach involving three complementary SL elements. System Level Parameterizations (SLPs) generalize state space and Youla parameterizations of all stabilizing controllers and the responses they ach…
Indian Institute of Technology Kanpur（印度理工学院坎普尔分校）
We propose a framework for synthesizing a feedback control policy that maximizes the region of attraction (ROA) of a closed-loop nonlinear dynamical system. Our synthesis technique relies on stochastic optimization, which involves computation of an objective function capturing the ROA for a feedback control law. We employ a machine learning technique based on deep neural network to estimate the ROA for a given feedback controller. Overall, our technique is capable of synthesizing a controller co-optimizing traditional control objectives like LQR cost together with ROA. We demonstrate the effic…
