Safety of stochastic systems: an analytic and computational approach
From MaRDI portal
Publication:2065176
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
Related Items (1)
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