Supervisory target control for hybrid systems (Q4459051): 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.1080/0020717031000123328
+Normal rank
@@ Property / OpenAlex ID @@
+W2051955897
@@ Property / OpenAlex ID: W2051955897 / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / 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 @@
+Q4249561
@@ Property / cites work: Q4249561 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic noncooperative game theory
@@ Property / cites work: Dynamic noncooperative game theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381902
@@ Property / cites work: Q4381902 / rank @@
+Normal rank
@@ Property / cites work @@
+A unified framework for hybrid control: model and optimal control theory
+Normal rank
@@ Property / cites work @@
+Q4249565
@@ Property / cites work: Q4249565 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of supervisory controllers for hybrid systems based on approximating automata
+Normal rank
@@ Property / cites work @@
+Q4234084
@@ Property / cites work: Q4234084 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of logic controllers for continuous plants using timed condition/event-system models
+Normal rank
@@ Property / cites work @@
+Ellipsoidal techniques for reachability analysis: Internal approximation
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+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 @@
+Q4553266
@@ Property / cites work: Q4553266 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953402
@@ Property / cites work: Q4953402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552487
@@ Property / cites work: Q4552487 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete approximation and supervisory control of continuous systems
+Normal rank
@@ Property / cites work @@
+Q4552490
@@ Property / cites work: Q4552490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699440
@@ Property / cites work: Q4699440 / rank @@
+Normal rank
@@ Property / cites work @@
+Control design for integrator hybrid systems
@@ Property / cites work: Control design for integrator hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Controllers for reachability specifications for hybrid systems
+Normal rank
@@ Property / cites work @@
+Hybrid control synthesis for eventuality specifications using level set methods
+Normal rank
@@ Property / cites work @@
+Q4953414
@@ Property / cites work: Q4953414 / rank @@
+Normal rank