Bounding the State Covariance Matrix for a Randomly Switching Linear System with Noise. - Yongeun Yoon; Corbin Klett; Eric Feron (CoRR, 2019)

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. - Matthew Abate; Corbin Klett; Samuel Coogan 001; Eric Feron (ACC, 2020)

Bounding the State Covariance Matrix for Switched Linear Systems with Noise. - Corbin Klett; Matthew Abate; Yongeun Yoon; Samuel Coogan 001; Eric Feron (ACC, 2020)

Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. - Matthew Abate; Corbin Klett; Samuel Coogan 001; Eric Feron (CoRR, 2020)

Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. - Matthew Abate; Corbin Klett; Samuel Coogan 001; Eric Feron (ACC, 2021)

A Numerical Method to Compute Stability Margins of Switching Linear Systems. - Corbin Klett; Matthew Abate; Samuel Coogan 001; Eric Feron (ACC, 2021)

Towards Tractable Methods for Formal Verification of Autonomy in Aerospace Systems. - Corbin Klett (2022)

Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions. - Matthew Abate; Mark Mote; Mehregan Dor; Corbin Klett; Sean Phillips; Kendra Lang; Panagiotis Tsiotras; Eric Feron; Samuel Coogan 001 (IEEE Trans. Control. Syst. Technol., 2024)