Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367): Difference between revisions

@@ Property / cites work @@
+Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Approximate Abstractions of Stochastic Hybrid Systems
+Normal rank
@@ Property / cites work @@
+A Lyapunov approach to incremental stability properties
+Normal rank
@@ Property / cites work @@
+Stochastic hybrid systems. Theory and safety critical applications.
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Stability analysis of deterministic and stochastic switched systems via a comparison principle and multiple Lyapunov functions
+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 @@
+Probability Inequalities for Sums of Bounded Random Variables
+Normal rank
@@ Property / cites work @@
+Approximations of Stochastic Hybrid Systems
@@ Property / cites work: Approximations of Stochastic Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002114
@@ Property / cites work: Q4002114 / rank @@
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / 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 @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Approximately bisimilar symbolic models for nonlinear control systems
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
+Normal rank
@@ Property / cites work @@
+Verification and Control of Hybrid Systems
@@ Property / cites work: Verification and Control of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Approximately bisimilar symbolic models for randomly switched stochastic systems
+Normal rank
@@ Property / cites work @@
+Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
+Normal rank
@@ Property / cites work @@
+Bisimilar symbolic models for stochastic control systems without state-space discretization
+Normal rank