A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
DOI10.1109/9.728871zbMATH Open0986.93040OpenAlexW2147006355MaRDI QIDQ4506591FDOQ4506591
Authors: Michel Barbeau, Froduald Kabanza, 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
Recommendations
synthesissupervisory controltimed discrete-event systems\(w\)-languagesmetric temporal logic formulastimed transition graphs
Formal languages and automata (68Q45) Synthesis problems (93B50) Discrete event control/observation systems (93C65) Control/observation systems involving computers (process control, etc.) (93C83)
Cited In (13)
- Syntax-based synthesis for temporal-safety supervision
- On the relation between reactive synthesis and supervisory control of non-terminating processes
- Maximally permissive controlled system synthesis for modal logic
- A method for the modular synthesis of controllers for timed discrete-event systems
- Maximally permissive controller synthesis for time Petri nets
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
- On the synthesis of discrete controllers for timed systems
- A supervisory control method for ensuring the conformance of real-time discrete event systems
- Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
- Automated formal synthesis of provably safe digital controllers for continuous plants
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
- Template-based controller synthesis for timed systems
- Title not available (Why is that?)
This page was built for publication: A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4506591)
