The safety concept for clock constraints has already been coalgebraically studied for fully deterministic cyber-physical systems (CPS). But the corresponding control systems, as a rule, cannot be implemented in practice. There are many reasons for this, and the main one is the inability to collect accurate information about the state of the system in real-time. In this article, the theory of deterministic systems is generalised to the case of stochastic systems. The key tool for this generalisation is the use of the distribution monad. The advantage of the proposed approach is that it ensures that the previously proposed structure can be implemented in real-time systems that behaviour cannot be specified based on a deterministic approach.