Distributionally Robust Strategy Synthesis for Switched Stochastic Systems

DOI10.1145/3575870.3587127arXiv2212.14260OpenAlexW4375852054MaRDI QIDQ6202089

Dimitris Boskos, Manuel jun. Mazo, Luca Laurenti, Unnamed Author

Publication date: 21 February 2024

Published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

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

zbMATH Keywords

Wasserstein distanceswitched stochastic systemsformal synthesissafe autonomyuncertain Markov decision processes

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• Unnamed Item
• On the rate of convergence in Wasserstein distance of the empirical measure
• Hybrid switching diffusions. Properties and applications
• Bounded-parameter Markov decision processes
• Data-driven distributionally robust optimization using the Wasserstein metric: performance guarantees and tractable reformulations
• Formal methods for discrete-time dynamical systems
• Abstraction-based synthesis for stochastic systems with omega-regular objectives
• Frameworks and results in distributionally robust optimization
• Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach
• Optimal transport for applied mathematicians. Calculus of variations, PDEs, and modeling
• On distributionally robust chance-constrained linear programs
• Stochastic switching systems. Analysis and design.
• A barrier function approach to finite-time stochastic system verification and control
• Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties
• Distributionally Robust Markov Decision Processes
• Formal Verification and Synthesis for Discrete-Time Stochastic Systems
• Distributionally Robust Optimization Under Moment Uncertainty with Application to Data-Driven Problems
• Robust Mean-Covariance Solutions for Stochastic Optimization
• Distributionally Robust Stochastic Programming
• An Approximate Simulation Approach to Symbolic Control
• Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems
• Optimal Transport-Based Distributionally Robust Optimization: Structural Properties and Iterative Schemes
• Robust Markov Decision Processes
• Quantifying Distributional Model Risk via Optimal Transport
• Efficiency through uncertainty
• Robust Control of Markov Decision Processes with Uncertain Transition Matrices
• Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
• Hybrid Systems: Computation and Control

This page was built for publication: Distributionally Robust Strategy Synthesis for Switched Stochastic Systems