{"id":"https://openalex.org/W2147741811","doi":"https://doi.org/10.1109/tac.2011.2163873","title":"Compositional Modeling and Analysis of Multi-Hop Control Networks","display_name":"Compositional Modeling and Analysis of Multi-Hop Control Networks","publication_year":2011,"publication_date":"2011-08-15","ids":{"openalex":"https://openalex.org/W2147741811","doi":"https://doi.org/10.1109/tac.2011.2163873","mag":"2147741811"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2011.2163873","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2011.2163873","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"},"type":"article","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/A5065059795","display_name":"Rajeev Alur","orcid":"https://orcid.org/0000-0003-1733-7083"},"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":"Rajeev Alur","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088713991","display_name":"Alessandro D\u2019Innocenzo","orcid":"https://orcid.org/0000-0002-5239-0894"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro D'Innocenzo","raw_affiliation_strings":["Department of Electrical and Information Engineering, Center of Excellence DEWS, University of L'Aquila, LAquila, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Information Engineering, Center of Excellence DEWS, University of L'Aquila, LAquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045975901","display_name":"Karl Henrik Johansson","orcid":"https://orcid.org/0000-0001-9940-5929"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Karl H. Johansson","raw_affiliation_strings":["ACCESS Linnaeus Centre, School of Electrical Engineering, Royal Institute of Technology (KTH), Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"ACCESS Linnaeus Centre, School of Electrical Engineering, Royal Institute of Technology (KTH), Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","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":"George 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"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026812393","display_name":"Gera Weiss","orcid":"https://orcid.org/0000-0002-5832-8768"},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Gera Weiss","raw_affiliation_strings":["Department of Computer Science, Ben-Gurion University of the Negev, Beersheva, Israel"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Ben-Gurion University of the Negev, Beersheva, Israel","institution_ids":["https://openalex.org/I124227911"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5065059795"],"corresponding_institution_ids":["https://openalex.org/I79576946"],"apc_list":null,"apc_paid":null,"fwci":11.9561,"has_fulltext":false,"cited_by_count":118,"citation_normalized_percentile":{"value":0.99092904,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"56","issue":"10","first_page":"2345","last_page":"2357"},"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.9986000061035156,"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.9986000061035156,"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/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.998199999332428,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9959999918937683,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8190456628799438},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6478663086891174},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5156170725822449},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.49732139706611633},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.49000540375709534},{"id":"https://openalex.org/keywords/hop","display_name":"Hop (telecommunications)","score":0.47455841302871704},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.47295233607292175},{"id":"https://openalex.org/keywords/wireless-network","display_name":"Wireless network","score":0.46136942505836487},{"id":"https://openalex.org/keywords/telecommunications-network","display_name":"Telecommunications network","score":0.4429894685745239},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.41731858253479004},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.3410537838935852}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8190456628799438},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6478663086891174},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5156170725822449},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.49732139706611633},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.49000540375709534},{"id":"https://openalex.org/C25906391","wikidata":"https://www.wikidata.org/wiki/Q1432381","display_name":"Hop (telecommunications)","level":2,"score":0.47455841302871704},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.47295233607292175},{"id":"https://openalex.org/C108037233","wikidata":"https://www.wikidata.org/wiki/Q11375","display_name":"Wireless network","level":3,"score":0.46136942505836487},{"id":"https://openalex.org/C192126672","wikidata":"https://www.wikidata.org/wiki/Q1068715","display_name":"Telecommunications network","level":2,"score":0.4429894685745239},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.41731858253479004},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.3410537838935852},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tac.2011.2163873","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2011.2163873","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.226.5670","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.226.5670","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.seas.upenn.edu/%7Epappasg/papers/MultiHop2011.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.645.260","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.260","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cis.upenn.edu/~alur/IEEE11.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.75,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W749729","https://openalex.org/W155991238","https://openalex.org/W1490978409","https://openalex.org/W1500726385","https://openalex.org/W1506588809","https://openalex.org/W1544149452","https://openalex.org/W1552094772","https://openalex.org/W1576342660","https://openalex.org/W1594130515","https://openalex.org/W1794028435","https://openalex.org/W1819209966","https://openalex.org/W1965026154","https://openalex.org/W2002089154","https://openalex.org/W2002699281","https://openalex.org/W2002956057","https://openalex.org/W2022406843","https://openalex.org/W2030224590","https://openalex.org/W2068502868","https://openalex.org/W2071150021","https://openalex.org/W2079538138","https://openalex.org/W2085648365","https://openalex.org/W2093916942","https://openalex.org/W2096185905","https://openalex.org/W2100134099","https://openalex.org/W2100518728","https://openalex.org/W2103013786","https://openalex.org/W2107951442","https://openalex.org/W2119275794","https://openalex.org/W2121084490","https://openalex.org/W2127376416","https://openalex.org/W2128027218","https://openalex.org/W2128969277","https://openalex.org/W2152520525","https://openalex.org/W2162863517","https://openalex.org/W2164642390","https://openalex.org/W2167384564","https://openalex.org/W2167834591","https://openalex.org/W2168337142","https://openalex.org/W2171540967","https://openalex.org/W2256710691","https://openalex.org/W2375099263","https://openalex.org/W2541367100","https://openalex.org/W2738306895","https://openalex.org/W4255956970","https://openalex.org/W4285719527","https://openalex.org/W4302339081","https://openalex.org/W6600028639","https://openalex.org/W6632498719","https://openalex.org/W6650993086","https://openalex.org/W6674573096","https://openalex.org/W6692469605"],"related_works":["https://openalex.org/W2117210722","https://openalex.org/W1978191894","https://openalex.org/W2589759689","https://openalex.org/W2018045843","https://openalex.org/W3146035416","https://openalex.org/W3125668480","https://openalex.org/W2389214306","https://openalex.org/W1999406711","https://openalex.org/W2965083567","https://openalex.org/W4235240664"],"abstract_inverted_index":{"We":[0,27,58,103,154,173,226],"propose":[1,35,59,95,134,257],"a":[2,22,74,116,135,196,258,262,272],"mathematical":[3],"framework":[4],"for":[5,13,40,62,122,142,158,215,277],"modeling":[6],"and":[7,32,34,38,114,150,168,182,212,241,247,255],"analyzing":[8,63,109],"multi-hop":[9,23,52,66,75,223,232],"control":[10,18,53,67,92,217,224,233,246,265],"networks":[11,54,234],"designed":[12],"systems":[14,237],"consisting":[15],"of":[16,43,51,65,90,108,147,151,164,208,231],"multiple":[17,216],"loops":[19,218],"closed":[20,219],"over":[21],"(wireless)":[24],"communication":[25,76,82,275],"network.":[26,225],"separate":[28],"control,":[29],"topology,":[30],"routing,":[31],"scheduling":[33,211,259],"formal":[36,60],"syntax":[37],"semantics":[39],"the":[41,44,88,91,106,148,188,206,221,229],"dynamics":[42],"composed":[45],"system,":[46,93],"providing":[47],"an":[48],"explicit":[49],"translation":[50,230],"to":[55,79,87,96,118,235,244,256],"switched":[56,236],"systems.":[57],"models":[61],"robustness":[64],"networks,":[68],"where":[69,139],"data":[70],"is":[71,112,201],"exchanged":[72],"through":[73],"network":[77],"subject":[78],"disruptions.":[80],"When":[81],"disruptions":[83],"are":[84],"long,":[85],"compared":[86],"speed":[89],"we":[94,133],"model":[97,138,191],"them":[98],"as":[99,195],"permanent":[100,189],"link":[101,166],"failures.":[102],"show":[104,183],"that":[105,177,267],"complexity":[107],"such":[110],"failures":[111],"NP-hard,":[113],"discuss":[115],"way":[117],"overcome":[119],"this":[120],"limitation":[121],"practical":[123],"cases":[124],"using":[125],"compositional":[126],"analysis.":[127],"For":[128],"typical":[129],"packet":[130],"transmission":[131],"errors,":[132],"transient":[136,165],"error":[137],"links":[140],"fail":[141],"one":[143],"time":[144,180,273],"slot":[145],"independently":[146],"past":[149],"other":[152],"links.":[153],"provide":[155],"sufficient":[156],"conditions":[157],"almost":[159],"sure":[160],"stability":[161],"in":[162,251,261],"presence":[163],"failures,":[167],"give":[169],"efficient":[170],"decision":[171],"procedures.":[172],"deal":[174],"with":[175],"errors":[176],"have":[178],"random":[179],"span":[181],"that,":[184],"under":[185],"some":[186,252],"conditions,":[187],"failure":[190],"can":[192,238,268],"be":[193,239,269],"used":[194],"reliable":[197],"abstraction.":[198],"Our":[199],"approach":[200],"compositional,":[202],"namely":[203],"it":[204,243],"addresses":[205],"problem":[207,266],"designing":[209],"scalable":[210],"routing":[213],"policies":[214],"on":[220,271],"same":[222],"describe":[227],"how":[228],"automated,":[240],"use":[242],"solve":[245],"networking":[248],"co-design":[249],"challenges":[250],"representative":[253],"examples,":[254],"solution":[260],"mineral":[263],"floatation":[264],"implemented":[270],"triggered":[274],"protocols":[276],"wireless":[278],"networks.":[279]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":9},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":13},{"year":2016,"cited_by_count":15},{"year":2015,"cited_by_count":11},{"year":2014,"cited_by_count":9},{"year":2013,"cited_by_count":16},{"year":2012,"cited_by_count":9}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}