Compositional synthesis of state-dependent switching control (Q1623281): Difference between revisions

@@ Property / cites work @@
+Q2713275
@@ Property / cites work: Q2713275 / rank @@
+Normal rank
@@ Property / cites work @@
+Game-based Synthesis of Distributed Controllers for Sampled Switched Systems
+Normal rank
@@ Property / cites work @@
+Taming Dr. Frankenstein: contract-based design for cyber-physical systems
+Normal rank
@@ Property / cites work @@
+Finite controlled invariants for sampled switched systems
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251947
@@ Property / cites work: Q4251947 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Verification and Synthesis of Timing Contracts for Embedded Controllers
+Normal rank