Supervisory control of hybrid systems based on model abstraction and guided search (Q2496813): Difference between revisions

@@ 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.1016/j.na.2005.12.023
+Normal rank
@@ Property / OpenAlex ID @@
+W2005831014
@@ Property / OpenAlex ID: W2005831014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736576
@@ Property / cites work: Q4736576 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249565
@@ Property / cites work: Q4249565 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417923
@@ Property / cites work: Q4417923 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of supervisory controllers for hybrid systems based on approximating automata
+Normal rank
@@ Property / cites work @@
+Q4552471
@@ Property / cites work: Q4552471 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553265
@@ Property / cites work: Q4553265 / rank @@
+Normal rank
@@ Property / cites work @@
+Ellipsoidal calculus for estimation and control
@@ Property / cites work: Ellipsoidal calculus for estimation and control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249569
@@ Property / cites work: Q4249569 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of timed discrete-event systems under partial observation
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
+Normal rank
@@ Property / cites work @@
+Q4953410
@@ Property / cites work: Q4953410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418863
@@ Property / cites work: Q4418863 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid control synthesis for eventuality specifications using level set methods
+Normal rank
@@ Property / cites work @@
+Supervisory target control for hybrid systems
@@ Property / cites work: Supervisory target control for hybrid systems / rank @@
+Normal rank