Skip to main content
SpringerLink
Log in

Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control

  • Published:
Discrete Event Dynamic Systems Aims and scope Submit manuscript

Abstract

In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in dealing with concurrency and complexity issues. A brief overview of existing results on hybrid systems that are based on Petri nets is first presented. A class of timed Petri nets named programmable timed Petri nets (PTPN) is then used to model hybrid systems. Using the PTPN, the stability and supervisory control of hybrid systems are addressed and efficient algorithms are introduced. In particular, we present sufficient conditions for the uniform ultimate boundness of hybrid systems composed of multiple linear time invariant plants which are switched between using a logical rule described by a Petri net. This paper also examines the supervisory control of a hybrid system in which the continuous state is transfered to a region of the state space in a way that respects safety specifications on the plant's discrete and continuous dynamics.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Alur, R., Courcoubetis, C., Henzinger, T.A. and Ho, P–H. 1993. 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, Lecture Notes in Computer Science, vol. 736, Springer–Verlag, pp. 209–229.

  • Alur R. and Dill, D. 1994. The theory of timed automata. Theoretical and Computer Science, 126:183–235.

    Google Scholar 

  • Alur, R., Henzinger, T. and Ho, P–H. 1996. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 22:181–201.

    Google Scholar 

  • Alur, R., Henzinger, T.A. and Sontag, E.D., editors. 1996. Hybrid Systems III, Verification and Control, Lecture Notes in Computer Science, vol. 1066, Springer–Verlag.

  • Antsaklis, P., Kohn, W., Nerode, A. and Shastry, S. editors. 1995. Hybrid Systems II, Lecture Notes in Computer Science, vol. 999, Springer–Verlag.

  • Antsaklis, P., Kohn, W., Nerode, A. and Shastry, S., editors. 1997. Hybrid Systems IV, Lecture Notes in Computer Science, vol. 1273, Springer–Verlag.

  • Antsaklis, P., Kohn, W., Nerode, A. and Shastry, S., editors. 1998. Hybrid Systems V, Lecture Notes in Computer Science. Springer–Verlag. (in press).

  • Antsaklis, P.J. and Nerode, A., editors. 1998. IEEE Transactions on Automatic Control, Special Issue on Hybrid Systems.

  • Baccelli, F., Cohen, G. and Gaujal, B. 1992. Recursive equations and basic properties of timed Petri nets. Discrete Event Dynamic Systems: Theory and Applications, 1(4):415–439.

    Google Scholar 

  • Bett, C.J. and Lemmon, M.D. 1997. Bounded amplitude control using multiple linear agents. Technical Report ISIS–97–004, ISIS Group at the University of Notre Dame. Submitted to Automatica.

  • Branicky, M. 1994. Stability of switched and hybrid systems. In Proceedings of the 33th Conference on Decision and Control, Lake Buena Vista, Florida, pp. 3498–3503.

  • Demongodin, I. and Koussoulas, N.T. 1998. Differential Petri nets: Representing continuous systems in a discrete–event world. Transactions on Automatic Control, Special Issue on Hybrid Systems.

  • Engelfriet, J. 1991. Branching processes of Petri nets. Acta Informatica, 28:575–591.

    Google Scholar 

  • Esparza, J., Romer, S. and Vogler, W. 1996. An improvement of McMillan's unfolding algorithm. In T. Margaria and B. Steffen, editors, Proceedings of Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, vol. 1055, Springer–Verlag.

  • Flaus, J–M. and Alla, H. 1997. Structural analysis of hybrid systems modelled by hybrid flow nets. In Proceedings of the European Control Conference 97, Brussels, Belgium.

  • Friedland, B. 1996. Advanced Control System Design, Prentice–Hall.

  • Giua, A. and Usai, E. 1996. High–level hybrid Petri nets: A definition. In Proceeding of the 35th Conference on Decision and Control, Kobe, Japan.

  • Grossman, R.L., Nerode, A., Ravn, A.P. and Rischel, H., editors. 1993. Hybrid Systems, Lecture Notes in Computer Science, vol. 736, Springer–Verlag.

  • Guckenheimer, John. 1995. A robust hybrid stabilization strategy for equilibria. IEEE Transactions on Automatic Control, 40(2):321–326.

    Google Scholar 

  • He, K.X. and Lemmon, M.D. 1997. Lyapunov stability of ontinuous valued systems under the supervision of discrete event transition systems. Technical Report ISIS–97–010, ISIS Group at the University of Notre Dame. Submitted to Hybrid Systems: Control and Computation, Workshop at Berkeley, April 1998.

  • Henzinger, T.A., Ho, P–H. and Wong–Toi, H. 1995. A user guide to HYTECH. In First Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS95, Lecture Notes in Computer Science, vol. 1019, Springer–Verlag, pp. 41–71.

    Google Scholar 

  • Holloway, L.E., Krogh, B.H. and Giua, A. 1997. A survey of Petri net methods for controlled discrete event systems. Journal of Discrete Event Dynamic Systems, 7(2):151–190.

    Google Scholar 

  • Hou, L., Michel, A.N. and Ye, H. 1996. Stability analysis of switched systems. In Proceedings of the 35th Conference on Decision and Control, Kobe, Japan.

  • Isidori, A. 1996. Nonlinear Control Systems. Springer–Verlag, 2nd edition.

  • Johansson, M. and Rantzer, A. 1998. Computation of piecewise quadratic Lyapunov functions for hybrid systems. IEEE Transactions on Automatic Control, Special Issue on Hybrid Systems.

  • Koutsoukos, X.D. and Antsaklis, P.J. 1997. An approach to hybrid systems control applied to clocks. In Fifth International Hybrid Systems Workshop, Notre Dame, USA.

  • LeBail, J., Alla, H. and David, R. 1991. Hybrid Petri nets. In Proceedings 1st European Control Conference, Grenoble, France.

  • Lemmon, M., He, K. and Bett, C.J. 1998. Modeling hybrid control systems using programmable Petri nets. In 3rd International Conference ADMP'98, Automation of Mixed Processes: Dynamic Hybrid Systems, Reims, France.

  • Lemmon, M.D. and Bett, C.J. 1996. Safe implementations of supervisory commands. Technical Report ISIS–96–006, ISIS Group at the University of Notre Dame. To appear in International Journal of Control.

  • Lennartson, B., Tittus, M., Egardt, B. and Petterson, S. 1996. Hybrid systems in process control. Control Systems Magazine, 16(5):45–56.

    Google Scholar 

  • Lunze, J., Nixdorf, B. and Richter, H. 1997. Hybrid modelling of continuous–variable systems with application to supervisory control. In Proceedings of the European Control Conference 97, Brussels, Belgium.

  • McClamroch, N.H., Rui, C., Kolmanovsky, I. and Reyhanoglu, M. 1997. Hybrid closed loop systems: Anonlinear control perspective. In the 36th IEEE Conference on Decision and Control.

  • McMillan, K. 1992. Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. In B.V. Bochmann and D.K. Probst, editors, Computer Aided Verification, Fourth International Workshop, CAV'92, Lecture Notes in Computer Science, vol. 663, Springer–Verlag, pp. 164–177.

  • Moody, J.O. 1997. Petri Net Supervisors for Discrete Event Systems. Ph.D. thesis, Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN.

    Google Scholar 

  • Moody, J.O. and Antsaklis, P.J. 1996. Supervisory control of Petri nets with uncontrollable/unobservable transitions. In Proceedings of the 35th Conference on Decision and Control, Kobe, Japan, pp. 4433–4438.

  • Moody, J.O. and Antsaklis, P.J. 1997. 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.

  • Morse, A. Stephen, (Ed). 1997. Control using logic–based switching, Lecture Notes in Control and Information Sciences, vol. 222, Springer–Verlag.

  • Peleties, P. and DeCarlo, R. 1991. Asymptotic stability of m–switched systems using Lyapunov–like functions. In Proceedings of the American Control Conference, pp. 1679–1684.

  • Peleties, P. and DeCarlo, R. 1994. Analysis of hybrid systems using symbolic dynamics and Petri nets. Automatica, 30(9):1421–1427.

    Google Scholar 

  • Pettersson, S. and Lennartson, B. 1995. Hybrid modelling focused on hybrid Petri nets. In Proceedings 2nd European Workshop on Real–time and Hybrid systems, Grenoble, France, pp. 303–309.

  • Pettersson, S. and Lennartson, B. 1996. Stability and robustness of hybrid systems. In Proceedings of the 35th Conference on Decision and Control, Kobe, Japan.

  • Puri, Anuj and Varaiya, Pravin. 1994. Decidability of hybrid systems with rectangular differential inclusions. In D.L. Dill, editor, CAV'94: Computer Aided Verification, Lecture Notes in Computer Science, vol. 818, Springer–Verlag, pp. 81–94.

  • Ramadge, P.J. 1990. On the periodicity of symbolic observations of piecewise smooth discrete–time systems, IEEE Transactions on Automatic Control, 35(7):807–813.

    Google Scholar 

  • Reisig, W. 1985. Petri Nets. Springer–Verlag.

  • Sifakis, J. 1977. Use of petri nets for performance evaluation. In Measuring, modelling and evaluating computer systems. North Holand.

  • Sreenivas, R.S. 1997. On the existence of supervisor policies that enforce liveness in discrete–event dynamic systems modeled by controlled petrinets. IEEE Transactions on Automatic Control, 42(7):928–945.

    Google Scholar 

  • Stiver, J.A., Antsaklis, P.J. and Lemmon, M.D. 1995. Interface and controller design for hybrid control systems. In Panos Antsaklis, Wolf Kohn, Anil Nerode, and Shankar Sastry, editors, Hybrid Systems II, Lecture Notes in Computer Science, vol. 999, pp. 462–492. Springer–Verlag.

  • Stiver, J.A., Antsaklis, P.J. and Lemmon, M.D. 1996. An invariant based approach to the design of hybrid control systems. In IFAC 13th Triennial World Congress, volume J, San Francisco, CA, pp. 467–472.

    Google Scholar 

  • Stiver, J.A., Antsaklis, P.J. and Lemmon, M.D. 1996. 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, Lecture Notes in Computer Science, vol. 1066, pp. 464–474. Springer–Verlag.

  • Stiver, J.A., Antsaklis, P.J. and Lemmon, M.D. 1996. A logical DES approach to the design of hybrid control systems. Mathl. Comput. Modelling, 23(11/12):55–76.

    Google Scholar 

  • Tittus, M. 1995. Control Synthesis for Batch Processes. Ph.D. thesis, Control Engineering Lab., Chalmers University of Technology, Göteborg, Sweden.

    Google Scholar 

  • Vibert, D., Valentin–Roubinet, C. and Neil, E. 1997. 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.

  • Yamalidou, K. and Kantor, J.C. 1991. Modeling and optimal control of discrete–event chemical processes using Petri nets. Computers in Chemical Engineering, 15(7):503–519.

    Google Scholar 

  • Yamalidou, K., Moody, J., Lemmon, M. and Antsaklis, P. 1996. Feedback control of Petri nets based on place invariants. Automatica, 32(1):15–28.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN, 46556

    Xenofon D. Koutsoukos, Michael D. Lemmon & Panos J. Antsaklis

  2. Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN, 46556

    Kevin X. He

Authors
  1. Xenofon D. Koutsoukos
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kevin X. He
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Michael D. Lemmon
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Panos J. Antsaklis
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Koutsoukos, X.D., He, K.X., Lemmon, M.D. et al. Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control. Discrete Event Dynamic Systems 8, 137–173 (1998). https://doi.org/10.1023/A:1008293802713

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008293802713

Search

Navigation