Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828): Difference between revisions

@@ Property / cites work @@
+Q4439564
@@ Property / cites work: Q4439564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / 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 @@
+Q4552456
@@ Property / cites work: Q4552456 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Probabilistic Timed Automata with One or Two Clocks
+Normal rank
@@ Property / cites work @@
+Timed automata with urgent transitions
@@ Property / cites work: Timed automata with urgent transitions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552463
@@ Property / cites work: Q4552463 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum-Time Reachability in Timed Games
@@ Property / cites work: Minimum-Time Reachability in Timed Games / rank @@
+Normal rank
@@ Property / cites work @@
+Timed I/O automata
@@ Property / cites work: Timed I/O automata / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete-time control for rectangular hybrid automata
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Task automata: Schedulability, decidability and undecidability
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Timed I/O Automata
@@ Property / cites work: The Theory of Timed I/O Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Specification of Real Time Components
@@ Property / cites work: Robust Specification of Real Time Components / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+A survey of timed automata for the development of real-time systems
+Normal rank
@@ Property / cites work @@
+A Model for Industrial Real-Time Systems
@@ Property / cites work: A Model for Industrial Real-Time Systems / rank @@
+Normal rank