From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems

In this paper, we derive conditions under which compositional abstractions of networks of stochastic hybrid systems can be constructed using the interconnection topology and joint dissipativity-type properties of subsystems and their abstractions. In the proposed framework, the abstraction, itself a stochastic hybrid system (possibly with a lower dimension), can be used as a substitute of the original system in the controller design process. Moreover, we derive conditions for the construction of abstractions for a class of stochastic hybrid systems involving nonlinearities satisfying an incremental quadratic inequality. In this paper, unlike existing results, the stochastic noises and jumps in the concrete subsystem and its abstraction need not be the same. We provide examples with numerical simulations to illustrate the effectiveness of the proposed dissipativity-type compositional reasoning for interconnected stochastic hybrid systems.

[1]  Majid Zamani,et al.  Approximations of Stochastic Hybrid Systems: A Compositional Approach , 2015, IEEE Transactions on Automatic Control.

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

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

[4]  Christel Baier,et al.  Principles of model checking , 2008 .

[5]  Johan Löfberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004 .

[6]  Behçet Açikmese,et al.  Observers for systems with nonlinearities satisfying incremental quadratic constraints , 2011, Autom..

[7]  Majid Zamani,et al.  SCOTS: A Tool for the Synthesis of Symbolic Controllers , 2016, HSCC.

[8]  P. Olver.  Nonlinear Systems , 2013 .

[9]  W. Graham Richards,et al.  Art of electronics , 1983, Nature.

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

[11]  B. Øksendal,et al.  Applied Stochastic Control of Jump Diffusions , 2004, Universitext.

[12]  Murat Arcak,et al.  Networks of Dissipative Systems: Compositional Certification of Stability, Performance, and Safety , 2016 .

[13]  Gordon F. Royle,et al.  Algebraic Graph Theory , 2001, Graduate texts in mathematics.

[14]  J. Lofberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508).

[15]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

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

[17]  Jie Bao,et al.  Dissipativity Based Analysis Using Dynamic Supply Rates , 2011 .

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

[19]  Asad Ullah Awan,et al.  Compositional abstractions of networks of stochastic hybrid systems: A dissipativity approach , 2017 .

[20]  Kinkar Chandra Das,et al.  Some new bounds on the spectral radius of graphs , 2004, Discret. Math..