On the relation between reactive synthesis and supervisory control of non-terminating processes

DOI10.1007/s10626-019-00299-5zbMath1441.93173OpenAlexW2996980446WikidataQ126424318 ScholiaQ126424318MaRDI QIDQ2177781

Anne-Kathrin Schmuck, Rupak Majumdar, Thomas Moor

Publication date: 6 May 2020

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-019-00299-5

zbMATH Keywords

supervisory controlreactive synthesis\(\omega\)-languagesnon-falsifiable assumptions

Mathematics Subject Classification ID

2-person games (91A05) Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Synthesis problems (93B50) Digital control/observation systems (93C62)

Related Items (2)

On tolerance of discrete systems with respect to transition perturbations ⋮ On-the-fly informed search of non-blocking directed controllers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A survey of stochastic \(\omega \)-regular games
• Synthesis of Reactive(1) designs
• Assume-admissible synthesis
• Active fault tolerant control of discrete event systems using online diagnostics
• Automata-theoretic techniques for modal logics of programs
• On observability of discrete-event systems
• Modular supervisory control of discrete-event systems
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Supervisory control and reactive synthesis: a comparative introduction
• Automata, logics, and infinite games. A guide to current research
• On control of systems modelled as deterministic Rabin automata
• Synthesizing skeletons for reactive systems
• A hierarchical and modular control architecture for sequential behaviours
• Concurrent reachability games
• Hierarchical control of discrete-event systems
• Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
• Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
• Supervisory Control for Behavior Composition
• Cooperative Reactive Synthesis
• Rational Synthesis
• Effective Control Synthesis for Partially Observed Discrete-Event Systems
• Obliging Games
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of discrete-event processes with partial observations
• Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
• Paradigms and puzzles in the theory of dynamical systems
• Think globally, act locally: decentralized supervisory control
• Control of Infinite Behavior of Finite Automata
• Supervision of Infinite Behavior of Discrete-Event Systems
• A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
• Robustness of supervisors for discrete-event systems
• Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
• On the synthesis of strategies in infinite games
• On the synthesis of discrete controllers for timed systems
• A Framework for Fault-Tolerant Control of Discrete Event Systems
• Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
• On the consistency of hierarchical supervision in discrete-event systems
• Robust nonblocking supervisory control of discrete-event systems
• Assume-Guarantee Synthesis

This page was built for publication: On the relation between reactive synthesis and supervisory control of non-terminating processes