#

kalman-yakubovich-popov-lemma

Here is 1 public repository matching this topic...

AEjonanonymous / Improving-on-Popov

Machine-Certified Absolute Stability for High-Dimensional Lur'e Systems via Lean 4 & Comparator.

control-systems linear-time-invariant comparator high-dimensional aerospace-engineering mathlib control-systems-engineering hurwitz-criteria lean4 guidance-navigation-control ai-assisted-research entry-descent-landing machine-verification numerical-matrix-solvers circle-criterion popov-absolute-stability-theorem kalman-yakubovich-popov-lemma lure-systems

Updated Sep 25, 2026
Lean

Add this topic to your repo

To associate your repository with the kalman-yakubovich-popov-lemma topic, visit your repo's landing page and select "manage topics."