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

@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:547913