Supervisory control and reactive synthesis: a comparative introduction
From MaRDI portal
Publication:1693819
DOI10.1007/s10626-015-0223-0zbMath1379.93068OpenAlexW2297081251MaRDI QIDQ1693819
Moshe Y. Vardi, Stavros Tripakis, Stéphane Lafortune, Rüdiger Ehlers
Publication date: 31 January 2018
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-015-0223-0
Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Synthesis problems (93B50)
Related Items (9)
On the relation between reactive synthesis and supervisory control of non-terminating processes ⋮ Unnamed Item ⋮ Falsification of combined invariance and reachability specifications in hybrid control systems ⋮ Finite-trace and generalized-reactivity specifications in temporal synthesis ⋮ Research Challenges in Orchestration Synthesis ⋮ On tolerance of discrete systems with respect to transition perturbations ⋮ Synthesis of obfuscation policies to ensure privacy and utility ⋮ Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems ⋮ Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
Uses Software
Cites Work
- Control of discrete-event systems. Automata and Petri net perspectives
- Multitasking supervisory control of discrete-event systems
- Using branching time temporal logic to synthesize synchronization skeletons
- Control of \(\omega\)-automata under state fairness assumptions
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- Games for synthesis of controllers with partial observation.
- On control of systems modelled as deterministic Rabin automata
- Supervisory control of discrete event systems
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- Discrete-time control for rectangular hybrid automata
- Undecidable problems of decentralized observation and control on regular languages
- Know means no: Incorporating knowledge into discrete-event control systems
- Introduction to Discrete Event Systems
- Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
- Synthesis from Component Libraries
- Synthesis of Communicating Processes from Temporal Logic Specifications
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Control problems in a temporal logic framework
- Supervisory Control of a Class of Discrete Event Processes
- “Sometimes” and “not never” revisited
- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
- Think globally, act locally: decentralized supervisory control
- Church's Problem Revisited
- Control of Infinite Behavior of Finite Automata
- Supervision of Infinite Behavior of Discrete-Event Systems
- Maximal Solutions in Decentralized Supervisory Control
- On the synthesis of discrete controllers for timed systems
- On supervisory control of sequential behaviors
- Mathematical Foundations of Computer Science 2003
- Solving Sequential Conditions by Finite-State Strategies
- Verification, Model Checking, and Abstract Interpretation
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Supervisory control and reactive synthesis: a comparative introduction
