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

@@ Property / describes a project that uses @@
+REDLOG
@@ Property / describes a project that uses: REDLOG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QEPCAD
@@ Property / describes a project that uses: QEPCAD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1080/00207170601143482
+Normal rank
@@ Property / OpenAlex ID @@
+W2001129306
@@ Property / OpenAlex ID: W2001129306 / rank @@
+Normal rank
@@ 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