Algorithmic bisimulation for communicating piecewise deterministic Markov processes

S.N. Strubbe; Arjan van der Schaft

doi:10.1109/CDC.2005.1583139

Algorithmic bisimulation for communicating piecewise deterministic Markov processes

S.N. Strubbe
, Arjan van der Schaft

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

67 Downloads (Pure)

Abstract

In this paper we present an algorithm for finding a bisimulation relation for stochastic hybrid systems from the class of CPDPs (Communicating Piecewise Deterministic Markov Processes). We prove that the fixed point of the algorithm forms a bisimulation on the state space of the CPDP. We give sufficient conditions on the continuous dynamics and the transition structure of a CPDP, for the computation of the algorithm to be decidable.

Original language	English
Title of host publication	Proceedings of the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05)
Publisher	IEEE
Pages	6109-6114
Number of pages	6
ISBN (Print)	0-7803-9568-9
DOIs	https://doi.org/10.1109/CDC.2005.1583139
Publication status	Published - Dec 2005
Event	44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005 - Melia Seville, Seville, Spain Duration: 12 Dec 2005 → 15 Dec 2005 Conference number: 44

Publication series

Name	Proceedings of the IEEE Conference on Decision and Control
Publisher	IEEE
Volume	2005
ISSN (Print)	0191-2216

Conference

Conference	44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005
Abbreviated title	CDC-ECC
Country/Territory	Spain
City	Seville
Period	12/12/05 → 15/12/05

Keywords

Communicating Piecewise Deterministic Markov Processes (CPDPs)

Access to Document

10.1109/CDC.2005.1583139

Strubbe2005algorithmicFinal published version, 220 KB

Cite this

Strubbe, S. N., & van der Schaft, A. (2005). Algorithmic bisimulation for communicating piecewise deterministic Markov processes. In Proceedings of the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05) (pp. 6109-6114). Article 10.1109/CDC.2005.1583139 (Proceedings of the IEEE Conference on Decision and Control; Vol. 2005). IEEE. https://doi.org/10.1109/CDC.2005.1583139

@inproceedings{9c2faed999bb4474bc437cbbbcabf3b1,

title = "Algorithmic bisimulation for communicating piecewise deterministic Markov processes",

abstract = "In this paper we present an algorithm for finding a bisimulation relation for stochastic hybrid systems from the class of CPDPs (Communicating Piecewise Deterministic Markov Processes). We prove that the fixed point of the algorithm forms a bisimulation on the state space of the CPDP. We give sufficient conditions on the continuous dynamics and the transition structure of a CPDP, for the computation of the algorithm to be decidable.",

keywords = "Communicating Piecewise Deterministic Markov Processes (CPDPs)",

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

year = "2005",

month = dec,

doi = "10.1109/CDC.2005.1583139",

language = "English",

isbn = "0-7803-9568-9",

series = "Proceedings of the IEEE Conference on Decision and Control",

publisher = "IEEE",

pages = "6109--6114",

booktitle = "Proceedings of the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05)",

address = "United States",

note = "44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005, CDC-ECC ; Conference date: 12-12-2005 Through 15-12-2005",

}

Strubbe, SN & van der Schaft, A 2005, Algorithmic bisimulation for communicating piecewise deterministic Markov processes. in Proceedings of the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05)., 10.1109/CDC.2005.1583139, Proceedings of the IEEE Conference on Decision and Control, vol. 2005, IEEE, pp. 6109-6114, 44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005, Seville, Spain, 12/12/05. https://doi.org/10.1109/CDC.2005.1583139

Algorithmic bisimulation for communicating piecewise deterministic Markov processes. / Strubbe, S.N.; van der Schaft, Arjan.
Proceedings of the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05). IEEE, 2005. p. 6109-6114 10.1109/CDC.2005.1583139 (Proceedings of the IEEE Conference on Decision and Control; Vol. 2005).

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

TY - GEN

T1 - Algorithmic bisimulation for communicating piecewise deterministic Markov processes

AU - Strubbe, S.N.

AU - van der Schaft, Arjan

N1 - Conference code: 44

PY - 2005/12

Y1 - 2005/12

N2 - In this paper we present an algorithm for finding a bisimulation relation for stochastic hybrid systems from the class of CPDPs (Communicating Piecewise Deterministic Markov Processes). We prove that the fixed point of the algorithm forms a bisimulation on the state space of the CPDP. We give sufficient conditions on the continuous dynamics and the transition structure of a CPDP, for the computation of the algorithm to be decidable.

AB - In this paper we present an algorithm for finding a bisimulation relation for stochastic hybrid systems from the class of CPDPs (Communicating Piecewise Deterministic Markov Processes). We prove that the fixed point of the algorithm forms a bisimulation on the state space of the CPDP. We give sufficient conditions on the continuous dynamics and the transition structure of a CPDP, for the computation of the algorithm to be decidable.

KW - Communicating Piecewise Deterministic Markov Processes (CPDPs)

U2 - 10.1109/CDC.2005.1583139

DO - 10.1109/CDC.2005.1583139

M3 - Conference contribution

SN - 0-7803-9568-9

T3 - Proceedings of the IEEE Conference on Decision and Control

SP - 6109

EP - 6114

BT - Proceedings of the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05)

PB - IEEE

T2 - 44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005

Y2 - 12 December 2005 through 15 December 2005

ER -

Strubbe SN, van der Schaft A. Algorithmic bisimulation for communicating piecewise deterministic Markov processes. In Proceedings of the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05). IEEE. 2005. p. 6109-6114. 10.1109/CDC.2005.1583139. (Proceedings of the IEEE Conference on Decision and Control). doi: 10.1109/CDC.2005.1583139

Algorithmic bisimulation for communicating piecewise deterministic Markov processes

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this