A temporal logic approach to discrete event control for the safety canonical class

DOI10.1016/0167-6911(96)00032-1zbMath0866.93005OpenAlexW2008701203MaRDI QIDQ671584

Juan-Miguel Gracia

Publication date: 27 February 1997

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6911(96)00032-1

zbMATH Keywords

supervisory controltemporal logicdiscrete event systemsdiscrete event controlsafety canonical class

Mathematics Subject Classification ID

Hierarchical systems (93A13) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Model systems in control theory (93C99)

Related Items

Optimal control of multi-task Boolean control networks via temporal logic, Syntax-based synthesis for temporal-safety supervision

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Locked discrete event systems: How to model and how to unlock
• Control of vector discrete-event systems. I. The base model
• Controllability and control-invariance in discrete-event systems
• Supervisory Control of a Class of Discrete Event Processes
• Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
• Constraint logic programming for reasoning about discrete event processes
• Concurrency and state feedback in discrete-event systems
• Predicates and predicate transformers for supervisory control of discrete event dynamical systems
• Modular Feedback Logic for Discrete Event Systems