Event-based reachable set synthesis for delayed nonlinear semi-Markov systems

Event-based reachable set synthesis for delayed nonlinear semi-Markov systems | Litlas