Supervisory control of timed discrete-event systems under partial observation

From MaRDI portal
Publication:4837492

DOI10.1109/9.376081zbMath0821.93002OpenAlexW2128237019MaRDI QIDQ4837492

Feng Lin, W. Murray Wonham

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 degreesA new class of supervisors for timed discrete event systems under partial observationSupervisory control of discrete event systemsPerformance safety enforcement in stochastic event graphs against boost and slow attacksRobust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: the existence conditionsControl and estimation under information constraints: toward a unified theory of control, computation and communicationsMaximizing robustness of supervisors for partially observed discrete event systems.Output control of some nonlinear system with unknown parameters and nonlinearityAn adaptation algorithm for stabilization of nonlinear system in the absence of sector constraintsSupervisory controller design to enforce some basic properties in timed-transition Petri nets using stretchingRobust supervisory control of a class of timed discrete event systems under partial observationRecursive scaling design for robust global nonlinear stabilization via output feedbackSupervisory control of hybrid systems based on model abstraction and guided searchOpacity of discrete event systems and its applicationsSupervisory control of timed discrete event systems under partial observation based on activity models and eligible time boundsA hierarchical consistency framework for real-time supervisory controlFormulas for calculating supremal controllable and normal sublanguagesTheorem of abstraction for equivalent controllers in hybrid systemsStabilization of nonlinear dynamic systems using the system state estimates made by the asymptotic observerControl and synthesis of non-interferent timed systemsLocalisation-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