{"id":"https://openalex.org/W4396571379","doi":"https://doi.org/10.1145/3641513.3650123","title":"Contract-Based Distributed Logical Controller Synthesis","display_name":"Contract-Based Distributed Logical Controller Synthesis","publication_year":2024,"publication_date":"2024-05-02","ids":{"openalex":"https://openalex.org/W4396571379","doi":"https://doi.org/10.1145/3641513.3650123"},"language":"en","primary_location":{"id":"doi:10.1145/3641513.3650123","doi":"https://doi.org/10.1145/3641513.3650123","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3641513.3650123","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3641513.3650123?download=true","source":{"id":"https://openalex.org/S7407086960","display_name":"ACM International Conference on Hybrid Systems: Computation and Control (HSCC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3641513.3650123?download=true","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040682288","display_name":"Ashwani Anand","orcid":"https://orcid.org/0000-0002-9462-8514","observed_orcids":["https://orcid.org/0000-0002-9462-8514"]},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ashwani Anand","raw_affiliation_strings":["Max Planck Institute for Software Systems, Germany"],"raw_orcid":"https://orcid.org/0000-0002-9462-8514","affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039498617","display_name":"Anne-Kathrin Schmuck","orcid":"https://orcid.org/0000-0003-2801-639X","observed_orcids":["https://orcid.org/0000-0003-2801-639X"]},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Anne-Kathrin Schmuck","raw_affiliation_strings":["Max Planck Institute for Software Systems, Germany"],"raw_orcid":"https://orcid.org/0000-0003-2801-639X","affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013573130","display_name":"Satya Prakash Nayak","orcid":"https://orcid.org/0000-0002-4407-8681","observed_orcids":["https://orcid.org/0000-0002-4407-8681"]},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Satya Prakash Nayak","raw_affiliation_strings":["Max Planck Institute for Software Systems, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4407-8681","affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems, Germany","institution_ids":["https://openalex.org/I4210121786"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210121786"],"apc_list":null,"apc_paid":null,"fwci":1.9703,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.82640625,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9951000213623047,"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.9951000213623047,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.000699999975040555,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.00039999998989515007,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/logical-control","display_name":"logical control","score":0.42500001192092896},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"linear temporal logic","score":0.8029999732971191},{"id":"https://openalex.org/keywords/negotiation-mechanism","display_name":"negotiation mechanism","score":0.6769999861717224},{"id":"https://openalex.org/keywords/two-player-games-on-graphs","display_name":"two-player games on graphs","score":0.7400000095367432},{"id":"https://openalex.org/keywords/discrete-abstraction","display_name":"discrete abstraction","score":0.7720000147819519},{"id":"https://openalex.org/keywords/robot-motion-planning","display_name":"robot motion planning","score":0.722000002861023},{"id":"https://openalex.org/keywords/cosmos","display_name":"cosmos","score":0.8270000219345093}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8065000176429749},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.6335437893867493},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6073193550109863},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6033378839492798},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5173041820526123},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.5089528560638428},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4877856373786926},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4432838559150696},{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.43455666303634644},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4100266098976135},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17279484868049622},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.12767136096954346},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3641513.3650123","doi":"https://doi.org/10.1145/3641513.3650123","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3641513.3650123","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3641513.3650123?download=true","source":{"id":"https://openalex.org/S7407086960","display_name":"ACM International Conference on Hybrid Systems: Computation and Control (HSCC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3641513.3650123","doi":"https://doi.org/10.1145/3641513.3650123","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3641513.3650123","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3641513.3650123?download=true","source":{"id":"https://openalex.org/S7407086960","display_name":"ACM International Conference on Hybrid Systems: Computation and Control (HSCC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G6794803566","display_name":null,"funder_award_id":"441512781, 389792660","funder_id":"https://openalex.org/F4320323817","funder_display_name":"Universitas Brawijaya"}],"funders":[{"id":"https://openalex.org/F4320323817","display_name":"Universitas Brawijaya","ror":"https://ror.org/01wk3d929"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4396571379.pdf","grobid_xml":"https://content.openalex.org/works/W4396571379.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W853304191","https://openalex.org/W1483893502","https://openalex.org/W1498432697","https://openalex.org/W1547931701","https://openalex.org/W1549870311","https://openalex.org/W1608875152","https://openalex.org/W2038952689","https://openalex.org/W2060375000","https://openalex.org/W2130025446","https://openalex.org/W2187041056","https://openalex.org/W2264340030","https://openalex.org/W2292449588","https://openalex.org/W2487425287","https://openalex.org/W2561773129","https://openalex.org/W2783624664","https://openalex.org/W2792185122","https://openalex.org/W2971377472","https://openalex.org/W3089349523","https://openalex.org/W3201725385","https://openalex.org/W4226401493","https://openalex.org/W4295364605","https://openalex.org/W4384268441","https://openalex.org/W4384471343","https://openalex.org/W4385864287","https://openalex.org/W6693280475"],"related_works":["https://openalex.org/W1565271071","https://openalex.org/W2081199208","https://openalex.org/W1834333901","https://openalex.org/W1520538828","https://openalex.org/W2082472813","https://openalex.org/W2147348835","https://openalex.org/W3005566532","https://openalex.org/W1522293843","https://openalex.org/W2164319435","https://openalex.org/W1970223082"],"abstract_inverted_index":{"We":[0,109,135],"consider":[1],"the":[2,78,89,111,137,150],"problem":[3,82],"of":[4,28,93,101,117,140],"computing":[5],"distributed":[6,80,132],"logical":[7,133],"controllers":[8],"for":[9,41,61,130],"two":[10],"interacting":[11],"system":[12],"components":[13,43],"via":[14],"a":[15,25,32,36,66,75,105,154],"novel":[16],"sound":[17,125],"and":[18,39,57,64,115,126],"complete":[19,127],"contract-based":[20,131],"synthesis":[21,81],"framework.":[22],"Based":[23],"on":[24,88,153],"discrete":[26],"abstraction":[27],"component":[29,63],"interactions":[30],"as":[31,45],"two-player":[33],"game":[34],"over":[35,51],"finite":[37],"graph":[38],"specifications":[40],"both":[42],"given":[44,79],"\u03c9":[46],"-regular":[47],"(e.g.":[48],"LTL)":[49],"properties":[50],"this":[52],"graph,":[53],"we":[54],"co-synthesize":[55],"contract":[56],"controller":[58,102],"candidates":[59,73,103],"locally":[60],"each":[62],"propose":[65],"negotiation":[67,128],"mechanism":[68],"which":[69,96],"iteratively":[70],"refines":[71],"these":[72],"until":[74],"solution":[76],"to":[77,120,149],"is":[83],"found.":[84],"Our":[85],"framework":[86,129],"relies":[87],"recently":[90],"introduced":[91],"concept":[92],"permissive":[94],"templates":[95,119],"collect":[97],"an":[98,122],"infinite":[99],"number":[100],"in":[104],"concise":[106],"data":[107],"structure.":[108],"utilize":[110],"efficient":[112],"computability,":[113],"adaptability":[114],"compositionality":[116],"such":[118],"obtain":[121],"efficient,":[123],"yet":[124],"control.":[134],"showcase":[136],"superior":[138],"performance":[139],"our":[141,145],"approach":[142],"by":[143],"comparing":[144],"prototype":[146],"tool":[147,152],"CoSMo":[148],"state-of-the-art":[151],"robot":[155],"motion":[156],"planning":[157],"benchmark":[158],"suite.":[159]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2024-05-03T00:00:00"}