On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781): Difference between revisions

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