{"id":"https://openalex.org/W4250502972","doi":"https://doi.org/10.1109/tac.2011.2179422","title":"Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case","display_name":"Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case","publication_year":2011,"publication_date":"2011-12-12","ids":{"openalex":"https://openalex.org/W4250502972","doi":"https://doi.org/10.1109/tac.2011.2179422"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2011.2179422","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2011.2179422","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/A5049151543","display_name":"Ahmed Nazeem","orcid":"https://orcid.org/0000-0002-6769-2836"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ahmed Nazeem","raw_affiliation_strings":["School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, GA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008675858","display_name":"Spyros Reveliotis","orcid":null},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Spyros Reveliotis","raw_affiliation_strings":["School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, GA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I130701444"],"apc_list":null,"apc_paid":null,"fwci":5.7433,"has_fulltext":false,"cited_by_count":40,"citation_normalized_percentile":{"value":0.96678493,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"57","issue":"7","first_page":"1670","last_page":"1684"},"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.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"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","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/T10933","display_name":"Real-Time Systems Scheduling","score":0.991599977016449,"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/T10142","display_name":"Formal Methods in Verification","score":0.9902999997138977,"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/classifier","display_name":"Classifier (UML)","score":0.6320892572402954},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.595741331577301},{"id":"https://openalex.org/keywords/permissive","display_name":"Permissive","score":0.5700469017028809},{"id":"https://openalex.org/keywords/linear-subspace","display_name":"Linear subspace","score":0.5553101897239685},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.5315442085266113},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.48045533895492554},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.43150442838668823},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4086507558822632},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.38338494300842285},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3745250701904297},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.36768391728401184},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35660701990127563},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2691269516944885}],"concepts":[{"id":"https://openalex.org/C95623464","wikidata":"https://www.wikidata.org/wiki/Q1096149","display_name":"Classifier (UML)","level":2,"score":0.6320892572402954},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.595741331577301},{"id":"https://openalex.org/C15224491","wikidata":"https://www.wikidata.org/wiki/Q7169338","display_name":"Permissive","level":2,"score":0.5700469017028809},{"id":"https://openalex.org/C12362212","wikidata":"https://www.wikidata.org/wiki/Q728435","display_name":"Linear subspace","level":2,"score":0.5553101897239685},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.5315442085266113},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.48045533895492554},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.43150442838668823},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4086507558822632},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38338494300842285},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3745250701904297},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.36768391728401184},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35660701990127563},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2691269516944885},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2011.2179422","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2011.2179422","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G154054701","display_name":null,"funder_award_id":"CNS-0930081","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4666606172","display_name":"CPS: Small: Control of Distributed Cyber-Physical Systems under Partial Information and Limited Communication","funder_award_id":"0930081","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5234242566","display_name":null,"funder_award_id":"CMMI-0928231","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G651544783","display_name":"Dynamic Deadlock Avoidance in Concurrent Software via Discrete Control","funder_award_id":"0819882","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G949053049","display_name":"Efficient Learning Algorithms for Problems with Acyclic State Spaces and their Application to Reverse Logistics","funder_award_id":"0619978","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337391","display_name":"Division of Civil, Mechanical and Manufacturing Innovation","ror":"https://ror.org/028yd4c30"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1483186571","https://openalex.org/W1496620875","https://openalex.org/W1580617490","https://openalex.org/W1595520837","https://openalex.org/W1789713128","https://openalex.org/W1964718922","https://openalex.org/W1968914503","https://openalex.org/W1976634747","https://openalex.org/W1996109622","https://openalex.org/W2041329792","https://openalex.org/W2041795078","https://openalex.org/W2059057465","https://openalex.org/W2059881462","https://openalex.org/W2099550549","https://openalex.org/W2102530902","https://openalex.org/W2104367108","https://openalex.org/W2104508180","https://openalex.org/W2109692480","https://openalex.org/W2110169180","https://openalex.org/W2119361484","https://openalex.org/W2137890200","https://openalex.org/W2140872435","https://openalex.org/W2155372793","https://openalex.org/W2294580796","https://openalex.org/W2505968561","https://openalex.org/W2509841691","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W2050076411","https://openalex.org/W4226119751","https://openalex.org/W2001478969","https://openalex.org/W1542183432","https://openalex.org/W2360686363","https://openalex.org/W1900787600","https://openalex.org/W2136552483","https://openalex.org/W2166954426","https://openalex.org/W4383684213","https://openalex.org/W2045082154"],"abstract_inverted_index":{"In":[0,82],"a":[1,63,103,166],"recent":[2],"work":[3],"of":[4,40,43,53,62,70,89,132,148,158,168],"ours":[5],"(A.":[6],"Nazeem":[7,91],",":[8],"\u201cDesigning":[9],"compact":[10,65],"and":[11,79,116,141,155,163],"maximally":[12,45],"permissive":[13,46],"deadlock":[14,47],"avoidance":[15,48],"policies":[16],"for":[17,50,92,111,129,145],"complex":[18,54,114],"resource":[19,55],"allocation":[20,56],"systems":[21,57],"through":[22,165],"classification":[23,109],"theory:":[24],"The":[25],"linear":[26,64,104],"case,\u201d":[27],"IEEE":[28],"Trans.":[29],"Autom.":[30],"Control,":[31],"vol.":[32],"56,":[33],"2011),":[34],"we":[35,85],"have":[36],"proposed":[37],"the":[38,41,44,60,68,71,87,93,96,133,146,149,153,156],"reformulation":[39],"synthesis":[42,147],"policy":[49],"certain":[51],"classes":[52],"(RAS)":[58],"as":[59],"design":[61],"classifier":[66,128],"effecting":[67],"dichotomy":[69,98],"underlying":[72],"reachable":[73],"state":[74],"space":[75],"into":[76],"its":[77],"safe":[78],"unsafe":[80],"subspaces.":[81],"this":[83,112],"work,":[84],"extend":[86],"results":[88],"A.":[90],"case":[94,115],"that":[95],"sought":[97,150],"cannot":[99],"be":[100],"represented":[101],"by":[102],"classifier.":[105],"We":[106,137],"propose":[107],"new":[108],"schemes":[110],"more":[113],"establish":[117],"formally":[118],"their":[119,122],"completeness,":[120],"i.e.,":[121],"ability":[123],"to":[124],"provide":[125,139],"an":[126],"effective":[127,140],"every":[130],"instance":[131],"considered":[134],"RAS":[135],"class.":[136],"also":[138],"computationally":[142],"efficient":[143],"procedures":[144],"classifiers.":[151],"Finally,":[152],"effectiveness":[154],"efficacy":[157],"our":[159],"approaches":[160],"are":[161],"demonstrated":[162],"assessed":[164],"series":[167],"computational":[169],"experiments.":[170]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":9},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}