28 citations · 64 across the 23 of their papers we have counts for
4 papers · 1 filter
Lyapunov-Barrier Characterization of Robust Reach-Avoid-Stay Specifications for Hybrid Systems
Yiming Meng, Jun Liu
Stability, reachability, and safety are crucial properties of dynamical systems. While verification and control synthesis of reach-avoid-stay objectives can be effectively handled…
Data-Driven Learning of Safety-Critical Control with Stochastic Control Barrier Functions
Chuanzheng Wang, Yiming Meng, Stephen L. Smith +1
Control barrier functions are widely used to synthesize safety-critical controls. The existence of Gaussian-type noise may lead to unsafe actions and result in severe consequences.…
Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems
Yiming Meng, Jun Liu
In this paper, we focus on discrete-time stochastic systems modelled by nonlinear stochastic difference equations and propose robust abstractions for verifying probabilistic linear…
Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions
Yiming Meng, Jun Liu
Stability and safety are crucial in safety-critical control of dynamical systems. The reach-avoid-stay objectives for deterministic dynamical systems can be effectively handled by…