Symbolic models for nonlinear control systems affected by disturbances (Q4897709): Difference between revisions

@@ Property / author @@
+Giordano Pola
@@ Property / author: Giordano Pola / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2019045017
@@ Property / OpenAlex ID: W2019045017 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5614
@@ Property / arXiv ID: 1201.5614 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692280
@@ Property / cites work: Q5692280 / 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 @@
+Controlling a Class of Nonlinear Systems on Rectangles
+Normal rank
@@ Property / cites work @@
+On the expressiveness and decidability of o-minimal hybrid systems
+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 @@
+Hierarchical hybrid control systems: a lattice theoretic formulation
+Normal rank
@@ Property / cites work @@
+Transition-Time Optimization for Switched-Mode Dynamical Systems
+Normal rank
@@ Property / cites work @@
+A discrete-event model of asynchronous quantised systems
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
+Normal rank
@@ Property / cites work @@
+Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+A set oriented approach to global optimal control
@@ Property / cites work: A set oriented approach to global optimal control / rank @@
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
+Normal rank
@@ Property / cites work @@
+Integrated Design of Symbolic Controllers for Nonlinear Systems
+Normal rank
@@ Property / cites work @@
+Approximately bisimilar symbolic models for nonlinear control systems
+Normal rank
@@ Property / cites work @@
+Symbolic models for nonlinear time-delay systems using approximate bisimulations
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
+Normal rank
@@ Property / cites work @@
+Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
+Normal rank
@@ Property / cites work @@
+Verification and Control of Hybrid Systems
@@ Property / cites work: Verification and Control of Hybrid Systems / rank @@
+Normal rank