{"id":"https://openalex.org/W1536564926","doi":"https://doi.org/10.1109/cdc.2005.1583138","title":"Stochastic semantics for Communicating Piecewise Deterministic Markov Processes","display_name":"Stochastic semantics for Communicating Piecewise Deterministic Markov Processes","publication_year":2006,"publication_date":"2006-10-04","ids":{"openalex":"https://openalex.org/W1536564926","doi":"https://doi.org/10.1109/cdc.2005.1583138","mag":"1536564926"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2005.1583138","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2005.1583138","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/98bf343d-e359-4413-981c-7642fe469508","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, Mathematics and 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, Mathematics and 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":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.68215375,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"6103","last_page":"6108"},"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.9995999932289124,"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.9995999932289124,"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.9991999864578247,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9922999739646912,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/piecewise","display_name":"Piecewise","score":0.7643455862998962},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7004485726356506},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6959435939788818},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.6373612880706787},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5916796922683716},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5282812714576721},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5249576568603516},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4924865663051605},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.47547951340675354},{"id":"https://openalex.org/keywords/broadcasting","display_name":"Broadcasting (networking)","score":0.4584375023841858},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.43086540699005127},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.395415723323822},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3481885492801666},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34713393449783325},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.33187952637672424},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24808257818222046},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.15036073327064514},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.08211097121238708},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.06528985500335693}],"concepts":[{"id":"https://openalex.org/C164660894","wikidata":"https://www.wikidata.org/wiki/Q2037833","display_name":"Piecewise","level":2,"score":0.7643455862998962},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7004485726356506},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6959435939788818},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.6373612880706787},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5916796922683716},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5282812714576721},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5249576568603516},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4924865663051605},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.47547951340675354},{"id":"https://openalex.org/C110157686","wikidata":"https://www.wikidata.org/wiki/Q922122","display_name":"Broadcasting (networking)","level":2,"score":0.4584375023841858},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.43086540699005127},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.395415723323822},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3481885492801666},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34713393449783325},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.33187952637672424},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24808257818222046},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.15036073327064514},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.08211097121238708},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.06528985500335693},{"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/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/cdc.2005.1583138","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2005.1583138","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/98bf343d-e359-4413-981c-7642fe469508","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/98bf343d-e359-4413-981c-7642fe469508","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, Stochastic semantics 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_cris_publications/6c026cef-aab8-4191-b866-3f864aff0e81","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/6c026cef-aab8-4191-b866-3f864aff0e81","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Strubbe, S N & van der Schaft, A 2005, Stochastic semantics for communicating piecewise deterministic Markov processes. in Proceedings of the the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05). Proceedings of the IEEE Conference on Decision and Control, vol. 2005, IEEE, pp. 6103-6108, 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.1583138","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.rug.nl:openaire/98bf343d-e359-4413-981c-7642fe469508","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/98bf343d-e359-4413-981c-7642fe469508","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, Stochastic semantics 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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W91439453","https://openalex.org/W1577563436","https://openalex.org/W1597655219","https://openalex.org/W2043030416","https://openalex.org/W2064893392","https://openalex.org/W2112345624","https://openalex.org/W2112446565","https://openalex.org/W2158974070","https://openalex.org/W2491539874","https://openalex.org/W4247619688","https://openalex.org/W6635976569","https://openalex.org/W6661559076","https://openalex.org/W6677126270"],"related_works":["https://openalex.org/W2385263368","https://openalex.org/W1660242800","https://openalex.org/W2347422947","https://openalex.org/W2061292372","https://openalex.org/W2077211377","https://openalex.org/W2379651310","https://openalex.org/W2113019827","https://openalex.org/W1541249122","https://openalex.org/W2413828414","https://openalex.org/W2367222340"],"abstract_inverted_index":{"CPDPs":[0,72],"(Communicating":[1],"Piecewise":[2],"Deterministic":[3,25],"Markov":[4,26],"Processes)":[5],"can":[6,65],"be":[7,66],"used":[8,67,89],"for":[9],"compositional":[10],"specification":[11],"of":[12,17,32,36,49,71,98,101],"systems":[13],"from":[14,63],"the":[15,33,53,59,69,92,96,107],"class":[16],"stochastic":[18],"hybrid":[19],"processes":[20],"formed":[21],"by":[22],"PDPs":[23],"(Piecewise":[24],"Processes).":[27],"We":[28,56,78,105],"give":[29,106],"an":[30,80],"extension":[31,39],"CPDP":[34,100,112],"model":[35],"[6].":[37],"This":[38],"provides":[40],"richer":[41],"interaction":[42],"possibilities":[43],"such":[44],"as":[45],"broadcasting":[46],"(and":[47],"recieving)":[48],"multiple":[50],"signals":[51],"at":[52],"same":[54],"time.":[55],"show":[57],"that":[58,94],"|P":[60],"A|":[61],"operator":[62],"[7]":[64],"in":[68,82],"context":[70],"to":[73,90],"express":[74],"all":[75],"these":[76],"interactions.":[77],"provide":[79],"algorithm":[81],"which":[83,110],"scheduling":[84],"and":[85],"maximal":[86],"progress":[87],"are":[88],"find":[91],"PDP":[93],"models":[95],"behavior":[97],"a":[99,111],"this":[102,114],"new":[103],"type.":[104],"conditions":[108],"under":[109],"allows":[113],"PDP-semantics.":[115]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}