Hybrid Control Systems Usind Timed Petri Nets: Supervisory Control Design Based on Invariant Properties

In this paper, a class of timed petri nets named programmable timed petri nets is used for supervisory control of hybird system. In particular, the transfer of the continuous state to a region of the state space under safety specifications on the discrete and continuous dynamics is addressed. The switching policy is embedded in the dynamics of the underlying Petri net structure and the supervisors are described by Petri nets. The discrete specific ations are expressed in terms of linear constraints on the marking vector and are satisfied by applying supervisory control of Petri nets based on place invariants. The hybrid system switches from a subsystem to another, in a way that the state gradually progresses from one equilibrium to another towards the desired target equilibrium. The supervisory control algorithm is designed to allow switchings to occur only on the intersection of the invariant manifolds. Finally, in the case when the continuous dynamics are described by first order integrators, the design algorithm is formulated as a linear programming problem.

[1]  Robert L. Grossman,et al.  Timed Automata , 1999, CAV.

[2]  Jiacun Wang,et al.  Timed Petri Nets , 1998, The Kluwer International Series on Discrete Event Dynamic Systems.

[3]  Panos J. Antsaklis,et al.  Petri net supervisors for discrete event systems , 1998 .

[4]  Panos J. Antsaklis,et al.  Supervisory control of Petri nets with uncontrollable/unobservable transitions , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[5]  A. Stephen Morse,et al.  Control Using Logic-Based Switching , 1997 .

[6]  Raymond A. DeCarlo,et al.  Analysis of a hybrid system using symbolic dynamics and Petri Nets , 1994, Autom..

[7]  Panos J. Antsaklis,et al.  Interface and Controller Design for Hybrid Control Systems , 1994, Hybrid Systems.

[8]  Bengt Lennartson,et al.  Hybrid Modelling Focused on Hybrid Petri Nets , 1995 .

[9]  J. Guckenheimer.  A robust hybrid stabilization strategy for equilibria , 1995, IEEE Trans. Autom. Control..

[10]  Bernard Friedland,et al.  Advanced Control System Design , 1996 .

[11]  Panos J. Antsaklis,et al.  An invariant‐based approach to the design of hybrid control systems , 1996 .

[12]  Isabel Demongodin,et al.  Differential Petri nets: representing continuous systems in a discrete-event world , 1998 .

[13]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[14]  Panos J. Antsaklis,et al.  Supervisory Control Using Computationally Eecient Linear Techniques: a Tutorial Introduction Interdisciplinary Studies of Intelligent Systems Supervisory Control Using Computationally Eecient Linear Techniques: a Tutorial Introduction , 2008 .

[15]  Panos J. Antsaklis,et al.  Hybrid Systems II , 1994, Lecture Notes in Computer Science.

[16]  P. Ramadge.  On the periodicity of symbolic observations of piecewise smooth discrete-time systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[17]  Bengt Lennartson,et al.  Hybrid systems in process control , 1996 .

[18]  Panos J. Antsaklis,et al.  Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control , 1998, Discret. Event Dyn. Syst..

[19]  Rajeev Alur,et al.  The Theory of Timed Automata , 1991, REX Workshop.

[20]  N.H. McClamroch,et al.  Hybrid closed loop systems: a nonlinear control perspective , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[21]  Michael Tittus.  Control Synthesis for Batch Processes , 1995 .

[22]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[23]  Wolfgang Reisig,et al.  Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.

[24]  Jan Lunze,et al.  Hybrid modelling of continuous-variable systems with application to supervisory control , 1997, 1997 European Control Conference (ECC).

[25]  D. Vibert,et al.  A modelling method to take into account fluctuations of continuous variables in a class of hybrid systems , 1997, 1997 European Control Conference (ECC).

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

[27]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[28]  Xenofon Koutsoukos,et al.  On hybrid control of complex systems : a survey , 1998 .

[29]  Jean-Marie Flaus,et al.  Structural analysis of hybrid systems modelled by hybrid flow nets , 1997, 1997 European Control Conference (ECC).

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

[31]  François Baccelli,et al.  Recursive equations and basic properties of timed Petri nets , 1991 .

[32]  T. Henzinger,et al.  Automatic Symbolic Veri cation of Embedded Systems , 1996 .

[33]  Jeffrey C. Kantor,et al.  Modeling and optimal control of discrete-event chemical processes using petri nets , 1991 .

[34]  Alessandro Giua,et al.  Hybrid Petri Nets: a , 1996 .

[35]  Thomas A. Henzinger,et al.  Automatic Symbolic Verification of Embedded Systems , 1996, IEEE Trans. Software Eng..