{"id":"https://openalex.org/W1593211611","doi":"https://doi.org/10.1109/cdc.2003.1273027","title":"The control and verifcation of similar agents operating in a broadcast network environment","display_name":"The control and verifcation of similar agents operating in a broadcast network environment","publication_year":2004,"publication_date":"2004-07-08","ids":{"openalex":"https://openalex.org/W1593211611","doi":"https://doi.org/10.1109/cdc.2003.1273027","mag":"1593211611"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2003.1273027","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2003.1273027","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)","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/A5034274465","display_name":"Kurt Rohloff","orcid":"https://orcid.org/0000-0003-0389-5092"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"K. Rohloff","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA","Dept., of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Dept., of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027585653","display_name":"St\u00e9phane Lafortune","orcid":"https://orcid.org/0000-0002-7526-6642"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. Lafortune","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA","Dept., of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Dept., of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":2.9242,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.91778674,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"3","issue":null,"first_page":"2673","last_page":"2679"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":1.0,"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":1.0,"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.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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987000226974487,"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/computer-science","display_name":"Computer science","score":0.7192699909210205},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.6165027618408203},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.608050525188446},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6011152863502502},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5923092365264893},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5874240398406982},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.5330604314804077},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.06727448105812073}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7192699909210205},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.6165027618408203},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.608050525188446},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6011152863502502},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5923092365264893},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5874240398406982},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.5330604314804077},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.06727448105812073},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc.2003.1273027","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2003.1273027","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.5}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W101029079","https://openalex.org/W1550126246","https://openalex.org/W1587663028","https://openalex.org/W1966825814","https://openalex.org/W1973417083","https://openalex.org/W1988808695","https://openalex.org/W1990609140","https://openalex.org/W1997577607","https://openalex.org/W2025459956","https://openalex.org/W2059057465","https://openalex.org/W2068354234","https://openalex.org/W2091149102","https://openalex.org/W2104538458","https://openalex.org/W2114254072","https://openalex.org/W2121468570","https://openalex.org/W2130587077","https://openalex.org/W2170448441","https://openalex.org/W2171110406","https://openalex.org/W2172013120","https://openalex.org/W2614611284","https://openalex.org/W4214749219","https://openalex.org/W4297744580","https://openalex.org/W6737894667"],"related_works":["https://openalex.org/W397120980","https://openalex.org/W3021060317","https://openalex.org/W2074817166","https://openalex.org/W2149817600","https://openalex.org/W2140937809","https://openalex.org/W2971368204","https://openalex.org/W3175828148","https://openalex.org/W2363501516","https://openalex.org/W1506291714","https://openalex.org/W2002468135"],"abstract_inverted_index":{"We":[0,50,69,83],"explore":[1,84],"issues":[2],"related":[3,89],"to":[4,58,73,90],"the":[5,53,111],"control":[6,85,113],"and":[7,38,86,93,107,116,122],"verification":[8,87],"of":[9],"similar":[10,21],"agents":[11,22,45],"that":[12,28,41],"interact":[13],"through":[14],"events":[15,33,40],"broadcast":[16],"over":[17],"a":[18,71],"network.":[19],"The":[20],"are":[23,34,78,128],"modeled":[24],"as":[25,64],"discrete-event":[26],"systems":[27,61,77],"have":[29],"identical":[30],"structure.":[31],"System":[32],"partitioned":[35],"into":[36],"global":[37,94,123],"private":[39],"respectively":[42],"affect":[43],"all":[44,108],"or":[46,81],"exactly":[47,104],"one":[48,105],"agent.":[49],"show":[51],"how":[52],"state":[54],"explosion":[55],"problem":[56],"inherent":[57],"many":[59],"concurrent":[60],"is":[62,103],"not":[63],"problematic":[65],"in":[66,125],"this":[67,126],"setting.":[68],"give":[70],"procedure":[72],"test":[74],"if":[75],"these":[76,97],"globally":[79],"deadlock-free":[80],"nonblocking.":[82],"problems":[88],"both":[91],"local":[92,121],"specifications":[95,124],"on":[96],"systems.":[98],"For":[99],"each":[100],"module":[101],"there":[102],"controller":[106],"controllers":[109],"enforce":[110],"same":[112],"policy.":[114],"Necessary":[115],"sufficient":[117],"conditions":[118],"for":[119],"achieving":[120],"setting":[127],"identified.":[129]},"counts_by_year":[{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}