3 search results - page 1 / 1 » Bisimulation for Communicating Piecewise Deterministic Marko... |
HYBRID
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes forme...
HYBRID
2004
Springer
13 years 10 months ago
2004
Springer
We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a contin...
SIGMETRICS
2010
ACM
13 years 5 months ago
2010
ACM
Abstract Due to complexity and intractability reasons, most of the analytical studies on the reliability of communication paths in mobile ad hoc networks are based on the assumptio...