2 citations · 4 across the 9 of their papers we have counts for
9 papers
Safe Exit Controllers Synthesis for Continuous-time Stochastic Systems
Bai Xue
This paper tackles the problem of generating safe exit controllers for continuous-time systems described by stochastic differential equations (SDEs). The primary aim is to develop…
Reach-avoid Analysis for Sampled-data Systems with Measurement Uncertainties
Taoran Wu, Dejin Ren, Shuyuan Zhang +2
Digital control has become increasingly prevalent in modern systems, making continuous-time plants controlled by discrete-time (digital) controllers ubiquitous and crucial across i…
Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller
Jiang Liu, Han Su, Yunjun Bai +4
Controller synthesis, including reset controller, feedback controller, and switching logic controller, provides an essential mechanism to guarantee the correctness and reliability…
Repairing Deep Neural Networks Based on Behavior Imitation
Zhen Liang, Taoran Wu, Changyuan Zhao +4
The increasing use of deep neural networks (DNNs) in safety-critical systems has raised concerns about their potential for exhibiting ill-behaviors. While DNN verification and test…
Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets
Jianqiang Ding, Taoran Wu, Yuping Qian +2
In this paper, we propose an approach for synthesizing provable reach-avoid controllers, which drive a deterministic system operating in an unknown environment to safely reach a de…
Reach-avoid Controllers Synthesis for Safety Critical Systems
Bai Xue
In this paper we propose sufficient conditions to synthesizing reach-avoid controllers for deterministic systems modelled by ordinary differential equations and stochastic systems…