no code implementations • 12 Mar 2024 • Shaoru Chen, Lekan Molu, Mahyar Fazlyab
With a convex formulation of the barrier function synthesis, we propose to first learn an empirically well-behaved NN basis function and then apply a fine-tuning algorithm that exploits the convexity and counterexamples from the verification failure to find a valid barrier function with finite-step termination guarantees: if there exist valid barrier functions, the fine-tuning algorithm is guaranteed to find one in a finite number of iterations.
1 code implementation • 11 Jan 2024 • Shaoru Chen, Mahyar Fazlyab
Control Barrier Functions (CBFs) provide an elegant framework for designing safety filters for nonlinear control systems by constraining their trajectories to an invariant subset of a prespecified safe set.
no code implementations • 6 Nov 2023 • Anurag Koul, Shivakanth Sujit, Shaoru Chen, Ben Evans, Lili Wu, Byron Xu, Rajan Chari, Riashat Islam, Raihan Seraj, Yonathan Efroni, Lekan Molu, Miro Dudik, John Langford, Alex Lamb
Goal-conditioned planning benefits from learned low-dimensional representations of rich, high-dimensional observations.
1 code implementation • 16 Aug 2023 • Shaoru Chen, Kong Yao Chee, Nikolai Matni, M. Ani Hsieh, George J. Pappas
With the increase in data availability, it has been widely demonstrated that neural networks (NN) can capture complex system dynamics precisely in a data-driven manner.
no code implementations • 23 Sep 2022 • Shaoru Chen, Ning-Yuan Li, Victor M. Preciado, Nikolai Matni
In the proposed method, a time-varying feedback control policy is optimized such that the robust satisfaction of all constraints for the closed-loop system is guaranteed.
no code implementations • 23 Sep 2022 • Shaoru Chen, Victor M. Preciado, Mahyar Fazlyab
The arising application of neural networks (NN) in robotic systems has driven the development of safety verification methods for neural network dynamical systems (NNDS).
no code implementations • 20 Sep 2022 • Shuo Yang, Shaoru Chen, Victor M. Preciado, Rahul Mangharam
Learning-based controllers, such as neural network (NN) controllers, can show high empirical performance but lack formal safety guarantees.
2 code implementations • 21 Mar 2022 • Shaoru Chen, Victor M. Preciado, Manfred Morari, Nikolai Matni
However, it is challenging to design LTV state feedback controllers in the face of model uncertainty whose effects are difficult to bound.
1 code implementation • 10 Nov 2021 • Shaoru Chen, Nikolai Matni, Manfred Morari, Victor M. Preciado
We propose a robust model predictive control (MPC) method for discrete-time linear time-invariant systems with norm-bounded additive disturbances and model uncertainty.
no code implementations • 2 Oct 2021 • Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado
Estimating the region of attraction (ROA) of general nonlinear autonomous systems remains a challenging problem and requires a case-by-case analysis.
1 code implementation • 16 Jun 2021 • Shaoru Chen, Eric Wong, J. Zico Kolter, Mahyar Fazlyab
Analyzing the worst-case performance of deep neural networks against input perturbations amounts to solving a large-scale non-convex optimization problem, for which several past works have proposed convex relaxations as a promising alternative.
no code implementations • 22 Dec 2020 • Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado
By designing the learner and the verifier according to the analytic center cutting-plane method from convex optimization, we show that when the set of Lyapunov functions is full-dimensional in the parameter space, our method finds a Lyapunov function in a finite number of steps.
Optimization and Control