Hybrid Abstractions that Preserve Timed Languages

In this paper we consider the problem of extracting an abstraction from a hybrid control system while preserving timed languages. Such consistent abstractions are clearly useful as the abstracted, higher level model could be used for controller synthesis or verification of the more complicated lower level model. The class of abstracting maps we consider in this paper compress only the continuous states without aggregating any discrete states. Given such an abstracting map, we determine natural conditions that determine when trajectories of the original hybrid system can be generated by the abstracted hybrid system. Conversely, we determine conditions under which the two hybrid systems generate exactly the same timed language.

[1]  J. Craggs.  Applied Mathematical Sciences , 1973 .

[2]  R. Abraham,et al.  Manifolds, Tensor Analysis, and Applications , 1983 .

[3]  A. Isidori.  Nonlinear Control Systems , 1985 .

[4]  R. Abraham,et al.  Manifolds, tensor analysis, and applications: 2nd edition , 1988 .

[5]  Alberto Isidori,et al.  Nonlinear control systems: an introduction (2nd ed.) , 1989 .

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

[7]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[8]  Thomas A. Henzinger,et al.  A User Guide to HyTech , 1995, TACAS.

[9]  S. Shankar Sastry,et al.  Towards Continuous Abstractions of Dynamical and Control Systems , 1996, Hybrid Systems.

[10]  V. Jurdjevic.  Geometric control theory , 1996 .

[11]  Panos J. Antsaklis,et al.  Hybrid Systems IV , 1997, Lecture Notes in Computer Science.

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

[13]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

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

[15]  Hierarchically consistent control systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[16]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..

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

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

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

[20]  George J. Pappas,et al.  Hybrid abstractions: A search and rescue case study , 2001, 2001 European Control Conference (ECC).