Supervisor synthesis for real-time discrete event systems
From MaRDI portal
Publication:1389228
DOI10.1023/A:1008252325849zbMath0911.93012MaRDI QIDQ1389228
Publication date: 4 May 1999
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
controller synthesiscontrol class graphscontrolled time Petri netsreal-time discrete event systemsreal-time supervisoruntimed automata
Hierarchical systems (93A13) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (3)
Scheduling and control of real-time systems based on a token player approach ⋮ Supervisory control of discrete event systems with flexible marking ⋮ Discussion on: ``Supervisory control of discrete event systems with flexible marking
This page was built for publication: Supervisor synthesis for real-time discrete event systems
