Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications (Q6202085): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1145/3575870.3587111
+Normal rank
@@ Property / OpenAlex ID @@
+W4375852007
@@ Property / OpenAlex ID: W4375852007 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition
+Normal rank
@@ Property / cites work @@
+Output Observability of Systems Over Finite Alphabets With Linear Internal Dynamics
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Sensing and Filtering: A Fresh Perspective Based on Preimages and Information Spaces
+Normal rank
@@ Property / cites work @@
+On abstraction-based controller design with output feedback
+Normal rank
@@ Property / cites work @@
+Deadlock-free output feedback controller design based on approximately abstracted observers
+Normal rank
@@ Property / cites work @@
+Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
+Normal rank
@@ Property / cites work @@
+Symbolic control design of nonlinear systems with outputs
+Normal rank
@@ Property / cites work @@
+Algorithms for Omega-Regular Games with Imperfect Information
+Normal rank
@@ Property / cites work @@
+SCOTS
@@ Property / cites work: SCOTS / rank @@
+Normal rank
@@ Property / cites work @@
+Refinements of behavioural abstractions for the supervisory control of hybrid systems
+Normal rank