Efficient mode enumeration of compositional hybrid systems (Q3550796): Difference between revisions

@@ Property / cites work @@
+Reverse search for enumeration
@@ Property / cites work: Reverse search for enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+Control of systems integrating logic, dynamics, and constraints
+Normal rank
@@ Property / cites work @@
+Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
+Normal rank
@@ Property / cites work @@
+Partition of Space
@@ Property / cites work: Partition of Space / rank @@
+Normal rank
@@ Property / cites work @@
+A fast and effective heuristic for the feedback arc set problem
+Normal rank
@@ Property / cites work @@
+Optimal complexity reduction of polyhedral piecewise affine systems
+Normal rank
@@ Property / cites work @@
+Equivalence of hybrid dynamical models
@@ Property / cites work: Equivalence of hybrid dynamical models / rank @@
+Normal rank
@@ Property / cites work @@
+A New Technique for Translating Discrete Hybrid Automata into Piecewise Affine Systems
+Normal rank
@@ Property / cites work @@
+Nonlinear regulation: The piecewise linear approach
+Normal rank
@@ Property / cites work @@
+Complementarity modeling of hybrid systems
@@ Property / cites work: Complementarity modeling of hybrid systems / rank @@
+Normal rank