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

DOI10.1109/9.728871MaRDI QIDQ4506591zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Recommendations

• On the synthesis of discrete controllers for timed systems
• Template-based controller synthesis for timed systems
• On Synthesizing Controllers from Bounded-Response Properties
• Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
• Controller Synthesis for MTL Specifications

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
• scientific article; zbMATH DE number 1820093 (Why is no real title available?)

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)