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

DOI10.1109/9.481519zbMATH Open0846.93005OpenAlexW2166690053MaRDI QIDQ4876585FDOQ4876585

Authors: 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

Recommendations

• On supervisory control of real-time discrete-event systems
• scientific article; zbMATH DE number 800037
• Supervisory control of timed discrete-event systems
• Supervisory control of discrete-event systems
• Supervisory Control of Discrete-Event Systems
• Supervisory control of concurrent discrete-event systems
• scientific article; zbMATH DE number 4041696
• Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications
• Supervisory control for continuous-time discrete-event systems and its observability
• Supervisory control of discrete event systems

zbMATH Keywords

latticediscrete-event systemssupervisory controlfixed point resultstimed-event graphs

Mathematics Subject Classification ID

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

Cited In (13)

• Stable model predictive control for constrained max-plus-linear systems
• Predictability and control synthesis.
• Supervisory control of extended timed event graphs
• A characterization of realizable behavior in supervisory control of timed event graphs
• Title not available (Why is that?)
• Model reference control for timed event graphs in diods
• Input signal design for identification of Max-plus-linear systems
• A hierarchical consistency framework for real-time supervisory control
• Robust control of constrained max-plus-linear systems
• Supervision localization of timed discrete-event systems
• Title not available (Why is that?)
• Petri nets for the design and operation of manufacturing systems
• Reachability and observability of linear systems over max-plus.

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4876585)