Formal modeling and performance evaluation for hybrid systems:a probabilistic hybrid process algebra-based approach

Fujun Wang, Zining Cao, Lixing Tan +1

Probabilistic behavior is omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of various reasons, like uncertain environmen…