Automatic synthesis of a subclass of schedulers in timed systems. (Q1874276): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Q2766638
@@ Property / cites work: Q2766638 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of timed discrete-event systems
+Normal rank
@@ Property / cites work @@
+Q4343832
@@ Property / cites work: Q4343832 / rank @@
+Normal rank
@@ Property / cites work @@
+Real-time supervisory control of a processor for non-preemptive execution of periodic tasks
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Shuffle on trajectories: Syntactic constraints
@@ Property / cites work: Shuffle on trajectories: Syntactic constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Q4208561
@@ Property / cites work: Q4208561 / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1874276