Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974): Difference between revisions

@@ Property / describes a project that uses @@
+MATISSE
@@ Property / describes a project that uses: MATISSE / 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.automatica.2008.03.027
+Normal rank
@@ Property / OpenAlex ID @@
+W2080813827
@@ Property / OpenAlex ID: W2080813827 / 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 @@
+Q4953376
@@ Property / cites work: Q4953376 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953379
@@ Property / cites work: Q4953379 / 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 @@
+Infinite time reachability of state-space regions by using feedback control
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q3136505
@@ Property / cites work: Q3136505 / 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 @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate simulation relations for hybrid systems
+Normal rank
@@ Property / cites work @@
+Q4953390
@@ Property / cites work: Q4953390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3487241
@@ Property / cites work: Q3487241 / rank @@
+Normal rank
@@ Property / cites work @@
+On Reachability Under Uncertainty
@@ Property / cites work: On Reachability Under Uncertainty / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703816
@@ Property / cites work: Q2703816 / rank @@
+Normal rank
@@ Property / cites work @@
+On reachability and minimum cost optimal control
@@ Property / cites work: On reachability and minimum cost optimal control / rank @@
+Normal rank
@@ Property / cites work @@
+Controllers for reachability specifications for hybrid systems
+Normal rank
@@ Property / cites work @@
+Electric load model synthesis by diffusion approximation of a high-order hybrid-state stochastic system
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953402
@@ Property / cites work: Q4953402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3418311
@@ Property / cites work: Q3418311 / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
+Normal rank
@@ Property / cites work @@
+Q3434961
@@ Property / cites work: Q3434961 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal control of diffusion processes with reflection
+Normal rank
@@ Property / cites work @@
+Q4418863
@@ Property / cites work: Q4418863 / rank @@
+Normal rank