Continuous-time probabilistic automata

The concept of a continuous-time probabilistic automaton is presented in the paper. The probability distribution over the state space of this kind of automaton can change in each moment of the considered time interval. In this case, such notions as input word, event, regular event undergo respective modifications. It is also useful to consider the infinitesimal-state diagram instead of the ordinary one.For the automata thus defined, the events accepted, the conditions of connectivity, as well as their discrete approximations are discussed.To conclude, examples of systems are given that belong to the axiomatic framework of continuous-time probabilistic automata