Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach (Q473311): Difference between revisions

@@ Property / DOI @@
-.1016/j.automatica.2014.08.029
@@ Property / DOI: 10.1016/j.automatica.2014.08.029 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E03
@@ Property / Mathematics Subject Classification ID: 93E03 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C30
@@ Property / Mathematics Subject Classification ID: 93C30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6372108
@@ Property / zbMATH DE Number: 6372108 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+stochastic hybrid systems
@@ Property / zbMATH Keywords: stochastic hybrid systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model approximation
@@ Property / zbMATH Keywords: model approximation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+randomized methods
@@ Property / zbMATH Keywords: randomized methods / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YALMIP
@@ Property / describes a project that uses: YALMIP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CVX
@@ Property / describes a project that uses: CVX / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2061234608
@@ Property / OpenAlex ID: W2061234608 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.7197
@@ Property / arXiv ID: 1405.7197 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Approximate model checking of stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Randomized Strategies for Probabilistic Solutions of Uncertain Feasibility and Optimization Problems
+Normal rank
@@ Property / cites work @@
+On the Sample Complexity of Probabilistic Analysis and Design Methods
+Normal rank
@@ Property / cites work @@
+Stochastic hybrid systems. Theory and safety critical applications.
+Normal rank
@@ Property / cites work @@
+Randomized sampling for large zero-sum games
@@ Property / cites work: Randomized sampling for large zero-sum games / rank @@
+Normal rank
@@ Property / cites work @@
+On the expected probability of constraint violation in sampled convex programs
+Normal rank
@@ Property / cites work @@
+Uncertain convex programs: randomized solutions and confidence levels
+Normal rank
@@ Property / cites work @@
+The Scenario Approach to Robust Control Design
@@ Property / cites work: The Scenario Approach to Robust Control Design / rank @@
+Normal rank
@@ Property / cites work @@
+Research on probabilistic methods for control system design
+Normal rank
@@ Property / cites work @@
+The Exact Feasibility of Randomized Solutions of Uncertain Convex Programs
+Normal rank
@@ Property / cites work @@
+A sampling-and-discarding approach to chance-constrained optimization: feasibility and Optimality
+Normal rank
@@ Property / cites work @@
+FAST—Fast Algorithm for the Scenario Technique
@@ Property / cites work: FAST—Fast Algorithm for the Scenario Technique / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Hybrid Systems
@@ Property / cites work: Stochastic Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Approximations of Stochastic Hybrid Systems
@@ Property / cites work: Approximations of Stochastic Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic hybrid systems: a powerful framework for complex, large scale applications
+Normal rank
@@ Property / cites work @@
+Model reduction of switched affine systems
@@ Property / cites work: Model reduction of switched affine systems / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics and Topology for Nonlinear and Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach
+Normal rank
@@ Property / cites work @@
+Q4838490
@@ Property / cites work: Q4838490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638126
@@ Property / cites work: Q5638126 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
+Normal rank
@@ Property / cites work @@
+Randomized algorithms for analysis and control of uncertain systems. With applications
+Normal rank
@@ Property / DOI @@
+.1016/J.AUTOMATICA.2014.08.029
@@ Property / DOI: 10.1016/J.AUTOMATICA.2014.08.029 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:473311