Low-Complexity Quantized Switching Controllers using Approximate Bisimulation

In this paper, we consider the problem of synthesizing low-complexity controllers for incrementally stable switched systems. For that purpose, we establish a new approximation result for the computation of symbolic models that are approximately bisimilar to a given switched system. The main advantage over existing results is that it allows us to design naturally quantized switching controllers for safety or reachability specifications; these can be pre-computed offline and therefore the online execution time is reduced. Then, we present a technique to reduce the memory needed to store the control law by borrowing ideas from algebraic decision diagrams for compact function representation and by exploiting the non-determinism of the synthesized controllers. We show the merits of our approach by applying it to a simple model of temperature regulation in a building

Passivity Degradation In Discrete Control Implementations: An Approximate Bisimulation Approach

In this paper, we present some preliminary results for compositional analysis of heterogeneous systems containing both discrete state models and continuous systems using consistent notions of dissipativity and passivity. We study the following problem: given a physical plant model and a continuous feedback controller designed using traditional control techniques, how is the closed-loop passivity affected when the continuous controller is replaced by a discrete (i.e., symbolic) implementation within this framework? Specifically, we give quantitative results on performance degradation when the discrete control implementation is approximately bisimilar to the continuous controller, and based on them, we provide conditions that guarantee the boundedness property of the closed-loop system.Comment: This is an extended version of our IEEE CDC 2015 paper to appear in Japa

Control Theory: On the Way to New Application Fields

Control theory is an interdisciplinary field that is located at the crossroads of pure and applied mathematics with systems engineering and the sciences. Recently, deep interactions are emerging with new application areas, such as systems biology, quantum control and information technology. In order to address the new challenges posed by the new application disciplines, a special focus of this workshop has been on the interaction between control theory and mathematical systems biology. To complement these more biology oriented focus, a series of lectures in this workshop was devoted to the control of networks of systems, fundamentals of nonlinear control systems, model reduction and identification, algorithmic aspects in control, as well as open problems in control