{"id":"https://openalex.org/W2968809557","doi":"https://doi.org/10.1109/tac.2019.2934427","title":"Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems","display_name":"Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems","publication_year":2019,"publication_date":"2019-08-09","ids":{"openalex":"https://openalex.org/W2968809557","doi":"https://doi.org/10.1109/tac.2019.2934427","mag":"2968809557"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2019.2934427","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2019.2934427","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/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 & Systems Engineering, Georgia Institute of Technology, Atlanta, USA"],"raw_orcid":"https://orcid.org/0000-0001-6176-0925","affiliations":[{"raw_affiliation_string":"School of Industrial & Systems Engineering, Georgia Institute of Technology, Atlanta, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006279709","display_name":"Tom\u00e1\u0161 Masopust","orcid":"https://orcid.org/0000-0001-9282-758X"},"institutions":[{"id":"https://openalex.org/I4210120266","display_name":"Czech Academy of Sciences, Institute of Mathematics","ror":"https://ror.org/02tv1yf50","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210120266"]},{"id":"https://openalex.org/I70703428","display_name":"Palack\u00fd University Olomouc","ror":"https://ror.org/04qxnmv42","country_code":"CZ","type":"education","lineage":["https://openalex.org/I70703428"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Tomas Masopust","raw_affiliation_strings":["Department of Computer Science, Palacky University, Olomouc, Czechia","Institute of Mathematics, Czech Academy of Sciences, Star\u00e9 M\u011bsto, Czechia"],"raw_orcid":"https://orcid.org/0000-0001-9282-758X","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Palacky University, Olomouc, Czechia","institution_ids":["https://openalex.org/I70703428"]},{"raw_affiliation_string":"Institute of Mathematics, Czech Academy of Sciences, Star\u00e9 M\u011bsto, Czechia","institution_ids":["https://openalex.org/I4210120266"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.9281,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.87509894,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":97},"biblio":{"volume":"65","issue":"7","first_page":"2883","last_page":"2898"},"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.9994000196456909,"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.9994000196456909,"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/T11814","display_name":"Advanced Manufacturing and Logistics Optimization","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10524","display_name":"Traffic control and management","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.9885733127593994},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.824233889579773},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7241608500480652},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5822699666023254},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.5176473259925842},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4381352663040161},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.43569377064704895},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3818586766719818},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.10975593328475952},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10381290316581726}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9885733127593994},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.824233889579773},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7241608500480652},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5822699666023254},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.5176473259925842},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4381352663040161},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.43569377064704895},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3818586766719818},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.10975593328475952},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10381290316581726}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2019.2934427","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2019.2934427","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/G3488472465","display_name":"Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems","funder_award_id":"GC19-06175J","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"}],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W126122642","https://openalex.org/W1551562380","https://openalex.org/W1963884875","https://openalex.org/W1986164452","https://openalex.org/W2048036606","https://openalex.org/W2064378637","https://openalex.org/W2083721544","https://openalex.org/W2118966355","https://openalex.org/W2133158797","https://openalex.org/W2137890200","https://openalex.org/W2138574698","https://openalex.org/W2156553949","https://openalex.org/W2241553860","https://openalex.org/W2404271123","https://openalex.org/W2509841691","https://openalex.org/W2541273873","https://openalex.org/W2772828569","https://openalex.org/W2792991645","https://openalex.org/W2794965084","https://openalex.org/W2898197987","https://openalex.org/W2968731375","https://openalex.org/W2973500178","https://openalex.org/W3134493930","https://openalex.org/W3163531568","https://openalex.org/W4253331343","https://openalex.org/W6632973643","https://openalex.org/W6679967364","https://openalex.org/W6713083276","https://openalex.org/W6729318774","https://openalex.org/W6794957077"],"related_works":["https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W4312626387","https://openalex.org/W1500907979","https://openalex.org/W1651168384","https://openalex.org/W1551903405","https://openalex.org/W2039577724","https://openalex.org/W2103504376","https://openalex.org/W2380814829","https://openalex.org/W2153337086"],"abstract_inverted_index":{"Open,":[0],"irreversible,":[1],"dynamically":[2],"routed,":[3],"zone-controlled":[4],"guidepath-based":[5],"transport":[6,93,175],"systems":[7,17,32,94,176],"model":[8],"the":[9,36,39,50,80,85,89,117,125,131,144,151,154,169,173,180,183,188,207,220,236],"operation":[10],"of":[11,41,49,68,79,83,92,103,111,119,124,134,153,172,190,206,239],"many":[12],"automated":[13],"unit-load":[14],"material":[15],"handling":[16],"that":[18,58,186,215,224],"are":[19,71,187],"used":[20],"in":[21,61,88,219,227,235],"various":[22],"production":[23],"and":[24,141,167,182,199],"distribution":[25],"facilities.":[26],"An":[27],"important":[28],"requirement":[29],"for":[30,129,147,165,211],"these":[31,112],"is":[33,95,225],"to":[34,45,160,179],"preserve":[35],"system":[37,43],"liveness-i.e.,":[38],"ability":[40],"each":[42],"agent":[44],"reach":[46],"any":[47],"location":[48],"underlying":[51],"guidepath":[52],"network-by":[53],"blocking":[54],"those":[55,212],"traffic":[56,69,113,213],"states":[57,70,214],"will":[59],"result":[60],"deadlock":[62],"and/or":[63],"livelock.":[64],"The":[65,75],"remaining":[66],"set":[67],"characterized":[72],"as":[73],"\u201clive.\u201d":[74],"worst-case":[76],"computational":[77],"complexity":[78],"decision":[81],"problem":[82,133],"assessing":[84],"state":[86,208,222],"liveness":[87,135,184,209],"considered":[90,174,226],"class":[91,223],"an":[96,108,120,197],"open":[97],"issue.":[98],"As":[99],"a":[100,138,161],"first":[101],"contribution":[102],"this":[104,148,191,228,232,240],"paper,":[105],"we":[106,142,230],"identify":[107],"extensive":[109],"subclass":[110],"states,":[114],"defined":[115],"through":[116],"topology":[118],"abstracting":[121],"graphical":[122],"representation":[123],"\u201ctraffic":[126],"state\u201d":[127],"concept,":[128],"which":[130],"corresponding":[132],"assessment":[136],"admits":[137],"polynomial":[139],"solution,":[140],"present":[143],"relevant":[145],"algorithm":[146],"assessment.":[149],"But":[150],"development":[152],"aforementioned":[155],"results":[156],"has":[157],"also":[158],"led":[159],"new":[162],"methodological":[163],"framework":[164,194],"representing":[166],"analyzing":[168],"qualitative":[170],"dynamics":[171],"with":[177],"respect":[178],"reachability":[181],"problems":[185],"focus":[189],"paper.":[192,241],"This":[193],"can":[195],"enable":[196],"effective":[198],"efficient":[200],"(but":[201],"maybe":[202],"not":[203,217],"polynomial-complexity)":[204],"resolution":[205],"even":[210],"do":[216],"belong":[218],"primary":[221],"paper;":[229],"highlight":[231],"additional":[233],"possibility":[234],"closing":[237],"part":[238]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}