{"id":"https://openalex.org/W2164277868","doi":"https://doi.org/10.1109/cdc.2008.4739123","title":"Composing hybrid systems","display_name":"Composing hybrid systems","publication_year":2008,"publication_date":"2008-12-01","ids":{"openalex":"https://openalex.org/W2164277868","doi":"https://doi.org/10.1109/cdc.2008.4739123","mag":"2164277868"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2008.4739123","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2008.4739123","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 47th IEEE Conference on Decision and Control","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076225221","display_name":"Luca Benvenuti","orcid":"https://orcid.org/0000-0001-7424-6853"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luca Benvenuti","raw_affiliation_strings":["PARADES, Roma, Italy","Universita di Roma \u201cLa Sapienza\u201d, Roma, Italy","Universita di Roma \"La Sapienza\", Roma, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"PARADES, Roma, Italy","institution_ids":[]},{"raw_affiliation_string":"Universita di Roma \u201cLa Sapienza\u201d, Roma, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Universita di Roma \"La Sapienza\", Roma, Italy","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103700447","display_name":"Alberto Ferrari","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alberto Ferrari","raw_affiliation_strings":["PARADES, Roma, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"PARADES, Roma, Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037880909","display_name":"Emanuele Mazzi","orcid":null},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]},{"id":"https://openalex.org/I1300504238","display_name":"Piaggio (Italy)","ror":"https://ror.org/00r254y42","country_code":"IT","type":"company","lineage":["https://openalex.org/I1300504238"]},{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["IT","US"],"is_corresponding":false,"raw_author_name":"Emanuele Mazzi","raw_affiliation_strings":["Centro di Ricerca Interdipartimentale \u201cE. Piaggio\u201d, Universita di Pisa, Pisa, Italy","Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, CA, USA","PARADES, Roma, Italy","Centro di Ricerca Interdipartimentale \"E. Piaggio\", Universita di Pisa, Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro di Ricerca Interdipartimentale \u201cE. Piaggio\u201d, Universita di Pisa, Pisa, Italy","institution_ids":["https://openalex.org/I108290504","https://openalex.org/I1300504238"]},{"raw_affiliation_string":"Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"PARADES, Roma, Italy","institution_ids":[]},{"raw_affiliation_string":"Centro di Ricerca Interdipartimentale \"E. Piaggio\", Universita di Pisa, Pisa, Italy","institution_ids":["https://openalex.org/I108290504","https://openalex.org/I1300504238"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088660554","display_name":"Alberto Sangiovanni\u2010Vincentelli","orcid":"https://orcid.org/0000-0003-1298-8389"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alberto Sangiovanni Vincentelli","raw_affiliation_strings":["Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, CA, USA","PARADES, Roma, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"PARADES, Roma, Italy","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5714,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.636158,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"4981","issue":null,"first_page":"4693","last_page":"4699"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/hybrid-system","display_name":"Hybrid system","score":0.854829728603363},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7283607125282288},{"id":"https://openalex.org/keywords/realization","display_name":"Realization (probability)","score":0.705177903175354},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.6001642942428589},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.5478042960166931},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5450908541679382},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5410605072975159},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5196622610092163},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4208552837371826},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3967616558074951},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3940572738647461},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17249125242233276}],"concepts":[{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.854829728603363},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7283607125282288},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.705177903175354},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.6001642942428589},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.5478042960166931},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5450908541679382},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5410605072975159},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5196622610092163},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4208552837371826},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3967616558074951},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3940572738647461},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17249125242233276},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/cdc.2008.4739123","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2008.4739123","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 47th IEEE Conference on Decision and Control","raw_type":"proceedings-article"},{"id":"pmh:oai:iris.uniroma1.it:11573/51042","is_oa":false,"landing_page_url":"http://hdl.handle.net/11573/51042","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1548247611","https://openalex.org/W1553814243","https://openalex.org/W1802815008","https://openalex.org/W1941176105","https://openalex.org/W2011979623","https://openalex.org/W2074027094","https://openalex.org/W2100081537","https://openalex.org/W2129183345","https://openalex.org/W2137777756","https://openalex.org/W2138988438","https://openalex.org/W2143220905","https://openalex.org/W6632687458","https://openalex.org/W6640418982","https://openalex.org/W6675003622"],"related_works":["https://openalex.org/W2022544890","https://openalex.org/W2394097730","https://openalex.org/W2769996735","https://openalex.org/W2260963831","https://openalex.org/W4235249401","https://openalex.org/W2331305369","https://openalex.org/W2043523297","https://openalex.org/W2113405914","https://openalex.org/W2569862494","https://openalex.org/W1982843346"],"abstract_inverted_index":{"Hybrid":[0],"systems":[1],"are":[2,10],"useful":[3],"abstractions":[4],"of":[5,24,32,41,75,79,86,119,138],"embedded":[6],"controllers.":[7],"However,":[8],"they":[9],"notoriously":[11],"very":[12],"difficult":[13],"to":[14,58,83,128,132],"verify":[15],"as":[16,55,109,111],"computation":[17],"complexity":[18],"grows":[19],"quickly":[20],"with":[21],"the":[22,25,30,66,69,76,84,87,92,117,129,139],"size":[23],"hybrid":[26,43,48,60,130,141],"system.":[27,142],"We":[28],"address":[29],"problem":[31],"building":[33],"in":[34,105],"a":[35,38,42,56,123],"systematic":[36],"way":[37],"compact":[39],"representation":[40],"system":[44,126,131],"obtained":[45],"by":[46],"composing":[47],"subsystems.":[49],"This":[50],"technique":[51],"can":[52],"be":[53],"used":[54],"front-end":[57],"any":[59],"formal":[61],"verification":[62],"tool":[63],"thus":[64],"freeing":[65],"designer":[67],"from":[68],"cumbersome":[70],"and":[71,78,95],"error-prone":[72],"manual":[73],"calculation":[74],"composition":[77],"its":[80],"reduction.":[81],"Critical":[82],"efficiency":[85],"method":[88],"are:":[89],"i)":[90],"hiding":[91],"internal":[93],"signals":[94],"synchronization":[96],"events":[97],"between":[98],"components;":[99],"ii)":[100],"eliminating":[101],"locations":[102,121],"that":[103],"result":[104],"empty":[106],"invariant":[107],"conditions":[108],"well":[110],"non":[112],"reachable":[113],"locations;":[114],"iii)":[115],"using":[116],"notion":[118],"equivalent":[120,135],"for":[122],"labeled":[124],"transition":[125],"associated":[127],"compute":[133],"an":[134],"minimal":[136],"realization":[137],"composed":[140]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}