What type of study is this?

This is a Quantitative Study study.

September 23, 2025Open Access

On the Construction of Barrier Certificate: A Dynamic Programming Perspective

View Full Paper

Ask AI

Bookmark

Authors

The analysis explores safety probability in stochastic dynamical systems, suggesting improved barrier certificate conditions.

New barrier certificate conditions were developed to minimize conservativeness in safety verification methods.
The research demonstrates that existing martingale-based conditions are overly conservative, limiting safety probability bounds.
Dynamic programming operators provide fresh insights into established conditions for stochastic system safety verification.
Numerical examples illustrate significant advantages of the proposed method over traditional approaches to barrier certificates.

Chen et al. (2025) studied this question.

View Full Paper

Ask AI

Bookmark