Corbin Klett

According to our database1, Corbin Klett authored at least 8 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions.
IEEE Trans. Control. Syst. Technol., May, 2024

2022
Towards Tractable Methods for Formal Verification of Autonomy in Aerospace Systems.
PhD thesis, 2022

2021
A Numerical Method to Compute Stability Margins of Switching Linear Systems.
Proceedings of the 2021 American Control Conference, 2021

Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems.
Proceedings of the 2021 American Control Conference, 2021

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

Bounding the State Covariance Matrix for Switched Linear Systems with Noise.
Proceedings of the 2020 American Control Conference, 2020

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems.
Proceedings of the 2020 American Control Conference, 2020

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


  Loading...