Stabilization of discrete-event processes
From MaRDI portal
Publication:3484730
DOI10.1080/00207179008934118zbMath0704.93054OpenAlexW2148878165MaRDI QIDQ3484730
Yitzhak Brave, Michael Heymann
Publication date: 1990
Published in: International Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207179008934118
Controllability (93B05) Stabilization of systems by feedback (93D15) Discrete-time control/observation systems (93C55)
Related Items (22)
On-line control of partially observed discrete event systems ⋮ A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata ⋮ Supervisory control of discrete event systems ⋮ A polynomial dynamic system approach to software design for attractivity requirement ⋮ State-space supervisory control of reconfigurable discrete event systems ⋮ The stability of a class of discrete event systems using Markov chains ⋮ Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems ⋮ A framework for state attraction of discrete event systems under partial observation ⋮ A graph-theoretic optimal control problem for terminating discrete event processes ⋮ On optimal attraction in discrete-event processes ⋮ Generalized detectability for discrete event systems ⋮ Grid automata and supervisory control of dense real-time discrete event systems ⋮ Logical models of discrete even systems: a comparative exposition ⋮ Recursive computation of limited lookahead supervisory controls for discrete event systems ⋮ Stabilization of finite automata with application to hybrid systems control ⋮ Stabilization of probabilistic finite automata based on semi-tensor product of matrices ⋮ 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 ⋮ Computation of supervisors for reconfigurable machine tools ⋮ New results on supervisor localization, with case studies ⋮ On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
Cites Work
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- Dynamical systems: Stability theory and applications
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of discrete-event processes with partial observations
This page was built for publication: Stabilization of discrete-event processes
