State constrained reachability for stochastic hybrid systems (Q547913): Difference between revisions

@@ Property / DOI @@
-.1016/j.nahs.2010.10.008
@@ Property / DOI: 10.1016/j.nahs.2010.10.008 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E03
@@ Property / Mathematics Subject Classification ID: 93E03 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C15
@@ Property / Mathematics Subject Classification ID: 90C15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C39
@@ Property / Mathematics Subject Classification ID: 90C39 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+L20
@@ Property / Mathematics Subject Classification ID: 49L20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B03
@@ Property / Mathematics Subject Classification ID: 93B03 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5913689
@@ Property / zbMATH DE Number: 5913689 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+stochastic hybrid systems
@@ Property / zbMATH Keywords: stochastic hybrid systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+state constrained reachability analysis
@@ Property / zbMATH Keywords: state constrained reachability analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+viewpoints
@@ Property / zbMATH Keywords: viewpoints / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+multilayer models
@@ Property / zbMATH Keywords: multilayer models / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+trajectory design
@@ Property / zbMATH Keywords: trajectory design / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1994031299
@@ Property / OpenAlex ID: W1994031299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417983
@@ Property / cites work: Q4417983 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
+Normal rank
@@ Property / cites work @@
+Q3434961
@@ Property / cites work: Q3434961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086919
@@ Property / cites work: Q3086919 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
+Normal rank
@@ Property / cites work @@
+Q3434956
@@ Property / cites work: Q3434956 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3136505
@@ Property / cites work: Q3136505 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3721531
@@ Property / cites work: Q3721531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3956129
@@ Property / cites work: Q3956129 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556844
@@ Property / cites work: Q5556844 / rank @@
+Normal rank
@@ Property / cites work @@
+Excursions of a Markov process
@@ Property / cites work: Excursions of a Markov process / rank @@
+Normal rank
@@ Property / cites work @@
+On capacitability and measurability
@@ Property / cites work: On capacitability and measurability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4544929
@@ Property / cites work: Q4544929 / rank @@
+Normal rank
@@ Property / cites work @@
+Boundary value problems for elliptic integro-differential operators
+Normal rank
@@ Property / cites work @@
+On the Dirichlet problem for second-order elliptic integro-differential equations
+Normal rank
@@ Property / cites work @@
+Compactness of stopping times
@@ Property / cites work: Compactness of stopping times / rank @@
+Normal rank
@@ Property / cites work @@
+Q5342182
@@ Property / cites work: Q5342182 / rank @@
+Normal rank
@@ Property / cites work @@
+NOTES ON TRANSFORMATIONS OF MARKOV PROCESSES CONNECTED WITH MULTIPLICATIVE FUNCTIONALS
+Normal rank
@@ Property / cites work @@
+Q4040434
@@ Property / cites work: Q4040434 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143992
@@ Property / cites work: Q4143992 / rank @@
+Normal rank
@@ Property / cites work @@
+On generators of subordinate semigroups
@@ Property / cites work: On generators of subordinate semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Integrated Formal Methods
@@ Property / cites work: Integrated Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+The condenser problem
@@ Property / cites work: The condenser problem / rank @@
+Normal rank
@@ Property / cites work @@
+The condenser problem
@@ Property / cites work: The condenser problem / rank @@
+Normal rank
@@ Property / cites work @@
+A general definition of capacity
@@ Property / cites work: A general definition of capacity / rank @@
+Normal rank
@@ Property / cites work @@
+Planning Algorithms
@@ Property / cites work: Planning Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
+Normal rank
@@ Property / cites work @@
+Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction
+Normal rank
@@ Property / cites work @@
+State constrained reachability for stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Stochastic hybrid systems. Theory and safety critical applications.
+Normal rank
@@ Property / DOI @@
+.1016/J.NAHS.2010.10.008
@@ Property / DOI: 10.1016/J.NAHS.2010.10.008 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:547913