CertiControl
Certificate-based analysis for continuous-time LTI systems, exposing the evidence behind controllability, observability, stability, LQR, and Kalman decomposition.
Certificate-based analysis for continuous-time LTI systems, exposing the evidence behind controllability, observability, stability, LQR, and Kalman decomposition.
Log in or sign up for Devpost to join the conversation.