Follow
Corbin Klett
Corbin Klett
Verified email at gatech.edu
Title
Cited by
Cited by
Year
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
72020
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
62020
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
42020
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
22021
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
22021
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
12021
TOWARDS TRACTABLE METHODS FOR FORMAL VERIFICATION OF AUTONOMY IN AEROSPACE SYSTEMS
C Klett
Georgia Institute of Technology, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–7