Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185): Difference between revisions

@@ Property / author @@
-Michel Reniers
@@ Property / author: Michel Reniers / rank @@
-Normal rank
@@ Property / author @@
+Michel Reniers
@@ Property / author: Michel Reniers / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B50
@@ Property / Mathematics Subject Classification ID: 93B50 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B05
@@ Property / Mathematics Subject Classification ID: 93B05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C95
@@ Property / Mathematics Subject Classification ID: 93C95 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6691736
@@ Property / zbMATH DE Number: 6691736 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+controlled system synthesis
@@ Property / zbMATH Keywords: controlled system synthesis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal logic
@@ Property / zbMATH Keywords: modal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+non-determinism
@@ Property / zbMATH Keywords: non-determinism / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+maximal permissiveness
@@ Property / zbMATH Keywords: maximal permissiveness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+controllability
@@ Property / zbMATH Keywords: controllability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+partial bisimulation
@@ Property / zbMATH Keywords: partial bisimulation / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59519582
@@ Property / Wikidata QID: Q59519582 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / 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-016-0231-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2522848592
@@ Property / OpenAlex ID: W2522848592 / rank @@
+Normal rank
@@ Property / cites work @@
+On modal \(\mu \)-calculus and Gödel-Löb logic
@@ Property / cites work: On modal \(\mu \)-calculus and Gödel-Löb logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086918
@@ Property / cites work: Q3086918 / rank @@
+Normal rank
@@ Property / cites work @@
+Games for synthesis of controllers with partial observation.
+Normal rank
@@ Property / cites work @@
+Q3404131
@@ Property / cites work: Q3404131 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Q4789449
@@ Property / cites work: Q4789449 / 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 @@
+A linear-time model-checking algorithm for the alternation-free modal mu- calculus
+Normal rank
@@ Property / cites work @@
+A class of non-deterministic specifications for supervisory control
+Normal rank
@@ Property / cites work @@
+Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Maximally Permissive Controlled System Synthesis for Modal Logic
+Normal rank
@@ Property / cites work @@
+Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Q4536385
@@ Property / cites work: Q4536385 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536596
@@ Property / cites work: Q4536596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552484
@@ Property / cites work: Q4552484 / 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 @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2999201
@@ Property / cites work: Q2999201 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4782021
@@ Property / cites work: Q4782021 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:513185