Approximately bisimilar symbolic models for nonlinear control systems (Q1004115): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Lyapunov approach to incremental stability properties
+Normal rank
@@ Property / cites work @@
+Forward completeness, unboundedness observability, and their Lyapunov characterizations
+Normal rank
@@ Property / cites work @@
+Games for synthesis of controllers with partial observation.
+Normal rank
@@ Property / cites work @@
+On the reachability of quantized control systems
@@ Property / cites work: On the reachability of quantized control systems / rank @@
+Normal rank
@@ Property / cites work @@
+Feedback Encoding for Efficient Symbolic Control of Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Approximately Bisimilar Finite Abstractions of Stable Linear Systems
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Simulation and Bisimulation of Nonlinear Control Systems with Admissible Classes of Inputs and Disturbances
+Normal rank
@@ Property / cites work @@
+Q3029380
@@ Property / cites work: Q3029380 / rank @@
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5542360
@@ Property / cites work: Q5542360 / rank @@
+Normal rank
@@ Property / cites work @@
+Switching in systems and control
@@ Property / cites work: Switching in systems and control / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Hybrid Systems by Means of Stochastic Automata
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of switching linear systems by bisimulation
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Q4418857
@@ Property / cites work: Q4418857 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling, state observation and diagnosis of quantised systems
+Normal rank
@@ Property / cites work @@
+Q4400449
@@ Property / cites work: Q4400449 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic models for control systems
@@ Property / cites work: Symbolic models for control systems / rank @@
+Normal rank
@@ Property / cites work @@
+An Approximate Simulation Approach to Symbolic Control
+Normal rank
@@ Property / cites work @@
+Bisimilar control affine systems
@@ Property / cites work: Bisimilar control affine systems / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Time Logic Control of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+Q4493880
@@ Property / cites work: Q4493880 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of Dynamical Systems by Bisimulation
@@ Property / cites work: Equivalence of Dynamical Systems by Bisimulation / rank @@
+Normal rank