A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems

We consider the following question: given a continuous-time non-deterministic (not necessarily time-invariant) dynamical system, is it true that for each initial condition there exists a global-in-time trajectory. We study this question for a large class of systems, namely the class of complete non-deterministic Markovian systems. We show that for this class our question can be answered using analysis of existence of locally defined trajectories in a neighborhood of each time moment.