Lazy Abstraction-Based Controller Synthesis (Q3297583): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2981482524
@@ Property / OpenAlex ID: W2981482524 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02722
@@ Property / arXiv ID: 1804.02722 / rank @@
+Normal rank
@@ Property / cites work @@
+First steps toward formal controller synthesis for bipedal robots
+Normal rank
@@ Property / cites work @@
+Language-guided controller synthesis for discrete-time linear systems
+Normal rank
@@ Property / cites work @@
+Synthesis of switching controllers using approximately bisimilar multiscale abstractions
+Normal rank
@@ Property / cites work @@
+Efficient On-the-Fly Algorithms for Partially Observable Timed Games
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Efficient finite abstraction of mixed monotone systems
+Normal rank
@@ Property / cites work @@
+Solving games via three-valued abstraction refinement
+Normal rank
@@ Property / cites work @@
+Finite controlled invariants for sampled switched systems
+Normal rank
@@ Property / cites work @@
+Towards a Multiresolution Approach to Linear Control
+Normal rank
@@ Property / cites work @@
+Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
+Normal rank
@@ Property / cites work @@
+Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
+Normal rank
@@ Property / cites work @@
+An adaptive grid scheme for the discrete Hamilton-Jacobi-Bellman equation
+Normal rank
@@ Property / cites work @@
+Q4449227
@@ Property / cites work: Q4449227 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Better Abstractions for Timed Automata
@@ Property / cites work: Better Abstractions for Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems
+Normal rank
@@ Property / cites work @@
+pFaces
@@ Property / cites work: pFaces / rank @@
+Normal rank
@@ Property / cites work @@
+ROCS
@@ Property / cites work: ROCS / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Compositional Synthesis of Finite-State Abstractions
+Normal rank
@@ Property / cites work @@
+Comparing Forward and Backward Reachability as Tools for Safety Analysis
+Normal rank
@@ Property / cites work @@
+Augmented finite transition systems as abstractions for control synthesis
+Normal rank
@@ Property / cites work @@
+Integrated Design of Symbolic Controllers for Nonlinear Systems
+Normal rank
@@ Property / cites work @@
+Feedback Refinement Relations for the Synthesis of Symbolic Controllers
+Normal rank
@@ Property / cites work @@
+SCOTS
@@ Property / cites work: SCOTS / rank @@
+Normal rank
@@ Property / cites work @@
+Verification and Control of Hybrid Systems
@@ Property / cites work: Verification and Control of Hybrid Systems / rank @@
+Normal rank