Controller synthesis for hybrid systems with a lower bound on event separation (Q4810934): Difference between revisions

@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Controller synthesis for hybrid systems with a lower bound on event separation
+Normal rank
@@ Property / cites work @@
+On the regularization of Zeno hybrid automata
@@ Property / cites work: On the regularization of Zeno hybrid automata / rank @@
+Normal rank
@@ Property / cites work @@
+Controllers for reachability specifications for hybrid systems
+Normal rank
@@ Property / cites work @@
+Supervisory control of families of linear set-point controllers - Part I. Exact matching
+Normal rank
@@ Property / cites work @@
+Q3337276
@@ Property / cites work: Q3337276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249576
@@ Property / cites work: Q4249576 / rank @@
+Normal rank