Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach (Q2178236): Difference between revisions

@@ Property / arXiv ID @@
+.01223
@@ Property / arXiv ID: 1902.01223 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Robust PCTL model checking
@@ Property / cites work: Robust PCTL model checking / rank @@
+Normal rank
@@ Property / cites work @@
+A compositional modelling and analysis framework for stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Compositional Controller Synthesis for Stochastic Games
+Normal rank
@@ Property / cites work @@
+Compositional probabilistic verification through multi-objective model checking
+Normal rank
@@ Property / cites work @@
+Approximately bisimilar symbolic models for randomly switched stochastic systems
+Normal rank
@@ Property / cites work @@
+Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
+Normal rank
@@ Property / cites work @@
+Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
+Normal rank
@@ Property / cites work @@
+Approximations of Stochastic Hybrid Systems
@@ Property / cites work: Approximations of Stochastic Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Approximations of Stochastic Hybrid Systems: A Compositional Approach
+Normal rank
@@ Property / cites work @@
+Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
+Normal rank
@@ Property / cites work @@
+Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Dynamic Bayesian networks for formal verification of structured stochastic processes
+Normal rank
@@ Property / cites work @@
+Compositional construction of infinite abstractions for networks of stochastic control systems
+Normal rank
@@ Property / cites work @@
+Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems
+Normal rank
@@ Property / cites work @@
+Compositional abstraction-based synthesis for networks of stochastic switched systems
+Normal rank
@@ Property / cites work @@
+A new asymptotic stability criterion for nonlinear time-variant differential equations
+Normal rank
@@ Property / cites work @@
+On stability analysis methods for large-scale discrete-time systems
+Normal rank
@@ Property / cites work @@
+Non-conservative discrete-time ISS small-gain conditions for closed sets
+Normal rank
@@ Property / cites work @@
+From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement
+Normal rank
@@ Property / cites work @@
+Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
+Normal rank
@@ Property / cites work @@
+An alternative converse Lyapunov theorem for discrete-time systems
+Normal rank
@@ Property / cites work @@
+Networks of Dissipative Systems
@@ Property / cites work: Networks of Dissipative Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Lyapunov approach to incremental stability properties
+Normal rank
@@ Property / cites work @@
+A Contraction Theory Approach to Stochastic Incremental Stability
+Normal rank
@@ Property / cites work @@
+Gershgorin's Theorem and the Zeros of Polynomials
@@ Property / cites work: Gershgorin's Theorem and the Zeros of Polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Q2716030
@@ Property / cites work: Q2716030 / rank @@
+Normal rank