Formalization of Robust Strictly Positive Real Synthesis for Fourth-Order Interval Polynomial Families

Contributed by Tiancheng Xu, Wensheng Yu

Source files

Download source .zip

Back to the main record