Symbolic approximate time-optimal control (Q533800): Difference between revisions

@@ Property / cites work @@
+Hierarchical control system design using approximate simulation
+Normal rank
@@ Property / cites work @@
+Approximately bisimilar symbolic models for nonlinear control systems
+Normal rank
@@ Property / cites work @@
+Constructing roadmaps of semi-algebraic sets. I: Completeness
+Normal rank
@@ Property / cites work @@
+Q3264481
@@ Property / cites work: Q3264481 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Theory of Dynamic Programming
@@ Property / cites work: On the Theory of Dynamic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Solution of Optimal Control Problems Using Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Logic-Based Solution Methods for Optimal Control of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Verification and Control of Hybrid Systems
@@ Property / cites work: Verification and Control of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
+Normal rank
@@ Property / cites work @@
+Better Quality in Synthesis through Quantitative Objectives
+Normal rank
@@ Property / cites work @@
+Branching Programs and Binary Decision Diagrams
@@ Property / cites work: Branching Programs and Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+A note on two problems in connexion with graphs
@@ Property / cites work: A note on two problems in connexion with graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of safety properties
@@ Property / cites work: Model checking of safety properties / rank @@
+Normal rank
@@ Property / cites work @@
+On the Construction of Fine Automata for Safety Properties
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank
@@ Property / cites work @@
+Q5727849
@@ Property / cites work: Q5727849 / rank @@
+Normal rank