Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach

DOI10.1016/j.nahs.2020.100880zbMath1441.93293arXiv1902.01223OpenAlexW3006133815MaRDI QIDQ2178236

Sadegh Soudjani, Majid Zamani, Abolfazl Lavaei

Publication date: 7 May 2020

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1902.01223

zbMATH Keywords

compositional synthesisfinite Markov decision processesfinite-step stochastic simulation functionslarge-scale complex stochastic systemsrelaxed dissipativity-type conditions

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Markov and semi-Markov decision processes (90C40) Stochastic systems in control theory (general) (93E03) Large-scale systems (93A15)

Related Items (4)

Distributionally Robust Strategy Synthesis for Switched Stochastic Systems ⋮ Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations

Uses Software

• FAUST2

Cites Work

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

This page was built for publication: Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach