Abstract
In this paper, a class of timed Petri nets named programmable timed Petri nets is used for supervisory control of hybrid systems. 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 specifications 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.
This work was supported in part by the National Science Foundation grant ECS95-31485.
This author gratefully acknowledges the fellowship of the Center of Applied Mathematics at the University of Notre Dame for the academic year 1997–98.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors. Hybrid Systems, volume 736 of Lecture Notes in Computer Science. Springer-Verlag, 1993.
P. Antsaklis, W. Kohn, A. Nerode, and S. Shastry, editors. Hybrid Systems II, volume 999 of Lecture Notes in Computer Science. Springer, 1995.
R. Alur, T.A. Henzinger, and E.D. Sontag, editors. Hybrid Systems III, Verification and Control, volume 1066 of Lecture Notes in Computer Science. Springer, 1996.
P. Antsaklis, W. Kohn, A. Nerode, and S. Shastry, editors. Hybrid Systems IV, volume 1273 of Lecture Notes in Computer Science. Springer, 1997.
A StephenMorse, editor. Control using logic-based switching, volume 222 of Lecture Notes in Control and Information Sciences. Springer, 1997.
P.J. Antsaklis and A. Nerode, editors. IEEE Transactions on Automatic Control, Special Issue on Hybrid Systems, 1998.
P.J. Antsaklis and X.D. Koutsoukos. On hybrid control of complex systems: A survey. In 3rd International Conference ADMP’98, Automation of Mixed Processes: Dynamic Hybrid Systems, pages 1–8, Reims, France, March 1998.
P. Peleties and R. DeCarlo. Analysis of hybrid systems using symbolic dynamics and Petri nets. Automatica, 30(9):1421–1427, 1994.
P.J. Ramadge. On the periodicity of symbolic observations of piecewise smooth discrete-time systems. IEEE Transactions on Automatic Control, 35(7):807–813, 1990.
J. Lunze, B. Nixdorf, and H. Richter. Hybrid modelling of continuous-variable systems with application to supervisory control. In Proceedings of the European Control Conference 97, Brussels, Belgium, July 1997.
J. Le Bail, H. Alla, and R. David. Hybrid Petri nets. In Proceedings 1st European Control Conference, Grenoble, France, July 1991.
S. Pettersson and B. Lennartson. Hybrid modelling focused on hybrid Petri nets. In Proceedings 2nd European Workshop on Real-time and Hybrid systems, pages 303–309, Grenoble, France, June 1995.
A. Giua and E. Usai. High-level hybrid Petri nets: A definition. In Proceeding of the 35th Conference on Decision and Control, Kobe, Japan, December 1996.
D. Vibert, C. Valentin-Roubinet, and E. Neil. A modelling method to take into account fluctuations of continuous variables in a class of hybrid systems. In Proceedings of the European Control Conference 97, Brussels, Belgium, July 1997.
J-M. Flaus and H. Alla. Structural analysis of hybrid systems modelled by hybrid flow nets. In Proceedings of the European Control Conference 97, Brussels, Belgium, July 1997.
I. Demongodin and N.T. Koussoulas. Differential Petri nets: Representing continuous systems in a discrete-event world. Transactions on Automatic Control, 43(4):573–579, 1998.
M.D. Lemmon, K.X. He, and C.J. Bett. Modeling hybrid control systems using programmable Petri nets. In 3rd International Conference ADMP’98, Automation of Mixed Processes: Dynamic Hybrid Systems, pages 177–184, Reims, France, March 1998.
J.O. Moody. Petri Net Supervisors for Discrete Event Systems. PhD thesis, Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN, 1997.
N.H. McClamroch, C. Rui, I. Kolmanovsky, and M. Reyhanoglu. Hybrid closed loop systems: A nonlinear control perspective. In Proceedings of the 36th IEEE Conference on Decision and Control, pages 114–119, 1997.
John Guckenheimer. A robust hybrid stabilization strategy for equilibria. IEEE Transactions on Automatic Control, 40(2):321–326, 1995.
J.A. Stiver, P.J. Antsaklis, and M.D. Lemmon. Interface and controller design for hybrid control systems. In Panos Antsaklis, Wolf Kohn, Anil Nerode, and Shankar Sastry, editors, Hybrid Systems II, volume 999 of Lecture Notes in Computer Science, pages 462–492. Springer, 1995.
J.A. Stiver, P.J. Antsaklis, and M.D. Lemmon. An invariant based approach to the design of hybrid control systems. In IFAC 13th Triennial World Congress, volume J, pages 467–472, San Francisco, CA, 1996.
X.D. Koutsoukos and P.J. Antsaklis. An approach to hybrid systems control applied to clocks. In Fifth International Hybrid Systems Workshop, Notre Dame, USA, September 1997.
X.D. Koutsoukos, K.X. He, M.D. Lemmon, and P.J. Antsaklis. Timed petri nets in hybrid systems: Stability and supervisory control. DEDS: Theory and Applications, 8(2), 1998.
R. Alur and D. Dill. The theory of timed automata. Theoretical and Computer Science, 126:183–235, 1994.
R. Alur, T. Henzinger, and P-H Ho. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 22:181–201, 1996.
J.L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, NJ, 1981.
W. Reisig. Petri Nets. Springer-Verlag, 1985.
T. Murata. Petri nets: Properties, analysis and applications. Proceedings of IEEE, 77(4):541–580, 1989.
F. Baccelli, G. Cohen, and B. Gaujal. Recursive equations and basic properties of timed Petri nets. DEDS: Theory and Applications, 1(4):415–439, 1992.
K. Yamalidou and J.C. Kantor. Modeling and optimal control of discreteevent chemical processes using Petri nets. Computers in Chemical Engineering, 15(7):503–519, 1991.
J.O. Moody and P.J. Antsaklis. Supervisory control using computationally efficient linear techniques: A tutorial introduction. In Proceedings of the 5th International IEEE Mediterranean Conference on Control and Systems, Paphos, Cyprus, July 1997.
J.O. Moody and P.J. Antsaklis. Supervisory control of Petri nets with uncontrollable/ unobservable transitions. In Proceedings of the 35th Conference on Decision and Control, pages 4433–4438, Kobe, Japan, December 1996.
Bernard Friedland. Advanced Control System Design. Prentice-Hall, 1996.
R. Alur, C. Courcoubetis, T.A. Henzinger, and P-H. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel, editors, Hybrid Systems, volume 736 of Lecture Notes in Computer Science, pages 209–229. Springer-Verlag, 1993.
Michael Tittus. Control Synthesis for Batch Processes. PhD thesis, Control Engineering Lab., Chalmers University of Technology, Göteborg, Sweden, 1995.
J.A. Stiver, P.J. Antsaklis, and M.D. Lemmon. An invariant based approach to the design of hybrid control systems containing clocks. In Rajeev Alur, Thomas A. Henzinger, and Eduardo D. Sontag, editors, Hybrid Systems III, Verification and Control, volume 1066 of Lecture Notes in Computer Science, pages 464–474. Springer, 1996.
B. Lennartson, M. Tittus, B. Egardt, and S. Petterson. Hybrid systems in process control. Control Systems Magazine, 16(5):45–56, October 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Koutsoukos, X.D., Antsaklis, P.J. (1999). Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties. In: Antsaklis, P., Lemmon, M., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems V. HS 1997. Lecture Notes in Computer Science, vol 1567. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49163-5_8
Download citation
DOI: https://doi.org/10.1007/3-540-49163-5_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65643-2
Online ISBN: 978-3-540-49163-7
eBook Packages: Springer Book Archive