A temporal logic approach to discrete event control for the safety canonical class
DOI10.1016/0167-6911(96)00032-1zbMATH Open0866.93005OpenAlexW2008701203MaRDI QIDQ671584FDOQ671584
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
Recommendations
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)
Cites Work
- Title not available (Why is that?)
- Supervisory Control of a Class of Discrete Event Processes
- Title not available (Why is that?)
- Controllability and control-invariance in discrete-event systems
- Title not available (Why is that?)
- Predicates and predicate transformers for supervisory control of discrete event dynamical systems
- Modular Feedback Logic for Discrete Event Systems
- Control of vector discrete-event systems. I. The base model
- Constraint logic programming for reasoning about discrete event processes
- Locked discrete event systems: How to model and how to unlock
- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
- Concurrency and state feedback in discrete-event systems
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (5)
- Optimal control of multi-task Boolean control networks via temporal logic
- Syntax-based synthesis for temporal-safety supervision
- Title not available (Why is that?)
- Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
- 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)
