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

@@ Property / DOI @@
-.1016/j.automatica.2008.02.021
@@ Property / DOI: 10.1016/j.automatica.2008.02.021 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Sostools
@@ Property / describes a project that uses: Sostools / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2079042739
@@ Property / OpenAlex ID: W2079042739 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0246
@@ Property / arXiv ID: 0706.0246 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.AUTOMATICA.2008.02.021
@@ Property / DOI: 10.1016/J.AUTOMATICA.2008.02.021 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1004115