Author:
Berger Guillaume O.,Sankaranarayanan Sriram
Funder
National Science Foundation
Belgian American Educational Foundation
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference41 articles.
1. Formal synthesis of Lyapunov neural networks;Abate;IEEE Control Systems Letters,2021
2. Lower bounds on complexity of Lyapunov functions for switched linear systems;Ahmadi;Nonlinear Analysis. Hybrid Systems,2016
3. Automated and sound synthesis of Lyapunov functions with SMT solvers;Ahmed,2020
4. A convex condition for robust stability analysis via polyhedral Lyapunov functions;Ambrosino;SIAM Journal on Control and Optimization,2012
5. Linear systems;Antsaklis,2006
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algorithms for Identifying Flagged and Guarded Linear Systems;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14
2. Smoothed Piecewise Linear Lyapunov Function for the First Order Dynamical Systems;Lecture Notes in Networks and Systems;2024