English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

This paper studies the problem of enforcing safety of a stochastic dynamicalsystem over a finite time horizon. We use stochastic barrier functions as ameans to quantify the probability that a system exits a given safe region ofthe state space in finite time. A barrier certificate condition that bounds theinfinitesimal generator of the system, and hence bounds the expected value ofthe barrier function over the time horizon, is recast as a sum-of-squaresoptimization problem for efficient numerical computation. Unlike prior works,the proposed certificate condition includes a state-dependent bound on theinfinitesimal generator, allowing for tighter probability bounds. Moreover, forstochastic systems for which the drift dynamics are affine-in-control, wepropose a method for synthesizing polynomial state feedback controllers thatachieve a specified probability of safety. Two case studies are presented thatbenchmark and illustrate the performance of our method.

Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions