Theorem of abstraction for equivalent controllers in hybrid systems (Q2568275): Difference between revisions

@@ Property / DOI @@
-.1016/j.ins.2004.07.012
@@ Property / DOI: 10.1016/j.ins.2004.07.012 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / rank @@
+Normal rank
@@ Property / cites work @@
+Controller synthesis for hybrid systems with a lower bound on event separation
+Normal rank
@@ Property / cites work @@
+Limited lookahead policies in supervisory control of discrete event systems
+Normal rank
@@ Property / cites work @@
+Optimal control of hybrid systems with an infinite set of discrete states
+Normal rank
@@ Property / cites work @@
+Q4234084
@@ Property / cites work: Q4234084 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis and viability of minimally interventive legal controllers for hybrid systems
+Normal rank
@@ Property / cites work @@
+On observability of discrete-event systems
@@ Property / cites work: On observability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Decentralized control and coordination of discrete-event systems with partial observation
+Normal rank
@@ Property / cites work @@
+Supervisory control of timed discrete-event systems under partial observation
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Q3727828
@@ Property / cites work: Q3727828 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953410
@@ Property / cites work: Q4953410 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional abstractions of hybrid control systems
+Normal rank
@@ Property / DOI @@
+.1016/J.INS.2004.07.012
@@ Property / DOI: 10.1016/J.INS.2004.07.012 / rank @@
+Normal rank