{"id":"https://openalex.org/W2253605077","doi":"https://doi.org/10.1109/cdc.2002.1184461","title":"Discrete synchronization of hybrid systems","display_name":"Discrete synchronization of hybrid systems","publication_year":2003,"publication_date":"2003-08-27","ids":{"openalex":"https://openalex.org/W2253605077","doi":"https://doi.org/10.1109/cdc.2002.1184461","mag":"2253605077"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2002.1184461","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2002.1184461","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st IEEE Conference on Decision and Control, 2002.","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://repository.upenn.edu/bitstreams/69bc7685-d720-4735-abfc-63249c513e2e/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047674203","display_name":"Paulo Tabuada","orcid":"https://orcid.org/0000-0002-3417-0951"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"P. Tabuada","raw_affiliation_strings":["Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029243115","display_name":"George J. Pappas","orcid":"https://orcid.org/0000-0001-9081-0637"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"G.J. Pappas","raw_affiliation_strings":["Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5047674203"],"corresponding_institution_ids":["https://openalex.org/I79576946"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.24061233,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"1","issue":null,"first_page":"22","last_page":"27"},"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.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/T11125","display_name":"Petri Nets in System Modeling","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/T10142","display_name":"Formal Methods in Verification","score":0.9973999857902527,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/synchronization","display_name":"Synchronization (alternating current)","score":0.8582730293273926},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7471749782562256},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.73316890001297},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.5623220205307007},{"id":"https://openalex.org/keywords/decentralised-system","display_name":"Decentralised system","score":0.48088887333869934},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.47870874404907227},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4614379107952118},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4265438914299011},{"id":"https://openalex.org/keywords/multi-agent-system","display_name":"Multi-agent system","score":0.41465994715690613},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.0900227427482605},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.07519093155860901},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.06793093681335449}],"concepts":[{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.8582730293273926},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7471749782562256},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.73316890001297},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.5623220205307007},{"id":"https://openalex.org/C205875254","wikidata":"https://www.wikidata.org/wiki/Q17156857","display_name":"Decentralised system","level":3,"score":0.48088887333869934},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.47870874404907227},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4614379107952118},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4265438914299011},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.41465994715690613},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0900227427482605},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.07519093155860901},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.06793093681335449},{"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/cdc.2002.1184461","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2002.1184461","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st IEEE Conference on Decision and Control, 2002.","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.upenn.edu:ese_papers-1111","is_oa":true,"landing_page_url":"https://repository.upenn.edu/ese_papers/114","pdf_url":"https://repository.upenn.edu/bitstreams/69bc7685-d720-4735-abfc-63249c513e2e/download","source":{"id":"https://openalex.org/S4377196331","display_name":"Scholarly Commons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Departmental Papers (ESE)","raw_type":"text"},{"id":"pmh:oai:repository.upenn.edu:20.500.14332/33293","is_oa":false,"landing_page_url":"https://repository.upenn.edu/handle/20.500.14332/33293","pdf_url":null,"source":{"id":"https://openalex.org/S4377196331","display_name":"Scholarly Commons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"published","raw_type":"Presentation"}],"best_oa_location":{"id":"pmh:oai:repository.upenn.edu:ese_papers-1111","is_oa":true,"landing_page_url":"https://repository.upenn.edu/ese_papers/114","pdf_url":"https://repository.upenn.edu/bitstreams/69bc7685-d720-4735-abfc-63249c513e2e/download","source":{"id":"https://openalex.org/S4377196331","display_name":"Scholarly Commons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Departmental Papers (ESE)","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2253605077.pdf"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W1504942089","https://openalex.org/W1507306347","https://openalex.org/W1560050980","https://openalex.org/W1583357444","https://openalex.org/W1585005663","https://openalex.org/W1585089195","https://openalex.org/W1951848803","https://openalex.org/W2019191620","https://openalex.org/W2023808162","https://openalex.org/W2040127143","https://openalex.org/W2048355938","https://openalex.org/W2059057465","https://openalex.org/W2098916117","https://openalex.org/W2118725223","https://openalex.org/W2130519480","https://openalex.org/W2144525932","https://openalex.org/W2151623798","https://openalex.org/W2165690864","https://openalex.org/W2171110406","https://openalex.org/W2178250883","https://openalex.org/W4229745363","https://openalex.org/W6634758935","https://openalex.org/W6634769303","https://openalex.org/W6634892959","https://openalex.org/W6681543598"],"related_works":["https://openalex.org/W2380573388","https://openalex.org/W2369636957","https://openalex.org/W2029465934","https://openalex.org/W830369380","https://openalex.org/W2582753012","https://openalex.org/W2544687545","https://openalex.org/W2329909291","https://openalex.org/W2145579992","https://openalex.org/W2145333452","https://openalex.org/W1969557545"],"abstract_inverted_index":{"Control":[0],"theory":[1],"is":[2,60,74,83,116,121,139],"faced":[3],"with":[4,125],"new":[5],"paradigms":[6],"and":[7,20],"challenges":[8],"that":[9],"fall":[10],"beyond":[11],"traditional":[12],"problems.":[13,112],"Nowadays":[14],"applications":[15],"tend":[16],"to":[17,90,108,123,130,156],"be":[18],"distributed,":[19,44],"require":[21],"partial":[22],"synchronization":[23,34,111,115],"among":[24],"their":[25],"various":[26],"subsystems.":[27,86],"We":[28,103],"give":[29],"initial":[30],"steps":[31],"towards":[32],"discrete":[33,110],"problems":[35,48,70],"for":[36],"systems":[37],"which":[38,150],"are":[39,151,153],"compositions":[40],"of":[41,54,77,144],"several,":[42],"possibly":[43],"hybrid":[45,64,97],"systems.":[46],"Such":[47],"arise":[49],"frequently":[50],"in":[51,68,100],"the":[52,72,75,81,95,126,145],"coordination":[53],"multi-agent":[55],"systems,":[56],"where":[57,71],"each":[58,119],"agent":[59],"modeled":[61],"as":[62],"a":[63],"system.":[65],"This":[66],"results":[67],"control":[69],"model":[73],"composition":[76],"decoupled":[78],"subsystems,":[79],"but":[80,162],"specification":[82],"coupled":[84],"across":[85],"A":[87],"centralized":[88],"solution":[89],"this":[91],"problem":[92],"requires":[93],"computing":[94],"product":[96],"system":[98],"resulting":[99],"state":[101],"explosion.":[102],"alternatively":[104],"consider":[105],"decentralized":[106,114],"solutions":[107],"such":[109],"Partially":[113],"achieved":[117],"if":[118],"subsystem":[120],"allowed":[122],"communicate":[124],"subsystems":[127],"it":[128],"needs":[129],"partially":[131],"synchronize":[132],"with.":[133],"The":[134],"required":[135],"communication":[136],"between":[137],"agents":[138],"provided":[140],"by":[141],"modeling":[142],"abstractions":[143],"remaining":[146],"agents.":[147],"These":[148],"abstractions.":[149],"property-dependent,":[152],"then":[154],"used":[155],"derive":[157],"local":[158],"controllers":[159],"using":[160],"global,":[161],"minimal,":[163],"observations.":[164]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}