Safety of stochastic systems: an analytic and computational approach
type: Item
instance of: scholarly article
title: Safety of stochastic systems: an analytic and computational approach
zbMATH Open document ID: 1480.93451
published in: Automatica
publication date: 2022-01-07T00:00:00Z
Mathematics Subject Classification ID: 93E20
Mathematics Subject Classification ID: 90C22
Mathematics Subject Classification ID: 90C05
zbMATH DE Number: 7453501
zbMATH Keywords: safety analysis
zbMATH Keywords: stochastic systems
zbMATH Keywords: Markov models
zbMATH Keywords: optimization problems
zbMATH Keywords: polynomial methods
zbMATH Keywords: moment method
author: Rafał Wisniewski
author: Luminita Manuela Bujorianu
MaRDI profile type: Publication
full work available at URL: j.automatica.2021.109839
OpenAlex ID: W3194276011
cites work: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
cites work: Q4404205
cites work: Feynman-Kac formula for switching diffusions: connections of systems of partial differential equations and stochastic differential equations
cites work: Q4194219
cites work: Q3107282
cites work: Stochastic reachability analysis of hybrid systems.
cites work: The condenser problem
cites work: Q3136505
cites work: Semimartingales and Subharmonic Functions
cites work: Q5711199
cites work: Q2774021
cites work: Global optimization with polynomials and the problem of moments
cites work: Q3395491
cites work: Q5452017
cites work: Semidefinite programming relaxations for semialgebraic problems
cites work: A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
cites work: Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
cites work: Stabilization with guaranteed safety using control Lyapunov-Barrier function
cites work: Q4032537
cites work: Q4040434
cites work: Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
cites work: On the equivalence of excessive functions and superharmonic functions in the theory of Markov processes, I
cites work: $p$-Safe Analysis of Stochastic Hybrid Processes
DOI: 10.1016/J.AUTOMATICA.2021.109839
description: scientific article; zbMATH DE number 7453501