{"id":"https://openalex.org/W1974412011","doi":"https://doi.org/10.1109/tase.2013.2266793","title":"Efficient Enumeration of Minimal Unsafe States in Complex Resource Allocation Systems","display_name":"Efficient Enumeration of Minimal Unsafe States in Complex Resource Allocation Systems","publication_year":2013,"publication_date":"2013-07-09","ids":{"openalex":"https://openalex.org/W1974412011","doi":"https://doi.org/10.1109/tase.2013.2266793","mag":"1974412011"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2013.2266793","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2013.2266793","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/I1334696734","display_name":"American Airlines (United States)","ror":"https://ror.org/05jh79p16","country_code":"US","type":"company","lineage":["https://openalex.org/I1334696734"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ahmed Nazeem","raw_affiliation_strings":["United Airlines, Chicago, IL, USA","[United Airlines, Chicago, IL, USA]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"United Airlines, Chicago, IL, USA","institution_ids":["https://openalex.org/I1334696734"]},{"raw_affiliation_string":"[United Airlines, Chicago, IL, USA]","institution_ids":["https://openalex.org/I1334696734"]}]},{"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":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.5517,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.88862041,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"11","issue":"1","first_page":"111","last_page":"124"},"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.9998000264167786,"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.9998000264167786,"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.9986000061035156,"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.9980000257492065,"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/enumeration","display_name":"Enumeration","score":0.8100966215133667},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.6596271991729736},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.6428980827331543},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.6166326403617859},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5990784168243408},{"id":"https://openalex.org/keywords/resource-allocation","display_name":"Resource allocation","score":0.5909087657928467},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.4983022212982178},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.49280503392219543},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.48198455572128296},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4762287735939026},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.464125394821167},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3576446771621704},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22554102540016174},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19176626205444336},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.13144418597221375},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.08500638604164124}],"concepts":[{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.8100966215133667},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.6596271991729736},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.6428980827331543},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.6166326403617859},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5990784168243408},{"id":"https://openalex.org/C29202148","wikidata":"https://www.wikidata.org/wiki/Q287260","display_name":"Resource allocation","level":2,"score":0.5909087657928467},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.4983022212982178},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.49280503392219543},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.48198455572128296},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4762287735939026},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.464125394821167},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3576446771621704},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22554102540016174},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19176626205444336},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.13144418597221375},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.08500638604164124},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2013.2266793","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2013.2266793","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1496620875","https://openalex.org/W1976634747","https://openalex.org/W1979184171","https://openalex.org/W2005217875","https://openalex.org/W2017535633","https://openalex.org/W2055858190","https://openalex.org/W2077724781","https://openalex.org/W2102530902","https://openalex.org/W2109692480","https://openalex.org/W2110169180","https://openalex.org/W2119361484","https://openalex.org/W2149086924","https://openalex.org/W2275722371","https://openalex.org/W2280816982","https://openalex.org/W2509841691","https://openalex.org/W4250502972","https://openalex.org/W6645076307"],"related_works":["https://openalex.org/W2050076411","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/W2117224408","https://openalex.org/W3137070212","https://openalex.org/W2379911191"],"abstract_inverted_index":{"An":[0],"earlier":[1],"work":[2],"of":[3,13,36,40,42,50,63,96],"ours":[4],"has":[5],"proposed":[6],"a":[7,37,83],"novel":[8,84],"approach":[9],"for":[10,20,58],"the":[11,14,30,33,43,48,59,68,78,93,97],"deployment":[12],"maximally":[15],"permissive":[16],"deadlock":[17],"avoidance":[18],"policy":[19],"complex":[21],"resource":[22],"allocation":[23],"systems":[24],"(RAS),":[25],"that":[26,65,86],"is":[27],"based":[28],"on":[29],"identification":[31,60],"and":[32,61],"efficient":[34],"storage":[35],"critical":[38,89],"subset":[39],"states":[41,90],"underlying":[44],"RAS":[45,98],"state":[46,99],"space;":[47],"availability":[49],"this":[51],"information":[52],"enables":[53],"an":[54],"expedient":[55],"one-step-lookahead":[56],"scheme":[57],"blockage":[62],"transitions":[64],"will":[66],"take":[67],"system":[69],"behavior":[70],"outside":[71],"its":[72],"safe":[73],"region.":[74],"This":[75],"paper":[76],"complements":[77],"aforementioned":[79],"results":[80],"by":[81],"introducing":[82],"algorithm":[85],"provides":[87],"those":[88],"while":[91],"avoiding":[92],"complete":[94],"enumeration":[95],"space.":[100]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}