{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:12:22Z","timestamp":1729674742583,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2005.1583139","type":"proceedings-article","created":{"date-parts":[[2006,10,4]],"date-time":"2006-10-04T14:20:03Z","timestamp":1159971603000},"page":"6109-6114","source":"Crossref","is-referenced-by-count":1,"title":["Algorithmic bisimulation for Communicating Piecewise Deterministic Markov Processes"],"prefix":"10.1109","author":[{"given":"S.","family":"Strubbe","sequence":"first","affiliation":[]},{"given":"A.","family":"van der Schaft","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Compositional modelling of stochastic hybrid systems","year":"2005","author":"strubbe","key":"15"},{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1007\/978-3-540-31954-2_40","article-title":"Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs)","volume":"3414","author":"strubbe","year":"2005","journal-title":"ser Lecture Notes in Computer Science"},{"key":"11","article-title":"Equivalence of hybrid dynamical systems","author":"van der schaft","year":"2004","journal-title":"Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems"},{"key":"12","first-page":"349","article-title":"Communicating Piecewise Deterministic Markov Processes","author":"strubbe","year":"2003","journal-title":"Preprints Conference on Analysis and Design of Hybrid Systems ADHS 03"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-4483-2"},{"key":"2","first-page":"353","article-title":"Piecewise Deterministic Markov Processes: A general class of non-diffusion stochastic models","volume":"46","author":"davis","year":"1984","journal-title":"J R Statist Soc (B)"},{"article-title":"Algebras and automata for timed and stochastic systems","year":"1997","author":"d'argenio","key":"1"},{"key":"10","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1007\/978-3-540-24743-2_37","article-title":"Bisimulation of dynamical systems","volume":"2993","author":"van der schaft","year":"2004","journal-title":"ser Lecture Notes in Computer Science"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90030-6"},{"key":"5","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/3-540-49163-5_10","article-title":"Hybrid systems with finite bisimulations","volume":"1567","author":"lafferriere","year":"1999","journal-title":"Lecture Notes in Computer Science"},{"key":"4","article-title":"Interactive Markov Chains","volume":"2428","author":"hermanns","year":"2002","journal-title":"ser Lecture Notes in Computer Science"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1430240"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.07.003"}],"event":{"name":"44th IEEE Conference on Decision and Control","location":"Seville, Spain"},"container-title":["Proceedings of the 44th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10559\/33412\/01583139.pdf?arnumber=1583139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T09:51:57Z","timestamp":1497693117000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1583139\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cdc.2005.1583139","relation":{},"subject":[]}}