5 papers · 1 filter
Safe PDE Boundary Control with Neural Operators
Hanjiang Hu, Changliu Liu
The physical world dynamics are generally governed by underlying partial differential equations (PDEs) with unknown analytical forms in science and engineering problems. Neural net…
Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
Hanjiang Hu, Yujie Yang, Tianhao Wei +1
Control barrier functions (CBFs) are important in safety-critical systems and robot control applications. Neural networks have been used to parameterize and synthesize CBFs with bo…
Robust Tracking Control with Neural Network Dynamic Models under Input Perturbations
Huixuan Cheng, Hanjiang Hu, Changliu Liu
Robust control problems have significant practical implications since external disturbances can significantly impact the performance of control methods. Existing robust control met…
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
Tianhao Wei, Hanjiang Hu, Luca Marzari +4
Deep Neural Networks (DNN) are crucial in approximating nonlinear functions across diverse applications, ranging from image classification to control. Verifying specific input-outp…
Improving Policy Optimization via -Retrain
Luca Marzari, Priya L. Donti, Changliu Liu +1
We present -retrain, an exploration strategy encouraging a behavioral preference while optimizing policies with monotonic improvement guarantees. To this end, we intro…