9 citations · 31 across the 25 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
eess.SY2021
Safe Control of Arbitrary Nonlinear Systems using Dynamic Extension
Yihang Yao, Tianhao Wei, Changliu Liu
Safe control for control-affine systems has been extensively studied. However, due to the complexity of system dynamics, it is challenging and time-consuming to apply these methods…
cs.RO2021★ 8 cited
Safe Control with Neural Network Dynamic Models
Tianhao Wei, Changliu Liu
Safety is critical in autonomous robotic systems. A safe control law ensures forward invariance of a safe set (a subset in the state space). It has been extensively studied regardi…
cs.LG2021
Online Verification of Deep Neural Networks under Domain Shift or Network Updates
Tianhao Wei, Changliu Liu
Although neural networks are widely used, it remains challenging to formally verify the safety and robustness of neural networks in real-world applications. Existing methods are de…