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

@@ Property / author @@
-Andrea Balluchi
@@ Property / author: Andrea Balluchi / rank @@
-Normal rank
@@ Property / author @@
-Alberto L. Sangiovanni-Vincentelli
@@ Property / author: Alberto L. Sangiovanni-Vincentelli / rank @@
-Normal rank
@@ Property / author @@
+Andrea Balluchi
@@ Property / author: Andrea Balluchi / rank @@
+Normal rank
@@ Property / author @@
+Alberto L. Sangiovanni-Vincentelli
@@ Property / author: Alberto L. Sangiovanni-Vincentelli / 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.1080/0020717031000123616
+Normal rank
@@ Property / OpenAlex ID @@
+W2131435640
@@ Property / OpenAlex ID: W2131435640 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:4810934