TY - JOUR PY - 2020 J2 - IEEE Trans. Autom. Control SN - 0018-9286 T2 - IEEE Transactions on Automatic Control VL - 65 IS - 1 DO - 10.1109/TAC.2019.2914968 TI - On Algebraic Proofs of Stability for Homogeneous Vector Fields UR - https://www.cheric.org/research/tech/periodicals/view.php?seq=1787156 KW - Lyapunov methods KW - Asymptotic stability KW - Linear systems KW - Programming KW - Testing KW - Heart rate variability KW - Mathematical model KW - Algebraic methods in control KW - converse lyapunov theorems KW - nonlinear dynamics KW - rational Lyapunov functions KW - semidefinite programming AU - Ahmadi AA AU - El Khadir B SP - 325 EP - 332 LA - English ER -