Supervisory control of real-time discrete-event systems using lattice theory

DOI10.1109/9.481519zbMath0846.93005OpenAlexW2166690053MaRDI QIDQ4876585

Darren D. Cofer, Vijay K. Garg

Publication date: 5 May 1996

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/dac1a1a795c9f8bfe99ff27fe5e1234760ab2cd6

zbMATH Keywords

latticesupervisory controldiscrete-event systemsfixed point resultstimed-event graphs

Mathematics Subject Classification ID

Controllability (93B05) Hierarchical systems (93A13) Model systems in control theory (93C99)

Related Items (11)

Supervisory control of extended timed event graphs ⋮ Supervision localization of timed discrete-event systems ⋮ Input signal design for identification of Max-plus-linear systems ⋮ Petri nets for the design and operation of manufacturing systems ⋮ A characterization of realizable behavior in supervisory control of timed event graphs ⋮ Stable model predictive control for constrained max-plus-linear systems ⋮ Model reference control for timed event graphs in diods ⋮ A hierarchical consistency framework for real-time supervisory control ⋮ Robust control of constrained max-plus-linear systems ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Supervisory control of real-time discrete-event systems using lattice theory