Compositional Abstractions of Hybrid Control Systems

Abstraction is a natural way to hierarchically decompose the analysis and design of hybrid systems. Given a hybrid control system and some desired properties, one extracts an abstracted system while preserving the properties of interest. Abstractions of purely discrete systems is a mature area, whereas abstractions of continuous systems is a recent activity. We present a framework for abstraction that applies to abstract control systems capturing discrete, continuous, and hybrid systems. Parallel composition is presented in a categorical framework and an algorithm is proposed to construct abstractions of hybrid control systems. Finally, we show that our abstractions of hybrid systems are compositional.

[1]  Glynn Winskel,et al.  Models for Concurrency , 1994 .

[2]  S. Shankar Sastry,et al.  Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..

[3]  M. Arbib,et al.  MACHINES IN A CATEGORY: AN EXPOSITORY INTRODUCTION* , 1974 .

[4]  Nancy A. Lynch,et al.  Hybrid I/O automata , 1995, Inf. Comput..

[5]  Jörg Raisch,et al.  Discrete approximation and supervisory control of continuous systems , 1998, IEEE Trans. Autom. Control..

[6]  George J. Pappas,et al.  Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.

[7]  Paulo Tabuada,et al.  Hybrid Abstractions that Preserve Timed Languages , 2001, HSCC.

[8]  Calin Belta,et al.  Hybrid Modeling and Simulation of Biomolecular Networks , 2001, HSCC.

[9]  F. William Lawvere,et al.  Conceptual Mathematics: A First Introduction to Categories , 1997 .

[10]  P. S. Thiagarajan,et al.  Branching time controllers for discrete event systems , 2002, Theor. Comput. Sci..

[11]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[12]  S. Lane.  Categories for the Working Mathematician , 1971 .

[13]  Vijay K. Garg,et al.  Modeling and Control of Logical Discrete Event Systems , 1994 .

[14]  George J. Pappas,et al.  Consistent hierarchies of nonlinear abstractions , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[15]  Paul Caspi,et al.  Timed regular expressions , 2002, JACM.

[16]  W. M. Wonham,et al.  Supervisory control of discrete event processes , 1982 .

[17]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[18]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[19]  J. Howie.  Fundamentals of semigroup theory , 1995 .

[20]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[21]  P. Caines,et al.  Hierarchical hybrid control systems: a lattice theoretic formulation , 1998, IEEE Trans. Autom. Control..

[22]  Nancy A. Lynch,et al.  Hybrid I/O Automata Revisited , 2001, HSCC.

[23]  George J. Pappas,et al.  Bisimilar control affine systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[24]  Stéphane Lafortune,et al.  Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines , 1998, Discret. Event Dyn. Syst..

[25]  B. Krogh,et al.  Synthesis of supervisory controllers for hybrid systems based on approximating automata , 1998, IEEE Trans. Autom. Control..

[26]  S. Shankar Sastry,et al.  Subanalytic Stratifications and Bisimulations , 1998, HSCC.

[27]  C. Pinello,et al.  Automotive engine control and hybrid systems: challenges and opportunities , 2000, Proceedings of the IEEE.

[28]  Jan J. M. M. Rutten,et al.  Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..

[29]  Thomas A. Henzinger,et al.  Interface Theories for Component-Based Design , 2001, EMSOFT.

[30]  George J. Pappas,et al.  Hierarchically consistent control systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[31]  Sergio Yovine,et al.  Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode , 2000, HSCC.

[32]  Tiziano Villa,et al.  Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine , 2000, HSCC.

[33]  Paulo Tabuada,et al.  Composing Abstractions of Hybrid Systems , 2002, HSCC.

[34]  Zohar Manna,et al.  Temporal verification of reactive systems - safety , 1995 .

[35]  João Pedro Hespanha,et al.  Hybrid Modeling of TCP Congestion Control , 2001, HSCC.

[36]  T. Henzinger.  The theory of hybrid automata , 1996, LICS 1996.

[37]  Jennifer M. Davoren,et al.  Robust Controller Synthesis for Hybrid Systems Using Modal Logic , 2001, HSCC.

[38]  Markus Roggenbach,et al.  Towards a unified view of bisimulation: a comparative study , 2000, Theor. Comput. Sci..

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