Logical time control of concurrent DES (Q2058560): Difference between revisions

@@ Property / author @@
+Didier Lime
@@ Property / author: Didier Lime / rank @@
+Normal rank
@@ Property / author @@
+Olivier H. Roux
@@ Property / author: Olivier H. Roux / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UPPAAL TIGA
@@ Property / describes a project that uses: UPPAAL TIGA / 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-020-00333-x
+Normal rank
@@ Property / OpenAlex ID @@
+W3120853780
@@ Property / OpenAlex ID: W3120853780 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493880
@@ Property / cites work: Q4493880 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Permissive strategies: from parity games to safety games
+Normal rank
@@ Property / cites work @@
+Q4417948
@@ Property / cites work: Q4417948 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic framework for urgency
@@ Property / cites work: An algebraic framework for urgency / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of timed discrete-event systems
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy improvement for concurrent reachability and turn-based stochastic safety games
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791854
@@ Property / cites work: Q4791854 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent reachability games
@@ Property / cites work: Concurrent reachability games / rank @@
+Normal rank
@@ Property / cites work @@
+Blending Timed Formal Models with Clock Transition Systems
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+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