We develop a new method for safety verification of stochastic systems based on functions of states termed barrier certificates. Given a stochastic continuous or hybrid system and sets of initial and unsafe states, our method computes an upper bound on the probability that a trajectory of the system reaches the unsafe set, a bound whose validity is proven by the existence of a barrier certificate. For polynomial systems, both the upper bound and its corresponding barrier certificate can be computed using convex optimization, and hence the method is computationally tractable
Doctor of PhilosophyDepartment of Computer SciencePavithra PrabhakarStochastic hybrid systems consis...
Abstract — Stochastic hybrid system models can be used to analyze and design complex embedded system...
For stochastic hybrid systems, safety verification methods are very little supported mainly because ...
We develop a new method for safety verification of stochastic systems based on functions of states t...
This paper presents a methodology for safety verification of continuous and hybrid systems in the wo...
In this paper, we propose a data-driven approach to formally verify the safety of (potentially) unkn...
In this work, we study verification and synthesis problems for safety specifications over unknown di...
This work is concerned with the safety controller synthesis of stochastic hybrid systems, in which c...
We refine the concept of stochastic reach avoidance for a general class of Markov processes introduc...
Abstract: A methodology for safety verification of nonlinear systems using barrier certificates has ...
A methodology for safety verification of nonlinear systems using barrier certificates has been propo...
Providing non-trivial certificates of safety for non-linear stochastic systems is an important open ...
Abstract. A barrier certificate is an inductive invariant function which can be used for the safety ...
This paper presents a method for verifying the safety of a stochastic system. In particular, we show...
A barrier certificate can separate the state space of a considered hybrid system (HS) into safe and ...
Doctor of PhilosophyDepartment of Computer SciencePavithra PrabhakarStochastic hybrid systems consis...
Abstract — Stochastic hybrid system models can be used to analyze and design complex embedded system...
For stochastic hybrid systems, safety verification methods are very little supported mainly because ...
We develop a new method for safety verification of stochastic systems based on functions of states t...
This paper presents a methodology for safety verification of continuous and hybrid systems in the wo...
In this paper, we propose a data-driven approach to formally verify the safety of (potentially) unkn...
In this work, we study verification and synthesis problems for safety specifications over unknown di...
This work is concerned with the safety controller synthesis of stochastic hybrid systems, in which c...
We refine the concept of stochastic reach avoidance for a general class of Markov processes introduc...
Abstract: A methodology for safety verification of nonlinear systems using barrier certificates has ...
A methodology for safety verification of nonlinear systems using barrier certificates has been propo...
Providing non-trivial certificates of safety for non-linear stochastic systems is an important open ...
Abstract. A barrier certificate is an inductive invariant function which can be used for the safety ...
This paper presents a method for verifying the safety of a stochastic system. In particular, we show...
A barrier certificate can separate the state space of a considered hybrid system (HS) into safe and ...
Doctor of PhilosophyDepartment of Computer SciencePavithra PrabhakarStochastic hybrid systems consis...
Abstract — Stochastic hybrid system models can be used to analyze and design complex embedded system...
For stochastic hybrid systems, safety verification methods are very little supported mainly because ...