A method for the synthesis of controllers to handle safety, liveness, and real-time constraints

DOI10.1109/9.728871zbMath0986.93040OpenAlexW2147006355MaRDI QIDQ4506591

Froduald Kabanza, Michel Barbeau, Richard St.-Denis

Publication date: 17 October 2000

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

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

zbMATH Keywords

synthesissupervisory controltimed discrete-event systems\(w\)-languagesmetric temporal logic formulastimed transition graphs

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Control/observation systems involving computers (process control, etc.) (93C83) Discrete event control/observation systems (93C65) Synthesis problems (93B50)

Related Items (4)

On the relation between reactive synthesis and supervisory control of non-terminating processes ⋮ A method for the modular synthesis of controllers for timed discrete-event systems ⋮ Syntax-based synthesis for temporal-safety supervision ⋮ A supervisory control method for ensuring the conformance of real-time discrete event systems

This page was built for publication: A method for the synthesis of controllers to handle safety, liveness, and real-time constraints