Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
From MaRDI portal
Publication:3427490
Recommendations
Cited in
(18)- Syntax-based synthesis for temporal-safety supervision
- Natural projection as partial model checking
- On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
- On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems
- scientific article; zbMATH DE number 1836405 (Why is no real title available?)
- Supervisory control using augmented languages in discrete event systems
- An equivalent CTL formulation for condition sequences
- Branching time controllers for discrete event systems
- Computable semantics for \(\text{CTL}^*\) on discrete-time and continuous-space dynamic systems
- A unified linear-time temporal logic solution to the steam-boiler control specification problem
- Synthesis of logical controllers and discrete-event systems supervisory control theory
- Program Repair for Hyperproperties
- Decidability for a temporal logic used in discrete-event system analysis
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
- Cancer hybrid automata: model, beliefs and therapy
- Modal specifications for the control theory of discrete event systems
- Maximally permissive controlled system synthesis for non-determinism and modal logic
- Supervisory control and reactive synthesis: a comparative introduction
This page was built for publication: Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3427490)
