{"id":"arxiv/2605.28242","url":"https://arxiv.org/abs/2605.28242","tags":["math.OC"],"score":0,"title":"Hautus-Type Criteria for Controllability and Stabilizability of Backward-Structured Stochastic Systems","domain":"math.OC","source":"arxiv","authors":["Jingrui Sun"],"reviews":0,"subject":"math.OC","summary":"This paper develops sharp Hautus-type criteria, stochastic counterparts of the classical Popov-Belevitch-Hautus test, for exact controllability and stabilizability of backwardstructured stochastic linear systems. The main finding is that the stochastic Hautus obstruction is not a left eigenvector, as in deterministic linear systems, nor an arbitrary symmetric eigenmatrix, but a positive semidefinite eigenmatrix of a Lyapunov-type operator. We prove that exact controllability is equivalent to the absence of such nonzero positive semidefinite eigenmatrices that are orthogonal to the control…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-27","reactions":{}}