Corbin Klett

According to our database, Corbin Klett authored at least 7 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Towards Tractable Methods for Formal Verification of Autonomy in Aerospace Systems.

Corbin Klett

PhD thesis, 2022

2021

A Numerical Method to Compute Stability Margins of Switching Linear Systems.

Corbin Klett, Matthew Abate, Samuel Coogan, Eric Feron

Proceedings of the 2021 American Control Conference, 2021

Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems.

Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron

Proceedings of the 2021 American Control Conference, 2021

2020

Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems.

Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron

CoRR, 2020

Bounding the State Covariance Matrix for Switched Linear Systems with Noise.

Corbin Klett, Matthew Abate, Yongeun Yoon, Samuel Coogan, Eric Feron

Proceedings of the 2020 American Control Conference, 2020

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems.

Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron

Proceedings of the 2020 American Control Conference, 2020

2019

Bounding the State Covariance Matrix for a Randomly Switching Linear System with Noise.

Yongeun Yoon, Corbin Klett, Eric Feron

CoRR, 2019