Supervisory control of timed discrete-event systems under partial observation
From MaRDI portal
Publication:4837492
DOI10.1109/9.376081zbMath0821.93002OpenAlexW2128237019MaRDI QIDQ4837492
Publication date: 3 July 1995
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.376081
Related Items (21)
On semi-global stabilization of minimum phase nonlinear systems without vector relative degrees ⋮ A new class of supervisors for timed discrete event systems under partial observation ⋮ Supervisory control of discrete event systems ⋮ Performance safety enforcement in stochastic event graphs against boost and slow attacks ⋮ Robust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: the existence conditions ⋮ Control and estimation under information constraints: toward a unified theory of control, computation and communications ⋮ Maximizing robustness of supervisors for partially observed discrete event systems. ⋮ Output control of some nonlinear system with unknown parameters and nonlinearity ⋮ An adaptation algorithm for stabilization of nonlinear system in the absence of sector constraints ⋮ Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching ⋮ Robust supervisory control of a class of timed discrete event systems under partial observation ⋮ Recursive scaling design for robust global nonlinear stabilization via output feedback ⋮ Supervisory control of hybrid systems based on model abstraction and guided search ⋮ Opacity of discrete event systems and its applications ⋮ Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds ⋮ A hierarchical consistency framework for real-time supervisory control ⋮ Formulas for calculating supremal controllable and normal sublanguages ⋮ Theorem of abstraction for equivalent controllers in hybrid systems ⋮ Stabilization of nonlinear dynamic systems using the system state estimates made by the asymptotic observer ⋮ Control and synthesis of non-interferent timed systems ⋮ Localisation-based distributed control of timed discrete-event systems with communication delay
This page was built for publication: Supervisory control of timed discrete-event systems under partial observation