Logo Logo
Switch Language to German

Jahanshahi, Niloofar; Jagtap, Pushpak and Zamani, Majid (2020): Synthesis of Stochastic Systems with Partial Information via Control Barrier Functions. In: Ifac Papersonline, Vol. 53, No. 2: pp. 2441-2446

Full text not available from 'Open Access LMU'.


Synthesis of controllers for stochastic control systems ensuring safety constraints has gained considerable attention in the last few years. In this paper, we consider the problem of synthesizing controllers for partially observed stochastic control systems to ensure finite-time safety. Given an estimator with a probabilistic guarantee on the accuracy of the estimations, we provide an approach to compute a controller providing a lower bound on the probability that the trajectories of the stochastic control system remain safe over a finite time-horizon. To obtain such controllers, we utilize a notion of control barrier functions. We also provide an approach to compute a probability bound on estimator accuracy by using a notion of so-called stochastic simulation function. The proposed result is illustrated on a case study. Copyright (C) 2020 The Authors.

Actions (login required)

View Item View Item