Automated verification and synthesis of stochastic hybrid systems: A survey
Stochastic hybrid systems have received significant attentions as a relevant modeling
framework describing many systems, from engineering to the life sciences: they enable the …
framework describing many systems, from engineering to the life sciences: they enable the …
Safety of stochastic systems: An analytic and computational approach
R Wisniewski, LM Bujorianu - Automatica, 2021 - Elsevier
We refine the concept of stochastic reach avoidance for a general class of Markov processes
introducing a threshold of p for the reaching probability. This new problem is called p-safety …
introducing a threshold of p for the reaching probability. This new problem is called p-safety …
Stochastic safety for Markov chains
In this letter, we study the so-called p-safety of a Markov chain. We say that a state is p-safe
in a state space S with respect to an unsafe set U if the process stays in the state space and …
in a state space S with respect to an unsafe set U if the process stays in the state space and …
Stochastic safety for random dynamical systems
In the paper, we study the so-called p-safety of a random dynamical system. We generalize
the existing results for safety barrier certificates for deterministic dynamical systems and …
the existing results for safety barrier certificates for deterministic dynamical systems and …
Kolmogorov equations for evaluating the boundary hitting of degenerate diffusion with unsteady drift
H Yoshioka - ar**gujishu/links/66fa58f4869f1104c6bcc87b/Real-time-Safety-Assessment-Techniques-of-Dynamic-Systems-dongtaixitongdeshishianquanxing**gujishu.pdf" data-clk="hl=en&sa=T&oi=gga&ct=gga&cd=7&d=796326141023835877&ei=m_mlZ6GdMZ-_6rQPqLWgoAM" data-clk-atid="5VYV-WceDQsJ" target="_blank">[PDF] researchgate.net
[PDF][PDF] 动态系统的实时安全性评估技术
何潇， 刘泽夷， 胡嵩乔， 刘畅， 周东华 - 自动化学报, 2024 - researchgate.net
摘要动态系统的实时安全性评估在防止潜在安全事故导致重大损失方面发挥着关键作用.
随着系统功能和复杂性的日益增加, 实时安全性评估技术面临着更大的挑战 …
随着系统功能和复杂性的日益增加, 实时安全性评估技术面临着更大的挑战 …
Autonomous system safety: Towards targeted and scalable approaches for validation and behaviour analysis
PB Du - 2023 - ideals.illinois.edu
Autonomous systems are rapidly making their way into the physical domain, where they
have to interact with human users in unstructured and safety-critical scenarios. The …
have to interact with human users in unstructured and safety-critical scenarios. The …
Improving the Feasibility of Moment-Based Safety Analysis for Stochastic Dynamics
Given a dynamical system modeled via stochastic differential equations (SDEs), we evaluate
the safety of the system through its exit-time moments. Using appropriate semidefinite …
the safety of the system through its exit-time moments. Using appropriate semidefinite …