Control-invariance of hybrid systems with forcible events (Q1776418): Difference between revisions

@@ Property / cites work @@
+Q4289659
@@ Property / cites work: Q4289659 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of timed discrete-event systems
+Normal rank
@@ Property / cites work @@
+Q4246808
@@ Property / cites work: Q4246808 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of infinite-state dynamic systems using approximate quotient transition systems
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Controllers for reachability specifications for hybrid systems
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable hybrid systems
@@ Property / cites work: Decidable hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Modular Feedback Logic for Discrete Event Systems
@@ Property / cites work: Modular Feedback Logic for Discrete Event Systems / rank @@
+Normal rank