Prefer a chat interface with context about you and your work?
Lyapunov function computation for autonomous linear stochastic differential equations using sum-of-squares programming
We study the global asymptotic stability in probability of the zero solution of linear stochastic differential equations with constant coefficients. We develop a sum-of-squares program that verifies whether a parameterized candidate Lyapunov function is in fact a global Lyapunov function for such a system. Our class of candidate Lyapunov functions …