Safety of stochastic systems: an analytic and computational approach

DOI10.1016/j.automatica.2021.109839zbMath1480.93451OpenAlexW3194276011MaRDI QIDQ2065176

Rafael Wisniewski, Luminita Manuela Bujorianu

Publication date: 7 January 2022

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2021.109839

zbMATH Keywords

optimization problemspolynomial methodsMarkov modelsstochastic systemsmoment methodsafety analysis

Mathematics Subject Classification ID

Semidefinite programming (90C22) Linear programming (90C05) Optimal stochastic control (93E20)

Related Items (1)

Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stabilization with guaranteed safety using control Lyapunov-Barrier function
• Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
• Stochastic reachability analysis of hybrid systems.
• Semidefinite programming relaxations for semialgebraic problems
• Feynman-Kac formula for switching diffusions: connections of systems of partial differential equations and stochastic differential equations
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Global Optimization with Polynomials and the Problem of Moments
• Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• On the equivalence of excessive functions and superharmonic functions in the theory of Markov processes, I
• Semimartingales and Subharmonic Functions
• $p$-Safe Analysis of Stochastic Hybrid Processes
• The condenser problem

This page was built for publication: Safety of stochastic systems: an analytic and computational approach