Reachability and optimal control for linear hybrid automata: a quantifier elimination approach (Q3447004): Difference between revisions

@@ 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 unified framework for hybrid control: model and optimal control theory
+Normal rank
@@ Property / cites work @@
+Variable Elimination in Linear Constraints
@@ Property / cites work: Variable Elimination in Linear Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Maximum Principle for a Hybrid System Via Singular Perturbations
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability computation for families of linear vector fields
+Normal rank
@@ Property / cites work @@
+Time-optimal control for discrete-time hybrid automata
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / 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 @@
+Hybrid control synthesis for eventuality specifications using level set methods
+Normal rank
@@ Property / cites work @@
+Supervisory target control for hybrid systems
@@ Property / cites work: Supervisory target control for hybrid systems / rank @@
+Normal rank