From Raw Data to Safety: Reducing Conservatism by Set Expansion
Abstract: In response to safety concerns associated with learning-based algorithms, safety filters have been proposed as a modular technique. Generally, these filters heavily rely on the system's model, which is contradictory if they are intended to enhance a data-driven or end-to-end learning solution. This paper extends our previous work, a purely Data-Driven Safety Filter (DDSF) based on Willems' lemma, to an extremely short-sighted and non-conservative solution. Specifically, we propose online and offline sample-based methods to expand the safe set of DDSF and reduce its conservatism. Since this method is defined in an input-output framework, it can systematically handle both unknown and time-delay LTI systems using only one single batch of data. To evaluate its performance, we apply the proposed method to a time-delay system under various settings. The simulation results validate the effectiveness of the set expansion algorithm in generating a notably large input-output safe set, resulting in safety filters that are not conservative, even with an extremely short prediction horizon.
- Control barrier functions: Theory and applications. In 2019 18th European control conference (ECC), pages 3420–3431. IEEE, 2019.
- CasADi – A software framework for nonlinear optimization and optimal control. Mathematical Programming Computation, 11(1):1–36, 2019. 10.1007/s12532-018-0139-4.
- Mohammad Bajelani and Klaske van Heusden. Data-driven safety filter: An input-output perspective. arXiv preprint arXiv:2309.00189, 2023.
- Hamilton-Jacobi reachability: A brief overview and recent advances. In 2017 IEEE 56th Annual Conference on Decision and Control (CDC), pages 2242–2253. IEEE, 2017.
- Data-driven model predictive control with stability and robustness guarantees. IEEE Transactions on Automatic Control, 66(4):1702–1717, 2020a.
- Robust constraint satisfaction in data-driven MPC. In 2020 59th IEEE Conference on Decision and Control (CDC), pages 1260–1267. IEEE, 2020b.
- Data-driven tracking mpc for changing setpoints. IFAC-PapersOnLine, 53(2):6923–6930, 2020c. ISSN 2405-8963. 21st IFAC World Congress.
- On the design of terminal ingredients for data-driven MPC. IFAC-PapersOnLine, 54(6):257–263, 2021.
- Safe learning in robotics: From learning-based control to safe reinforcement learning. Annual Review of Control, Robotics, and Autonomous Systems, 5:411–444, 2022.
- Data-enabled predictive control: In the shallows of the DeePC. In 2019 18th European Control Conference (ECC), pages 307–312. IEEE, 2019.
- Florian Dörfler. Data-driven control: Part two of two: Hot take: Why not go with models? IEEE Control Systems Magazine, 43(6):27–31, 2023.
- Scalable learning of safety guarantees for autonomous systems using Hamilton-Jacobi reachability. In 2021 IEEE International Conference on Robotics and Automation (ICRA), pages 5914–5920. IEEE, 2021.
- Learning-based model predictive control: Toward safe learning in control. Annual Review of Control, Robotics, and Autonomous Systems, 3:269–296, 2020.
- Towards flight envelope protection for the nasa tiltwing evtol flight mode transition using Hamilton–Jacobi reachability. Journal of the American Helicopter Society, 2023.
- State space models vs. multi-step predictors in predictive control: Are state space models complicating safe data-driven designs? In 2022 IEEE 61st Conference on Decision and Control (CDC), pages 491–498. IEEE, 2022.
- Behavioral systems theory in data-driven analysis, signal processing, and control. Annual Reviews in Control, 52:42–64, 2021.
- Exact and approximate modeling of linear systems: A behavioral approach. SIAM, 2006.
- Safety-critical control with bounded inputs via reduced order models. arXiv preprint arXiv:2303.03247, 2023.
- Learning model predictive control for iterative tasks: A computationally efficient approach for linear system. IFAC-PapersOnLine, 50(1):3142–3147, 2017a.
- Learning model predictive control for iterative tasks. a data-driven control framework. IEEE Transactions on Automatic Control, 63(7):1883–1896, 2017b.
- A predictive safety filter for learning-based racing control. IEEE Robotics and Automation Letters, 6(4):7635–7642, 2021.
- Linear model predictive safety certification for learning-based control. In 2018 IEEE Conference on Decision and Control (CDC), pages 7130–7135. IEEE, 2018.
- Data-driven safety filters: Hamilton-Jacobi reachability, control barrier functions, and predictive methods for uncertain systems. IEEE Control Systems Magazine, 43(5):137–177, 2023.
- A predictive safety filter for learning-based control of constrained nonlinear dynamical systems. Automatica, 129:109597, 2021.
- Safe learning of quadrotor dynamics using barrier certificates. In 2018 IEEE International Conference on Robotics and Automation (ICRA), pages 2460–2465, 2018.
- A note on persistency of excitation. Systems & Control Letters, 54(4):325–329, 2005.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.