Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach

In this paper, we consider the problem of abstraction-based controller synthesis for interconnected control systems. In general, the conventional methods for the construction of discrete abstractions and synthesis become computationally expensive due to the state and input spaces dimensions while dealing with large interconnected systems. The results in this paper focus on relaxing this issue by providing a compositional framework for the construction of abstractions for interconnected systems. First, we propose a notion of approximate composition which makes it possible to compute an abstraction of the global interconnected system from the abstractions of its components. Second, we propose an incremental procedure for the synthesis of controllers enforcing safety specifications. Finally, we demonstrate the effectiveness of the proposed results on two case studies (viz., DC microgrid and traffic network) by comparing them with different abstraction and controller synthesis schemes.

[1]  Paulo Tabuada,et al.  Approximately bisimilar symbolic models for nonlinear control systems , 2007, Autom..

[2]  Antoine Girard.  A composition theorem for bisimulation functions , 2013, ArXiv.

[3]  Paulo Tabuada,et al.  Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .

[4]  Paulo Tabuada,et al.  Symbolic models for nonlinear time-delay systems using approximate bisimulations , 2010, Syst. Control. Lett..

[5]  Nicolas Markey,et al.  Distributed Synthesis of State-Dependent Switching Control , 2016, RP.

[6]  Rupak Majumdar,et al.  Compositional Synthesis of Finite-State Abstractions , 2016, IEEE Transactions on Automatic Control.

[7]  Calin Belta,et al.  Finite bisimulations for switched linear systems , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[8]  Pavithra Prabhakar,et al.  Safety analysis using compositional bounded error approximations of communicating hybrid systems , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[9]  Amir Pnueli,et al.  Synthesis of Reactive(1) designs , 2006, J. Comput. Syst. Sci..

[10]  Manuel Mazo,et al.  Symbolic Models for Nonlinear Control Systems Without Stability Assumptions , 2010, IEEE Transactions on Automatic Control.

[11]  Antoine Girard,et al.  Decentralized monotonicity-based voltage control of DC microgrids with ZIP loads , 2019 .

[12]  Majid Zamani,et al.  Compositional Synthesis of Finite Abstractions for Networks of Systems: A Small-Gain Approach , 2018, Autom..

[13]  Maria Domenica Di Benedetto,et al.  Decentralized Supervisory Control of Networks of Nonlinear Control Systems , 2016, IEEE Transactions on Automatic Control.

[14]  Alessandro Abate,et al.  Towards scalable synthesis of stochastic control systems , 2016, Discrete Event Dynamic Systems.

[15]  Antoine Girard,et al.  Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems , 2018, ADHS.

[16]  Maria Domenica Di Benedetto,et al.  Control of Cyber-Physical-Systems with logic specifications: A formal methods approach , 2019, Annu. Rev. Control..

[17]  Antoine Girard,et al.  Contract based Design of Symbolic Controllers for Vehicle Platooning , 2018, HSCC.

[18]  George J. Pappas,et al.  Hierarchical control system design using approximate simulation , 2001 .

[19]  Majid Zamani,et al.  Compositional Construction of Approximate Abstractions of Interconnected Control Systems , 2015, IEEE Transactions on Control of Network Systems.

[20]  Adnane Saoud,et al.  A symbolic approach to voltage stability and power sharing in time-varying DC microgrids , 2019, 2019 18th European Control Conference (ECC).

[21]  Jun-ichi Imura,et al.  Bisimilar Finite Abstractions of Interconnected Systems , 2008, HSCC.

[22]  Fabian R. Wirth,et al.  Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case , 2018, 2018 European Control Conference (ECC).

[23]  Antoine Girard,et al.  Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[24]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[25]  Majid Zamani,et al.  Compositional Synthesis of Symbolic Models for Networks of Switched Systems , 2019, IEEE Control Systems Letters.

[26]  Pushpak Jagtap,et al.  Symbolic models for retarded jump-diffusion systems , 2020, Autom..

[27]  Alessandro Abate,et al.  Approximation Metrics Based on Probabilistic Bisimulations for General State-Space Markov Processes: A Survey , 2013, Hybrid Autonomous Systems@ETAPS.

