Supervisory control and reactive synthesis: a comparative introduction (Q1693819): Difference between revisions

@@ Property / describes a project that uses @@
+CESAR
@@ Property / describes a project that uses: CESAR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10626-015-0223-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2297081251
@@ Property / OpenAlex ID: W2297081251 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+Games for synthesis of controllers with partial observation.
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q5227061
@@ Property / cites work: Q5227061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736580
@@ Property / cites work: Q4736580 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5725991
@@ Property / cites work: Q5725991 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Multitasking supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003356
@@ Property / cites work: Q4003356 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete-time control for rectangular hybrid automata
+Normal rank
@@ Property / cites work @@
+Supervisory control of discrete event systems
@@ Property / cites work: Supervisory control of discrete event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840936
@@ Property / cites work: Q4840936 / rank @@
+Normal rank
@@ Property / cites work @@
+On supervisory control of sequential behaviors
@@ Property / cites work: On supervisory control of sequential behaviors / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536596
@@ Property / cites work: Q4536596 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control synthesis of discrete-event systems using a coordination scheme
+Normal rank
@@ Property / cites work @@
+Know means no: Incorporating knowledge into discrete-event control systems
+Normal rank
@@ Property / cites work @@
+Church's Problem Revisited
@@ Property / cites work: Church's Problem Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4952307
@@ Property / cites work: Q4952307 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis from Component Libraries
@@ Property / cites work: Synthesis from Component Libraries / rank @@
+Normal rank
@@ Property / cites work @@
+On control of systems modelled as deterministic Rabin automata
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Synthesis of Communicating Processes from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Maximal Solutions in Decentralized Supervisory Control
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3940830
@@ Property / cites work: Q3940830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Q3727828
@@ Property / cites work: Q3727828 / rank @@
+Normal rank
@@ Property / cites work @@
+Think globally, act locally: decentralized supervisory control
+Normal rank
@@ Property / cites work @@
+Control of discrete-event systems. Automata and Petri net perspectives
+Normal rank
@@ Property / cites work @@
+Control of \(\omega\)-automata under state fairness assumptions
+Normal rank
@@ Property / cites work @@
+Undecidable problems of decentralized observation and control on regular languages
+Normal rank
@@ Property / cites work @@
+Control problems in a temporal logic framework
@@ Property / cites work: Control problems in a temporal logic framework / rank @@
+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 @@
+Supervision of Infinite Behavior of Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+Q4037097
@@ Property / cites work: Q4037097 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1693819