Stochastic equivalence of CPDP-Automata and piecewise deterministic Markov processes

S.N. Strubbe; Arjan van der Schaft

Stochastic equivalence of CPDP-Automata and piecewise deterministic Markov processes

S.N. Strubbe, Arjan van der Schaft

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

CPDP is a class of automata designed for compositional specification/analysis of certain stochastic hybrid processes. We prove equivalence of the stochastic behaviors of CPDPs (newly defined here) and PDPs. With this result we obtain a clear stochastic processes semantics for CPDPs and we obtain the opportunity to use the powerful PDP analysis techniques in the context of the compositional framework CPDP.

Original language	Undefined
Title of host publication	Proceedings of the 16th IFAC World Congress
Editors	P Horacek, M Simandl, P Zitek
Place of Publication	Prague
Publisher	International Federation of Automatic Control
Pages	25-30
Number of pages	6
ISBN (Print)	0-08-045108-X
Publication status	Published - Jul 2005
Event	16th IFAC World Congress 2005 - Prague, Czech Republic Duration: 3 Jul 2005 → 8 Jul 2005 Conference number: 16 http://www.utia.cas.cz/news/608

Publication series

Name
Publisher	Elsevier
Volume	16

Conference

Conference	16th IFAC World Congress 2005
Country	Czech Republic
City	Prague
Period	3/07/05 → 8/07/05
Internet address	http://www.utia.cas.cz/news/608

Keywords

EWI-16868
compositional specification
Hybrid systems
(Communicating) Piecewise Deterministic Markov Processes
IR-69169
METIS-225131

Access to Document

Cite this

@inproceedings{9ed92419834e4500967fe57ce698eb48,

title = "Stochastic equivalence of CPDP-Automata and piecewise deterministic Markov processes",

abstract = "CPDP is a class of automata designed for compositional specification/analysis of certain stochastic hybrid processes. We prove equivalence of the stochastic behaviors of CPDPs (newly defined here) and PDPs. With this result we obtain a clear stochastic processes semantics for CPDPs and we obtain the opportunity to use the powerful PDP analysis techniques in the context of the compositional framework CPDP.",

keywords = "EWI-16868, compositional specification, Hybrid systems, (Communicating) Piecewise Deterministic Markov Processes, IR-69169, METIS-225131",

author = "S.N. Strubbe and {van der Schaft}, Arjan",

year = "2005",

month = jul,

language = "Undefined",

isbn = "0-08-045108-X",

publisher = "International Federation of Automatic Control",

pages = "25--30",

editor = "P Horacek and M Simandl and P Zitek",

booktitle = "Proceedings of the 16th IFAC World Congress",

note = "null ; Conference date: 03-07-2005 Through 08-07-2005",

url = "http://www.utia.cas.cz/news/608",

}

Strubbe, SN & van der Schaft, A 2005, Stochastic equivalence of CPDP-Automata and piecewise deterministic Markov processes. in P Horacek, M Simandl & P Zitek (eds), Proceedings of the 16th IFAC World Congress. International Federation of Automatic Control, Prague, pp. 25-30, 16th IFAC World Congress 2005, Prague, Czech Republic, 3/07/05. <http://eprints.eemcs.utwente.nl/secure2/16868/01/ifac-wc-2005016-01jul-0288stru.pdf>

Stochastic equivalence of CPDP-Automata and piecewise deterministic Markov processes. / Strubbe, S.N.; van der Schaft, Arjan.

Proceedings of the 16th IFAC World Congress. ed. / P Horacek; M Simandl; P Zitek. Prague : International Federation of Automatic Control, 2005. p. 25-30.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Stochastic equivalence of CPDP-Automata and piecewise deterministic Markov processes

AU - Strubbe, S.N.

AU - van der Schaft, Arjan

N1 - Conference code: 16

PY - 2005/7

Y1 - 2005/7

N2 - CPDP is a class of automata designed for compositional specification/analysis of certain stochastic hybrid processes. We prove equivalence of the stochastic behaviors of CPDPs (newly defined here) and PDPs. With this result we obtain a clear stochastic processes semantics for CPDPs and we obtain the opportunity to use the powerful PDP analysis techniques in the context of the compositional framework CPDP.

AB - CPDP is a class of automata designed for compositional specification/analysis of certain stochastic hybrid processes. We prove equivalence of the stochastic behaviors of CPDPs (newly defined here) and PDPs. With this result we obtain a clear stochastic processes semantics for CPDPs and we obtain the opportunity to use the powerful PDP analysis techniques in the context of the compositional framework CPDP.

KW - EWI-16868

KW - compositional specification

KW - Hybrid systems

KW - (Communicating) Piecewise Deterministic Markov Processes

KW - IR-69169

KW - METIS-225131

M3 - Conference contribution

SN - 0-08-045108-X

SP - 25

EP - 30

BT - Proceedings of the 16th IFAC World Congress

A2 - Horacek, P

A2 - Simandl, M

A2 - Zitek, P

PB - International Federation of Automatic Control

CY - Prague

Y2 - 3 July 2005 through 8 July 2005

ER -