Modeling and control of constant speed Dynamic Hybrid Systems using Extended Time Petri Networks

In this paper, we consider the supervisory control problem of systems modeled by Extended Time Petri Networks (ETPNs). These are Dynamic Hybrid Systems (DHS) characterized by a strong discrete component, and presenting some features, such as, cumulative memory, continuous variables, and the possibility of preempting and restarting of actions. Our control approach, based on a safety specification, use Linear Hybrid Automata (LHA), which are derived automatically from the ETPN and used as a solution tool.

[1]  Karl Henrik Johansson,et al.  Dynamical properties of hybrid automata , 2003, IEEE Trans. Autom. Control..

[2]  Mykhaylo Kosmykov,et al.  Hybrid dynamics in large-scale logistics networks , 2012 .

[3]  Hassane Alla,et al.  From hybrid Petri nets to hybrid automata , 1998 .

[4]  Kim G. Larsen,et al.  The Impressive Power of Stopwatches , 2000, CONCUR.

[5]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

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

[7]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[8]  Thomas A. Henzinger,et al.  Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..

[9]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[10]  Olivier H. Roux,et al.  Structural Translation from Time Petri Nets to Timed Automata , 2005, Electron. Notes Theor. Comput. Sci..

[11]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

[12]  Thomas A. Henzinger,et al.  Hybrid systems III : verification and control , 1996 .

[13]  Goran Frehse.  PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech , 2005, HSCC.

[14]  Johannes Schumacher,et al.  An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .

[15]  Rajeev Alur,et al.  Timed Automata , 1999, CAV.

[16]  Hassane Alla,et al.  A control synthesis approach for time discrete event systems , 2006, Math. Comput. Simul..

[17]  Ricardo G. Sanfelice,et al.  Robust hybrid control systems , 2007 .