HYPE with stochastic events

Details HYPE with stochastic events HYPE with stochastic events

2011-07-06

arxiv.org/abs/1107.1233v1

EPTCS 57, 2011, pp. 120-133

Computer Science

Logic in Computer Science

In Proceedings QAPL 2011, arXiv:1107.0746

Scientific paper

10.4204/EPTCS.57.9

The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, each flow or influence affecting a variable is modelled separately and the overall behaviour of the system then emerges as the composition of these flows. The discrete behaviour of the system is captured by instantaneous actions which might be urgent, taking effect as soon as some activation condition is satisfied, or non-urgent meaning that they can tolerate some (unknown) delay before happening. In this paper we refine the notion of non-urgent actions, to make such actions governed by a probability distribution. As a consequence of this we now give HYPE a semantics in terms of Transition-Driven Stochastic Hybrid Automata, which are a subset of a general class of stochastic processes termed Piecewise Deterministic Markov Processes.

Affiliated with

Also associated with

No associations

Rating

HYPE with stochastic events does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with HYPE with stochastic events, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and HYPE with stochastic events will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-678990