Abstract: Reachable sets for a dynamical system describe collections of system states that can be reached in finite time, subject to system dynamics. They can be used to guarantee goal satisfaction in ...

Abstract: The well-known cumulative sum (CUSUM) sequential rule for abrupt model change detection in stochastic dynamic systems relies on the knowledge of the probability density functions of the ...