Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming
Research article (SIAM Journal on Control and Optimization, 2021) · cited 10× · AI/ML