Modeling Hybrid Systems with Stochastic Events in HYPE

Luca Bortolussi; Vashti Galpin; Jane Hillston

Modeling Hybrid Systems with Stochastic Events in HYPE

Luca Bortolussi, Vashti Galpin, Jane Hillston

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, the semantics of HYPE was defined in terms of (non)deterministic hybrid systems. Here we extend the language adding stochastic events, hence obtaining a semantics in terms of Transition Driven Stochastic Hybrid Automata, a subset of a general class of stochastic process termed Piecewise Deterministic Markov Processes. The definition of stochastic HYPE is discussed by means of an example of a delay tolerant network.

Original language	English
Title of host publication	Proceedings of the 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
Pages	24-28
Number of pages	5
Publication status	Published - 2010

Access to Document

BGH10aFinal published version, 226 KBLicence: Creative Commons: Attribution (CC-BY)

Cite this

@inproceedings{4ab60d5ba36146668233fe23da37e21e,

title = "Modeling Hybrid Systems with Stochastic Events in HYPE",

abstract = "The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, the semantics of HYPE was defined in terms of (non)deterministic hybrid systems. Here we extend the language adding stochastic events, hence obtaining a semantics in terms of Transition Driven Stochastic Hybrid Automata, a subset of a general class of stochastic process termed Piecewise Deterministic Markov Processes. The definition of stochastic HYPE is discussed by means of an example of a delay tolerant network. ",

author = "Luca Bortolussi and Vashti Galpin and Jane Hillston",

year = "2010",

language = "English",

pages = "24--28",

booktitle = "Proceedings of the 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)",

}

TY - GEN

T1 - Modeling Hybrid Systems with Stochastic Events in HYPE

AU - Bortolussi, Luca

AU - Galpin, Vashti

AU - Hillston, Jane

PY - 2010

Y1 - 2010

N2 - The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, the semantics of HYPE was defined in terms of (non)deterministic hybrid systems. Here we extend the language adding stochastic events, hence obtaining a semantics in terms of Transition Driven Stochastic Hybrid Automata, a subset of a general class of stochastic process termed Piecewise Deterministic Markov Processes. The definition of stochastic HYPE is discussed by means of an example of a delay tolerant network.

AB - The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, the semantics of HYPE was defined in terms of (non)deterministic hybrid systems. Here we extend the language adding stochastic events, hence obtaining a semantics in terms of Transition Driven Stochastic Hybrid Automata, a subset of a general class of stochastic process termed Piecewise Deterministic Markov Processes. The definition of stochastic HYPE is discussed by means of an example of a delay tolerant network.

M3 - Conference contribution

SP - 24

EP - 28

BT - Proceedings of the 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)

ER -

Modeling Hybrid Systems with Stochastic Events in HYPE

Abstract

Access to Document

Fingerprint

Cite this