Q5021008 (Q5021008): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate model checking of stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Decisive Markov Chains
@@ Property / cites work: Decisive Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / 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 @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+An additive measure in o-minimal expansions of fields
+Normal rank
@@ Property / cites work @@
+When are stochastic transition systems tameable?
@@ Property / cites work: When are stochastic transition systems tameable? / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Timed Automata
@@ Property / cites work: Stochastic Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3415147
@@ Property / cites work: Q3415147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5021008
@@ Property / cites work: Q5021008 / rank @@
+Normal rank
@@ Property / cites work @@
+Updatable timed automata
@@ Property / cites work: Updatable timed automata / 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 @@
+Stochastic reachability analysis of hybrid systems.
+Normal rank
@@ Property / cites work @@
+Stochastic Hybrid Systems
@@ Property / cites work: Stochastic Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Composition of Stochastic Transition Systems Based on Spans and Couplings
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953389
@@ Property / cites work: Q4953389 / 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 @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953390
@@ Property / cites work: Q4953390 / rank @@
+Normal rank
@@ Property / cites work @@
+First order tameness of measures
@@ Property / cites work: First order tameness of measures / rank @@
+Normal rank
@@ Property / cites work @@
+Definable Sets in Ordered Structures. II
@@ Property / cites work: Definable Sets in Ordered Structures. II / rank @@
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic hybrid systems: a powerful framework for complex, large scale applications
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23--25, 2000. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4397030
@@ Property / cites work: Q4397030 / rank @@
+Normal rank
@@ Property / cites work @@
+Definable Sets in Ordered Structures. I
@@ Property / cites work: Definable Sets in Ordered Structures. I / rank @@
+Normal rank
@@ Property / cites work @@
+Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction
+Normal rank
@@ Property / cites work @@
+Stochastic hybrid systems for studying biochemical processes
+Normal rank
@@ Property / cites work @@
+Q4391214
@@ Property / cites work: Q4391214 / rank @@
+Normal rank
@@ Property / cites work @@
+Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
+Normal rank