Showing 2023Show all
3 papers · 1 filter
eess.SY2023
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…
cs.LG2023
Verifying Safety of Neural Networks from Topological Perspectives
Zhen Liang, Dejin Ren, Bai Xue +3
Neural networks (NNs) are increasingly applied in safety-critical systems such as autonomous vehicles. However, they are fragile and are often ill-behaved. Consequently, their beha…
math.OC2023
Model Predictive Control with Reach-avoid Analysis
Dejin Ren, Wanli Lu, Jidong Lv +2
In this paper we investigate the optimal controller synthesis problem, so that the system under the controller can reach a specified target set while satisfying given constraints.…