collaborators

1 paper

eess.SY2026

Elementwise Positivity of the Solution to Lyapunov Equation for Hurwitz Companion Matrices

Miaomiao Wang, Patrizio Colaneri, Jie Chen

We prove, with the aid of AI, that for every real symmetric forcing matrix , the unique solution of a continuous-time Lyapunov equation is entrywise nonnegative whenever…