Approximately bisimilar symbolic models for randomly switched stochastic systems (Q2454178): Difference between revisions

@@ Property / describes a project that uses @@
+Sostools
@@ Property / describes a project that uses: Sostools / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SpaceEx
@@ Property / describes a project that uses: SpaceEx / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.sysconle.2014.04.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2150141562
@@ Property / OpenAlex ID: W2150141562 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic hybrid systems for studying biochemical processes
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Ergodic Control of Switching Diffusions
@@ Property / cites work: Ergodic Control of Switching Diffusions / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+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
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
+Normal rank
@@ Property / cites work @@
+Approximations of Stochastic Hybrid Systems
@@ Property / cites work: Approximations of Stochastic Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Manufacturing systems with random breakdowns and deteriorating items
+Normal rank
@@ Property / cites work @@
+Q4002114
@@ Property / cites work: Q4002114 / rank @@
+Normal rank
@@ Property / cites work @@
+A Lyapunov approach to incremental stability properties
+Normal rank
@@ Property / cites work @@
+Switching in systems and control
@@ Property / cites work: Switching in systems and control / rank @@
+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 @@
+Forward completeness, unboundedness observability, and their Lyapunov characterizations
+Normal rank
@@ Property / cites work @@
+A Smooth Converse Lyapunov Theorem for Robust Stability
+Normal rank
@@ Property / cites work @@
+Simulation and the Monte Carlo Method
@@ Property / cites work: Simulation and the Monte Carlo Method / rank @@
+Normal rank