2 citations · 3 across the 4 of their papers we have counts for
4 papers
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…
Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions
Chuanzheng Wang, Yiming Meng, Stephen L. Smith +1
Control barrier functions have been widely used for synthesizing safety-critical controls, often via solving quadratic programs. However, the existence of Gaussian-type noise may l…
Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control
Chuanzheng Wang, Yinan Li, Yiming Meng +2
Control barrier functions have shown great success in addressing control problems with safety guarantees. These methods usually find the next safe control input by solving an onlin…