{"id":"https://openalex.org/W2119361484","doi":"https://doi.org/10.1109/tase.2011.2159112","title":"A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems","display_name":"A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems","publication_year":2011,"publication_date":"2011-07-07","ids":{"openalex":"https://openalex.org/W2119361484","doi":"https://doi.org/10.1109/tase.2011.2159112","mag":"2119361484"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2011.2159112","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2011.2159112","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"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 Automation Science and Engineering","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","Sch. of Ind. & Syst. Eng., Georgia Inst. of Technol., 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"]},{"raw_affiliation_string":"Sch. of Ind. & Syst. Eng., Georgia Inst. of Technol., 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","Sch. of Ind. & Syst. Eng., Georgia Inst. of Technol., 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"]},{"raw_affiliation_string":"Sch. of Ind. & Syst. Eng., Georgia Inst. of Technol., 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":4.7861,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.95489545,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"8","issue":"4","first_page":"766","last_page":"779"},"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.9997000098228455,"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.9997000098228455,"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.9983999729156494,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9929999709129333,"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/liveness","display_name":"Liveness","score":0.8405065536499023},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.675673246383667},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.6542567014694214},{"id":"https://openalex.org/keywords/linear-subspace","display_name":"Linear subspace","score":0.6403706073760986},{"id":"https://openalex.org/keywords/resource-allocation","display_name":"Resource allocation","score":0.558117687702179},{"id":"https://openalex.org/keywords/permissive","display_name":"Permissive","score":0.49645644426345825},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4653732478618622},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4494941234588623},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.43909355998039246},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.39608412981033325},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35219743847846985},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33691903948783875},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33236733078956604},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.10598015785217285},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.08532682061195374},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.06874090433120728}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.8405065536499023},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.675673246383667},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.6542567014694214},{"id":"https://openalex.org/C12362212","wikidata":"https://www.wikidata.org/wiki/Q728435","display_name":"Linear subspace","level":2,"score":0.6403706073760986},{"id":"https://openalex.org/C29202148","wikidata":"https://www.wikidata.org/wiki/Q287260","display_name":"Resource allocation","level":2,"score":0.558117687702179},{"id":"https://openalex.org/C15224491","wikidata":"https://www.wikidata.org/wiki/Q7169338","display_name":"Permissive","level":2,"score":0.49645644426345825},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4653732478618622},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4494941234588623},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.43909355998039246},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.39608412981033325},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35219743847846985},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33691903948783875},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33236733078956604},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.10598015785217285},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.08532682061195374},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.06874090433120728},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","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/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2011.2159112","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2011.2159112","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"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 Automation Science and Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8","score":0.5199999809265137}],"awards":[{"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/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":36,"referenced_works":["https://openalex.org/W322937049","https://openalex.org/W627911362","https://openalex.org/W650984362","https://openalex.org/W1483186571","https://openalex.org/W1496620875","https://openalex.org/W1552519843","https://openalex.org/W1557512698","https://openalex.org/W1587663028","https://openalex.org/W1595520837","https://openalex.org/W1789713128","https://openalex.org/W1962985716","https://openalex.org/W1963884875","https://openalex.org/W1964718922","https://openalex.org/W1968914503","https://openalex.org/W1976634747","https://openalex.org/W1996109622","https://openalex.org/W2005217875","https://openalex.org/W2041329792","https://openalex.org/W2055858190","https://openalex.org/W2059057465","https://openalex.org/W2059881462","https://openalex.org/W2104508180","https://openalex.org/W2104760299","https://openalex.org/W2109692480","https://openalex.org/W2110169180","https://openalex.org/W2115540709","https://openalex.org/W2132355828","https://openalex.org/W2155372793","https://openalex.org/W2294580796","https://openalex.org/W2340735175","https://openalex.org/W2378962438","https://openalex.org/W2509841691","https://openalex.org/W2913459036","https://openalex.org/W4253331343","https://openalex.org/W4285719527","https://openalex.org/W4289784571"],"related_works":["https://openalex.org/W2171343298","https://openalex.org/W2355217345","https://openalex.org/W2067228647","https://openalex.org/W4300427886","https://openalex.org/W1508998572","https://openalex.org/W2061930476","https://openalex.org/W2001316982","https://openalex.org/W2014742647","https://openalex.org/W2151082683","https://openalex.org/W2119361484"],"abstract_inverted_index":{"Past":[0],"works":[1],"towards":[2],"the":[3,7,24,27,33,36,42,45,51,61,75,90,100,107,119,127,137,145,149,165,170,198,201,209],"effective":[4,58],"deployment":[5,210],"of":[6,26,29,35,44,50,60,99,121,136,161,164,172,200,211],"maximally":[8,91,212],"permissive":[9,92,213],"liveness-enforcing":[10],"supervisor":[11],"(LES)":[12],"for":[13,32,64,126,190,215],"sequential":[14],"resource":[15],"allocation":[16],"systems":[17],"(RAS)":[18],"have":[19],"been":[20],"stalled":[21],"by:":[22,157],"(i)":[23,158],"NP-Hardness":[25],"computation":[28],"this":[30],"policy":[31,63],"majority":[34],"considered":[37],"RAS":[38,53,66,101,138,193,216],"classes":[39],"and":[40,103,131,134,168,203,221],"(ii)":[41,169],"inability":[43],"adopted":[46],"more":[47,123],"compact":[48,124,153],"representations":[49],"underlying":[52,166],"dynamics":[54],"to":[55,74,207],"provide":[56],"an":[57,96,186],"representation":[59,98,125,154],"target":[62],"all":[65],"instantiations.":[67],"This":[68,152],"paper":[69],"proposes":[70],"a":[71,83,122],"novel":[72],"approach":[73,178,202],"aforementioned":[76],"problem,":[77],"that":[78,141],"can":[79],"be":[80],"perceived":[81],"as":[82],"two-stage":[84],"process:":[85],"The":[86,115,176],"first":[87,150],"stage":[88,117],"computes":[89],"LES":[93,146,189,214],"by":[94,144],"employing":[95],"automaton-based":[97],"behavior":[102],"techniques":[104],"borrowed":[105],"from":[106],"Ramadge":[108],"&":[109],"Wonham":[110],"(R&W)":[111],"Supervisory":[112],"Control":[113],"framework.":[114],"second":[116],"seeks":[118],"development":[120],"dichotomy":[128],"into":[129],"admissible":[130],"inadmissible\u2014or":[132],"\u201csafe\u201d":[133],"\u201cunsafe\u201d\u2014subspaces":[135],"state":[139,222],"space,":[140],"is":[142,155,179],"effected":[143],"developed":[147],"in":[148],"stage.":[151],"obtained":[156],"taking":[159],"advantage":[160],"certain":[162],"properties":[163],"subspaces":[167],"employment":[171],"pertinent":[173],"data":[174],"structures.":[175],"resulting":[177],"also":[180],"\u201ccomplete,\u201d":[181],"i.e.,":[182],"it":[183],"will":[184],"return":[185],"effectively":[187],"implementable":[188],"any":[191],"given":[192],"instantiation.":[194],"Numerical":[195],"experimentation":[196],"demonstrates":[197],"efficacy":[199],"establishes":[204],"its":[205],"ability":[206],"support":[208],"with":[217],"very":[218],"large":[219],"structure":[220],"spaces.":[223]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2014,"cited_by_count":8},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}