All four stages of Traxus' second priority contract.
Abstract: In this article, the problem of reachable set (RS) synthesis for a class of nonlinear delayed hidden semi-Markov jump systems with actuator saturation and multiple cyberattacks is addressed.