On finite precision Lyapunov functions for companion matrices

The finite precision stability of a discrete-time system realized in companion form is shown to be closely connected to a positive real character of a related all-pole-minus-one-half transfer function. This is shown as a consequence of some novel characterizations of solutions to a Lyapunov equation for companion matrices. The results are of practical significance as companion matrix state recursions are cheap to implement.<
>