Given the Lyapunov matrix equation

where σ is some positive scalar, a necessary and sufficient condition for the real parts of the eigenvalues of

to be less than -σ is that

is negative definite. The condition provides an upper bound to the solution of the Lyapunov matrix equation and is useful in the design of minimum-time or minimum-cost linear control systems.