[28]  Petter Nilsson,et al.  Interdependence quantification for compositional control synthesis with an application in vehicle safety systems , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[29]  Paulo Tabuada,et al.  Compositional Abstractions of Hybrid Control Systems , 2004, Discret. Event Dyn. Syst..

[30]  Fabian R. Wirth,et al.  Compositional construction of abstractions via relaxed small-gain conditions Part I: continuous case , 2018, 2018 European Control Conference (ECC).

[31]  Adnane Saoud,et al.  Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems , 2021, IEEE Transactions on Automatic Control.

[32]  Antoine Girard,et al.  Approximation Metrics for Discrete and Continuous Systems , 2006, IEEE Transactions on Automatic Control.

[33]  Goran Frehse,et al.  Compositional verification of hybrid systems using simulation relations , 2005 .

[34]  Majid Zamani,et al.  Constructing Control System Abstractions from Modular Components , 2018, HSCC.

[35]  Sanjit A. Seshia,et al.  A Small Gain Theorem for Parametric Assume-Guarantee Contracts , 2017, HSCC.

[36]  Maria Domenica Di Benedetto,et al.  Design of Symbolic Controllers for Networked Control Systems , 2014, IEEE Transactions on Automatic Control.

[37]  Maria Domenica Di Benedetto,et al.  Approximate equivalence and synchronization of metric transition systems , 2009, Syst. Control. Lett..

[38]  Maria Domenica Di Benedetto,et al.  Symbolic Models for Networks of Control Systems , 2016, IEEE Transactions on Automatic Control.

[39]  Pavithra Prabhakar,et al.  Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems , 2019, MEMOCODE.

[40]  Antoine Girard,et al.  Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models , 2017, IEEE Transactions on Automatic Control.

[41]  Arjan van der Schaft,et al.  Compositional analysis for linear systems , 2010, Syst. Control. Lett..

[42]  Antoine Girard,et al.  On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance , 2018, 2018 European Control Conference (ECC).

[43]  Antoine Girard.  Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systems , 2014, 53rd IEEE Conference on Decision and Control.

[44]  Paulo Tabuada,et al.  On compositional symbolic controller synthesis inspired by small-gain theorems , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[45]  Antoine Girard,et al.  Mode sequences as symbolic states in abstractions of incrementally stable switched systems , 2013, 52nd IEEE Conference on Decision and Control.

[46]  Paulo Tabuada,et al.  Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems , 2008, IEEE Transactions on Automatic Control.

[47]  Gunther Reissig,et al.  Feedback Refinement Relations for the Synthesis of Symbolic Controllers , 2015, IEEE Transactions on Automatic Control.

[48]  Gunther Reissig,et al.  Computing Abstractions of Nonlinear Systems , 2009, IEEE Transactions on Automatic Control.

[49]  C. Daganzo.  THE CELL TRANSMISSION MODEL.. , 1994 .

[50]  Paulo Tabuada,et al.  Abstracting Partially Feedback Linearizable Systems Compositionally , 2017, IEEE Control Systems Letters.

[51]  Arjan van der Schaft,et al.  Compositional analysis for linear control systems , 2010, HSCC '10.

[52]  Murat Arcak,et al.  Efficient finite abstraction of mixed monotone systems , 2015, HSCC.

[53]  Majid Zamani,et al.  QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers , 2017, QEST.

[54]  Antoine Girard,et al.  Symbolic models for stochastic switched systems: A discretization and a discretization-free approach , 2014, Autom..

[55]  Dimos V. Dimarogonas,et al.  Compositional abstraction refinement for control synthesis , 2017, ArXiv.

[56]  Majid Zamani,et al.  Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach , 2016, IEEE Transactions on Control of Network Systems.

[57]  Paulo Tabuada.  An Approximate Simulation Approach to Symbolic Control , 2008, IEEE Transactions on Automatic Control.

[58]  Antoine Girard,et al.  Safety control with performance guarantees of cooperative systems using compositional abstractions , 2015, ADHS.

[59]  Antoine Girard,et al.  From dissipativity theory to compositional synthesis of symbolic models , 2017, 2018 Indian Control Conference (ICC).

[60]  Majid Zamani,et al.  Compositional abstraction of interconnected control systems under dynamic interconnection topology , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[61]  Calin Belta,et al.  Formal Methods for Discrete-Time Dynamical Systems , 2017 .