Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706): Difference between revisions

@@ Property / cites work @@
+Approximate Abstractions 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 @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769588
@@ Property / cites work: Q2769588 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic hybrid systems. Theory and safety critical applications.
+Normal rank
@@ Property / cites work @@
+Exact and ordinary lumpability in finite Markov chains
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Uncertain convex programs: randomized solutions and confidence levels
+Normal rank
@@ Property / cites work @@
+Q3136505
@@ Property / cites work: Q3136505 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
+Normal rank
@@ Property / cites work @@
+Lyapunov-Like Techniques for Stochastic Stability
@@ Property / cites work: Lyapunov-Like Techniques for Stochastic Stability / rank @@
+Normal rank
@@ Property / cites work @@
+On Choosing and Bounding Probability Metrics
@@ Property / cites work: On Choosing and Bounding Probability Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
+Normal rank
@@ Property / cites work @@
+Equivalence notions and model minimization in Markov decision processes
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Approximations of Stochastic Hybrid Systems
@@ Property / cites work: Approximations of Stochastic Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Boundary Theory for Recurrent Markov Chains
@@ Property / cites work: Boundary Theory for Recurrent Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3344923
@@ Property / cites work: Q3344923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703816
@@ Property / cites work: Q2703816 / rank @@
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Markov chains and stochastic stability
@@ Property / cites work: Markov chains and stochastic stability / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilar linear systems.
@@ Property / cites work: Bisimilar linear systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+A Contraction Theory Approach to Stochastic Incremental Stability
+Normal rank
@@ Property / cites work @@
+Q4536612
@@ Property / cites work: Q4536612 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximately bisimilar symbolic models for nonlinear control systems
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Approximation Quality of Markov State Models
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / 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 @@
+Bisimilar control affine systems
@@ Property / cites work: Bisimilar control affine systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535035
@@ Property / cites work: Q4535035 / rank @@
+Normal rank