Stability and stabilizability of discrete event dynamic systems

DOI10.1145/116825.116855zbMath0812.93002OpenAlexW2056175800MaRDI QIDQ4302853

Cüneyt M. Özveren, Alan S. Willsky, Panos J. Antsaklis

Publication date: 21 August 1994

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/116825.116855

zbMATH Keywords

stabilitystabilizabilitypolynomial algorithmsdiscrete event dynamic systemsfinite-state automatontransition-function-invariance

Mathematics Subject Classification ID

Stabilization of systems by feedback (93D15) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Hierarchical systems (93A13) Algebraic methods (93B25) General systems (93A10)

Related Items (19)

A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata ⋮ Efficient robust supervisors for discrete event systems ⋮ Lagrange stability and boundedness of discrete event systems ⋮ Maintenance goals of agents in a dynamic environment: formulation and policy construction ⋮ Supervisory control of discrete event systems ⋮ Stabilization of nonlinear systems by qualitative feedback controllers ⋮ Stability and stabilization of a class of nonlinear impulsive hybrid systems based on FSM with MDADT ⋮ Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems ⋮ Aggregation and multi-level control in discrete event dynamic systems ⋮ Invertibility of discrete-event dynamic systems ⋮ On optimal attraction in discrete-event processes ⋮ Input-output finite-time stabilization of a class of nonlinear hybrid systems based on FSM with MDADT ⋮ Logical models of discrete even systems: a comparative exposition ⋮ Flexible regenerative supervision of sequential behaviour. ⋮ On the corrective control of sequential machines ⋮ Stabilization of finite automata with application to hybrid systems control ⋮ Fault-tolerant cooperative tasking for multi-agent systems ⋮ Stabilization and blocking in state feedback control of discrete event systems ⋮ Maximally permissive mutually and globally nonblocking supervision with application to switching control

This page was built for publication: Stability and stabilizability of discrete event dynamic systems