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

DOI10.1016/0167-6911(96)00032-1MaRDI QIDQ671584zbMATHOpenAlexFDO

Authors 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

discrete event systemstemporal logicsupervisory controldiscrete 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)

Recommendations

• Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
• scientific article; zbMATH DE number 1836405
• Syntax-based synthesis for temporal-safety supervision
• Control problems in a temporal logic framework
• Supervisory control of discrete event systems

Cites work

• scientific article; zbMATH DE number 3959244 (Why is no real title available?)
• scientific article; zbMATH DE number 193641 (Why is no real title available?)
• scientific article; zbMATH DE number 194642 (Why is no real title available?)
• scientific article; zbMATH DE number 3800906 (Why is no real title available?)
• scientific article; zbMATH DE number 795666 (Why is no real title available?)
• Concurrency and state feedback in discrete-event systems
• Constraint logic programming for reasoning about discrete event processes
• Control of vector discrete-event systems. I. The base model
• Controllability and control-invariance in discrete-event systems
• Locked discrete event systems: How to model and how to unlock
• Modular Feedback Logic for Discrete Event Systems
• Predicates and predicate transformers for supervisory control of discrete event dynamical systems
• Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
• Supervisory Control of a Class of Discrete Event Processes

Cited in

(5)

• Syntax-based synthesis for temporal-safety supervision
• Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
• scientific article; zbMATH DE number 1836405 (Why is no real title available?)
• Optimal control of multi-task Boolean control networks via temporal logic
• Decidability for a temporal logic used in discrete-event system analysis

This page was built for publication: A temporal logic approach to discrete event control for the safety canonical class

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q671584)