Skip to main content
Log in

Lagrange stability and boundedness of discrete event systems

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

Abstract

Recently it has been shown that the conventional notions of stability in the sense of Lyapunov and asymptotic stability can be used to characterize the stability properties of a class of “logical” discrete event systems (DES). Moreover, it has been shown that stability analysis via the choice of appropriate Lyapunov functions can be used for DES and can be applied to several DES applications including manufacturing systems and computer networks (Passino et al. 1994, Burgess and Passino 1994). In this paper we extend the conventional notions and analysis of uniform boundedness, uniform ultimate boundedness, practical stability, finite time stability, and Lagrange stability so that they apply to the class of logical DES that can be defined on a metric space. Within this stability-theoretic framework we show that the standard Petri net-theoretic notions of boundedness are special cases of Lagrange stability and uniform boundedness. In addition we show that the Petri ent-theoretic approach to boundedness analysis is actually a Lyapunov approach in that the net-theoretic analysis actually produces an appropriate Lyapunov function. Moreover, via the Lyapunov approach we provide a sufficient condition for the uniform ultimate boundedness of General Petri nets. To illustrate the Petri net results, we study the boundedness properties of a rate synchronization network for manufacturing systems. In addition, we provide a detailed analysis of the Lagrange stability of a single-machine manufacturing system that uses a priority-based part servicing policy.

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

Access this article

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

  • Passino, K. M., Michel, A. N., and Antsaklis, P. J. 1994. Lyapunov stability of a class of discrete event systems.IEEE Transactions on Automatic Control 39: 269–279.

    Google Scholar 

  • Burgess, K., and Passino, K. 1994. Stability analysis of load balancing systems.Int. Journal of Control 61(2).

  • Passino, K., Michel, A., and Antsaklis, P. 1990. Stability analysis of discrete event systems. InProc. of the 28th Allerton Conf. on Communication, Control, and Computing, pp. 487–496, Univ. of Illinois at Champaign-Urbana.

  • Passino, K., Michel, A., and Antsaklis, P. 1991. Lyapunov stability of a class of discrete event systems. InProc. of the American Control Conference, pp. 2911–2916, Boston, MA.

  • Zubov, V. 1964.Methods of A.M. Lyapunov and their Application. The Netherlands: Noordhoff Ltd.

    Google Scholar 

  • Burgess, K. 1992. Stability and boundedness analysis of discrete event systems. Master's thesis, Dept. Electrical Engineering, The Ohio State University.

  • Passino, K., and Michel, A. 1992. Stability and boundedness analysis of discrete event systems. InProc. of the American Control Conference, pp. 3201–3205, Chicago, IL.

  • Michel, A. N., and Miller, R. 1983. On stability preserving mappings.IEEE Transactions on Circuits and Systems 30: 671–679.

    Google Scholar 

  • Michel, A., Wang, K., and Passino, K. 1992. On stability preserving mappings and qualitative equivalence of general dynamical systems. InProc. of the IEEE Conf. on Decision and Control, pp. 731–736, Tucson AZ.

  • Tsitsiklis, J. 1987. On the stability of asynchronous iterative processes.Mathematical System Theory 20: 137–153.

    Google Scholar 

  • Ozveren, C., Willsky, A., and Antsaklis, P. 1991. Stability and stabilization of discrete event dynamic systems.Journal of the Association of Computing Machinery 38(3): 730–752.

    Google Scholar 

  • Knight, J., and Passino, K. M. 1990. Decidability for a temporal logic used in discrete event system analysis.Int. Journal of Control 52(6): 1489–1506.

    Google Scholar 

  • Murata, T. 1989. Petri nets: Properties, analysis, and applications. InProc. of the IEEE, pp. 541–580.

  • Peterson, J. 1981.Petri Net Theory and the Modeling of Systems. Engelwood Cliffs, NJ: Prentice-Hall.

    Google Scholar 

  • Li, Y., and Wonham, W. 1989. Linear integer programming techniques in the control of vector discrete-event systems. InProc. of the 27th Allerton Conf. on Comm., Control, and Computing, pp. 528–537, Univ. of Illinois at Champaign-Urbana.

  • Li, Y. 1991.Control of Vector Discrete Event Systems. Ph.D. thesis, University of Toronto.

  • Hahn, W. 1967.Stability of Motion. New York: Springer-Verlag.

    Google Scholar 

  • Yoshizawa, T. 1966.Stability Theory by Liapunov's Second Method. Japan: Math. Soc. of Japan.

    Google Scholar 

  • Michel, A., and Miller, R. 1982.Ordinary Differential Equations. New York: Academic Press.

    Google Scholar 

  • Michel, A., and Miller, R. 1977.Qualitative Analysis of Large Scale Dynamical Systems. New York: Academic Press.

    Google Scholar 

  • Michel, A. 1970. Quantitative analysis of simple and interconnected systems: Stability, boundedness and trajectory behavior.IEEE Trans. on Circuit Theory, 17: 292–301.

    Google Scholar 

  • Michel, A., and Porter, D. 1972. Practical stability and finite-time stability of discontinuous systems.IEEE Trans. on Circuit Theory CT-19(2): 123–129.

    Google Scholar 

  • Perkins, J., and Kumar, P. 1989. Stable, distributed, real-time scheduling of flexible manufacturing/assembly/disassembly systems.IEEE Transaction on Automatic Control 34: 139–148.

    Google Scholar 

  • Kumar, P., and Lu, S. 1991. Distributed scheduling based on due dates and buffer priorities.IEEE Transactions on Automatic Control 36: 1406–1416.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Passino, K.M., Burgess, K.L. & Michel, A.N. Lagrange stability and boundedness of discrete event systems. Discrete Event Dyn Syst 5, 383–403 (1995). https://doi.org/10.1007/BF01439154

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01439154

Keywords

Navigation