Lagrange stability and boundedness of discrete event systems
From MaRDI portal
Publication:1902501
DOI10.1007/BF01439154zbMath0849.93051MaRDI QIDQ1902501
Anthony N. Michel, Kevin L. Burgess, Kevin M. Passino
Publication date: 12 November 1996
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
stabilityLyapunov functionmanufacturing systemsLagrange stabilityPetri netuniform ultimate boundednesslogical discrete event system
Formal languages and automata (68Q45) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Mean square exponential synchronization in Lagrange sense for uncertain complex dynamical networks ⋮ Box invariance in biologically-inspired dynamical systems ⋮ A hierarchical decomposition of decision process Petri nets for modeling complex systems ⋮ An analytical method for well-formed workflow/Petri net verification of classical soundness ⋮ Global exponential stability in Lagrange sense for recurrent neural networks with time delays ⋮ Stability analysis in Lagrange sense for a non-autonomous Cohen-Grossberg neural network with mixed delays ⋮ Stability analysis of discontinuous dynamical systems using vector Lyapunov functions ⋮ Stability in Lagrange sense for Cohen-Grossberg neural networks with time-varying delays and finite distributed delays
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Qualitative analysis of large scale dynamical systems
- On stability preserving mappings
- On the stability of asynchronous iterative processes
- Stable, distributed, real-time scheduling of flexible manufacturing/assembly/diassembly systems
- Lyapunov stability of a class of discrete event systems
- Stability and stabilizability of discrete event dynamic systems
- Stability analysis of load balancing systems
- Decidability for a temporal logic used in discrete-event system analysis
