research
∙
03/17/2023
Zero-shot Transferable and Persistently Feasible Safe Control for High Dimensional Systems by Consistent Abstraction
Safety is critical in robotic tasks. Energy function based methods have ...
share
research
∙
03/17/2023
Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation
We study the problem of verification and synthesis of robust control bar...
research
∙
09/14/2022
Robust Safe Control for Uncertain Dynamic Models
Model mismatches prevail in real-world applications. Hence it is importa...
research
∙
07/27/2022