| Lyapunov differential equation hierarchy and polynomial Lyapunov functions for switched linear systems M Abate, C Klett, S Coogan, E Feron 2020 American Control Conference (ACC), 5322-5327, 2020 | 8 | 2020 |
| Bounding the state covariance matrix for switched linear systems with noise C Klett, M Abate, Y Yoon, S Coogan, E Feron 2020 American Control Conference (ACC), 2876-2881, 2020 | 5 | 2020 |
| Pointwise-in-time analysis and non-quadratic lyapunov functions for linear time-varying systems M Abate, C Klett, S Coogan, E Feron 2021 American Control Conference (ACC), 3550-3555, 2021 | 4 | 2021 |
| Formal verification applied to spacecraft attitude control K Lang, C Klett, K Hawkins, E Feron, P Tsiotras, S Phillips AIAA Scitech 2021 Forum, 1126, 2021 | 4 | 2021 |
| Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions M Abate, M Mote, M Dor, C Klett, S Phillips, K Lang, P Tsiotras, E Feron, ... IEEE Transactions on Control Systems Technology, 2023 | 3 | 2023 |
| A numerical method to compute stability margins of switching linear systems C Klett, M Abate, S Coogan, E Feron 2021 American Control Conference (ACC), 864-869, 2021 | 2 | 2021 |
| Performance analysis and non-quadratic lyapunov functions for linear time-varying systems M Abate, C Klett, S Coogan, E Feron arXiv preprint arXiv:2009.00727, 2020 | 2 | 2020 |
| Towards tractable methods for formal verification of autonomy in aerospace systems C Klett Georgia Institute of Technology, 2022 | 1 | 2022 |
| Hierarchy of Quadratic Lyapunov Functions for Linear Time-Varying and Related Systems H Abdelraouf, E Feron, C Klett, M Abate, S Coogan Journal of Guidance, Control, and Dynamics 47 (4), 597-608, 2024 | | 2024 |
