Funder
Knut and Alice Wallenberg Foundation
European Research Council
Swedish Research Council
Horizon Europe
Horizon 2020
Reference26 articles.
1. Abate, A., Ahmed, D., Edwards, A., Giacobbe, M., & Peruffo, A. (2021). FOSSIL: a software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks. In Proceedings of the 24th international conference on hybrid systems: computation and control (pp. 1–11).
2. Control barrier function based quadratic programs for safety critical systems;Ames;IEEE Transactions on Automatic Control,2016
3. Networks of dissipative systems: compositional certification of stability, performance, and safety;Arcak,2016
4. Hamilton-Jacobi reachability: A brief overview and recent advances;Bansal,2017
5. Robust adaptive control of feedback linearizable MIMO nonlinear systems with prescribed performance;Bechlioulis;IEEE Transactions on Automatic Control,2008