Control-invariance of hybrid systems with forcible events

This paper considers controlled hybrid automata with forcible events. First, we introduce two semantics of the controlled hybrid automata using labeled transition systems. Next, we extend a concept of control-invariance in discrete event systems and show necessary and sufficient conditions for a predicate to be control-invariant. Finally, we show that there always exists the supremal control-invariant subpredicate for any predicate.

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

[2]  Bruce H. Krogh,et al.  Verification of infinite-state dynamic systems using approximate quotient transition systems , 2001, IEEE Trans. Autom. Control..

[3]  Haoxun Chen,et al.  Control synthesis of timed discrete event systems based on predicate invariance , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[4]  Bruce H. Krogh,et al.  Maximally Permissive Policies for Controlled Time Marked Graphs , 1993 .

[5]  Sadatoshi Kumagai,et al.  Maximally permissive controllers for controlled time Petri nets , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[6]  P. Varaiya,et al.  Decidable hybrid systems , 1996 .

[7]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[8]  André Arnold,et al.  Finite transition systems , 1994 .

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

[10]  H. Wong-Toi,et al.  The control of dense real-time discrete event systems , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[11]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[12]  Panos J. Antsaklis,et al.  Hybrid Systems V , 1999, Lecture Notes in Computer Science.

[13]  Rajeev Alur.  Discrete Abstraction of Hybrid Systems , 2000 .

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

[15]  Haoxun Chen,et al.  Control Synthesis of Hybrid Systems Based on Predicate Invariance , 1997, Hybrid Systems.

[16]  P. Ramadge,et al.  Modular feedback logic for discrete event systems , 1987 .

[17]  M.P. Spathopoulos.  Supervisory control for rectangular hybrid automata , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

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