The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces

DOI10.1109/TAC.2011.2157391zbMath1369.93386OpenAlexW2114294750MaRDI QIDQ5352675

Jan H. van Schuppen, Jacobus E. Rooda, Rong Su

Publication date: 8 September 2017

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

Full work available at URL: https://doi.org/10.1109/tac.2011.2157391

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Deterministic scheduling theory in operations research (90B35) Discrete event control/observation systems (93C65)

Related Items (11)

Hierarchical planning in a supervisory control context with compositional abstraction ⋮ Time-optimal control of large-scale systems of systems using compositional optimization ⋮ Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates ⋮ Overview of networked supervisory control with imperfect communication channels ⋮ Synthesis of optimal covert sensor-actuator attackers for discrete-event systems ⋮ Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications ⋮ Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems ⋮ Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics ⋮ Enforcing current-state opacity through shuffle and deletions of event observations ⋮ New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems ⋮ Compositions of (max,+) automata

This page was built for publication: The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces