Time triggered stochastic hybrid systems with nonlinear continuous dynamics | IEEE Conference Publication | IEEE Xplore