{"id":"https://openalex.org/W2110042944","doi":"https://doi.org/10.1109/cdc.2005.1583139","title":"Algorithmic bisimulation for Communicating Piecewise Deterministic Markov Processes","display_name":"Algorithmic bisimulation for Communicating Piecewise Deterministic Markov Processes","publication_year":2006,"publication_date":"2006-10-04","ids":{"openalex":"https://openalex.org/W2110042944","doi":"https://doi.org/10.1109/cdc.2005.1583139","mag":"2110042944"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2005.1583139","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2005.1583139","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th IEEE Conference on Decision and Control","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.rug.nl/en/publications/3711a6b1-7c6b-445b-a75e-7ead0e209134","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108508487","display_name":"Stefan Strubbe","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"S. Strubbe","raw_affiliation_strings":["Faculty of Electrical Engineering, and Computer Science Computer Science, University of Twente, Netherlands","Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente. s.n.strubbe@math.utwente.nl"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, and Computer Science Computer Science, University of Twente, Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente. s.n.strubbe@math.utwente.nl","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005018540","display_name":"Arjan van der Schaft","orcid":"https://orcid.org/0000-0002-2383-9234"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"A. van der Schaft","raw_affiliation_strings":["Institute for Mathematics and Computer Science, University of Groningam, Netherlands","university of Groningen"],"affiliations":[{"raw_affiliation_string":"Institute for Mathematics and Computer Science, University of Groningam, Netherlands","institution_ids":[]},{"raw_affiliation_string":"university of Groningen","institution_ids":["https://openalex.org/I169381384"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5108508487"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":null,"apc_paid":null,"fwci":0.6741,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.71875691,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3414","issue":null,"first_page":"6109","last_page":"6114"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.9488173723220825},{"id":"https://openalex.org/keywords/piecewise","display_name":"Piecewise","score":0.688949704170227},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6653404831886292},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5788373947143555},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5456661581993103},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.5173008441925049},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5121846199035645},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5081770420074463},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4892580509185791},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.475511372089386},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.46226799488067627},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.4618024230003357},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.39151865243911743},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10408243536949158}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.9488173723220825},{"id":"https://openalex.org/C164660894","wikidata":"https://www.wikidata.org/wiki/Q2037833","display_name":"Piecewise","level":2,"score":0.688949704170227},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6653404831886292},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5788373947143555},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5456661581993103},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.5173008441925049},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5121846199035645},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5081770420074463},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4892580509185791},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.475511372089386},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.46226799488067627},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.4618024230003357},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39151865243911743},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10408243536949158},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/cdc.2005.1583139","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2005.1583139","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th IEEE Conference on Decision and Control","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.rug.nl:openaire/3711a6b1-7c6b-445b-a75e-7ead0e209134","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/3711a6b1-7c6b-445b-a75e-7ead0e209134","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Strubbe, S & Schaft, A V D 2005, Algorithmic bisimulation for Communicating Piecewise Deterministic Markov Processes. in Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:openaire/9c2faed9-99bb-4474-bc43-7cbbbcabf3b1","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/9c2faed9-99bb-4474-bc43-7cbbbcabf3b1","pdf_url":"https://ris.utwente.nl/ws/files/229231939/Strubbe2005algorithmic.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"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)., 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","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.rug.nl:openaire/3711a6b1-7c6b-445b-a75e-7ead0e209134","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/3711a6b1-7c6b-445b-a75e-7ead0e209134","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Strubbe, S & Schaft, A V D 2005, Algorithmic bisimulation for Communicating Piecewise Deterministic Markov Processes. in Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W91439453","https://openalex.org/W258022877","https://openalex.org/W1503887525","https://openalex.org/W1503973138","https://openalex.org/W1597655219","https://openalex.org/W1976268573","https://openalex.org/W2090771707","https://openalex.org/W2096603442","https://openalex.org/W2108677969","https://openalex.org/W2112345624","https://openalex.org/W2112446565","https://openalex.org/W2140907939","https://openalex.org/W2158974070","https://openalex.org/W2159202155","https://openalex.org/W2491539874","https://openalex.org/W3110256801","https://openalex.org/W3141216424","https://openalex.org/W4247619688","https://openalex.org/W4285719527","https://openalex.org/W6603758109","https://openalex.org/W6635976569","https://openalex.org/W6677126270"],"related_works":["https://openalex.org/W2107608134","https://openalex.org/W2136485937","https://openalex.org/W1598641851","https://openalex.org/W1965551437","https://openalex.org/W1514211561","https://openalex.org/W1550244413","https://openalex.org/W2125768798","https://openalex.org/W1554045856","https://openalex.org/W2129909535","https://openalex.org/W1601172863"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"we":[3],"present":[4],"an":[5],"algorithm":[6,34,65],"for":[7,12,60],"finding":[8],"a":[9,36,58],"bisimulation":[10,37],"relation":[11],"stochastic":[13],"hybrid":[14],"systems":[15],"from":[16],"the":[17,29,33,39,43,50,54,61,64],"class":[18],"of":[19,32,42,57,63],"CPDPs":[20],"(Communicating":[21],"Piecewise":[22],"Deterministic":[23],"Markov":[24],"Processes).":[25],"We":[26,45],"prove":[27],"that":[28],"fixed":[30],"point":[31],"forms":[35],"on":[38,49],"state":[40],"space":[41],"CPDP.":[44],"give":[46],"sufficient":[47],"conditions":[48],"continuous":[51],"dynamics":[52],"and":[53],"transition":[55],"structure":[56],"CPDP,":[59],"computation":[62],"to":[66],"be":[67],"decidable.":[68]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}