{"id":"https://openalex.org/W2968731375","doi":"https://doi.org/10.1109/med.2019.8798579","title":"Some new results on the state liveness of open guidepath-based traffic systems","display_name":"Some new results on the state liveness of open guidepath-based traffic systems","publication_year":2019,"publication_date":"2019-07-01","ids":{"openalex":"https://openalex.org/W2968731375","doi":"https://doi.org/10.1109/med.2019.8798579","mag":"2968731375"},"language":"en","primary_location":{"id":"doi:10.1109/med.2019.8798579","is_oa":false,"landing_page_url":"https://doi.org/10.1109/med.2019.8798579","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 27th Mediterranean Conference on Control and Automation (MED)","raw_type":"proceedings-article"},"type":"conference-paper","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"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Industrial & Systems Engineering, Georgia Institute of Technology","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/I202391551","display_name":"Czech Academy of Sciences","ror":"https://ror.org/053avzc18","country_code":"CZ","type":"government","lineage":["https://openalex.org/I202391551"]},{"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":["Palacky University Olomouc & Institute of Mathematics, Czech Academy of Sciences"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Palacky University Olomouc & Institute of Mathematics, Czech Academy of Sciences","institution_ids":["https://openalex.org/I202391551","https://openalex.org/I4210120266","https://openalex.org/I70703428"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"398","last_page":"404"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11814","display_name":"Advanced Manufacturing and Logistics Optimization","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11814","display_name":"Advanced Manufacturing and Logistics Optimization","score":0.9997000098228455,"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.9958000183105469,"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"}},{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.9585500955581665},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6983177661895752},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5308809280395508},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.36397117376327515},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3228711485862732},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10637915134429932}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9585500955581665},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6983177661895752},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5308809280395508},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.36397117376327515},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3228711485862732},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10637915134429932}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/med.2019.8798579","is_oa":false,"landing_page_url":"https://doi.org/10.1109/med.2019.8798579","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 27th Mediterranean Conference on Control and Automation (MED)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.47999998927116394,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W73629738","https://openalex.org/W1496620875","https://openalex.org/W1542172960","https://openalex.org/W1587663028","https://openalex.org/W1963884875","https://openalex.org/W2011039300","https://openalex.org/W2040546139","https://openalex.org/W2064378637","https://openalex.org/W2133158797","https://openalex.org/W2137890200","https://openalex.org/W2138574698","https://openalex.org/W2145493798","https://openalex.org/W2156553949","https://openalex.org/W2509841691","https://openalex.org/W2792991645","https://openalex.org/W2904962248","https://openalex.org/W2946046356","https://openalex.org/W2968809557","https://openalex.org/W3134493930","https://openalex.org/W3163531568","https://openalex.org/W4253331343","https://openalex.org/W6679967364","https://openalex.org/W6794957077"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W1565271071","https://openalex.org/W2081199208","https://openalex.org/W3349016","https://openalex.org/W3160870209","https://openalex.org/W2494011163","https://openalex.org/W2053262709","https://openalex.org/W2139648957","https://openalex.org/W1481041875"],"abstract_inverted_index":{"Guidepath-based":[0],"traffic":[1,24,107,113,135,155,167,174],"systems":[2,35,168],"is":[3,59],"a":[4,101,116,125],"pertinent":[5],"abstraction":[6],"that":[7,26,47,99,128],"has":[8,48],"been":[9],"used":[10],"extensively":[11],"by":[12,132,187,195],"the":[13,20,23,30,53,60,63,67,70,73,90,105,109,122,133,141,149,162,165,170,173,192,196],"Discrete":[14],"Event":[15],"Systems":[16],"(DES)":[17],"community":[18],"for":[19,100,147],"study":[21],"of":[22,56,62,69,72,95,104,111,124,140,164,172],"dynamics":[25],"take":[27],"place":[28],"in":[29,38,52,89,115],"automated":[31],"unit-load":[32],"material":[33],"handling":[34],"(MHS)":[36],"encountered":[37],"various":[39],"production":[40],"and":[41,83,169,191],"distribution":[42],"facilities.":[43],"A":[44],"particular":[45,126],"problem":[46],"drawn":[49],"extensive":[50],"attention":[51],"DES-based":[54],"investigation":[55],"these":[57],"systems,":[58,108],"preservation":[61,68,110],"system":[64,74],"\u201cliveness\u201d":[65],"i.e.,":[66],"ability":[71],"agents":[75],"to":[76,86,121],"complete":[77],"successfully":[78],"their":[79,112],"currently":[80],"allocated":[81],"tasks":[82,88],"engage":[84],"repeatedly":[85],"similar":[87],"future.":[91],"The":[92,137,181],"first":[93,182],"part":[94,139],"this":[96],"paper":[97,142],"establishes":[98],"large":[102],"subclass":[103],"considered":[106,166],"liveness":[114],"maximally":[117],"permissive":[118],"manner":[119],"reduces":[120],"observation":[123],"property":[127,151],"must":[129],"be":[130],"possessed":[131],"admitted":[134],"states.":[136],"second":[138,193],"provides":[143],"some":[144,158],"complexity":[145],"analysis":[146],"assessing":[148],"aforementioned":[150],"on":[152],"any":[153],"given":[154],"state,":[156],"under":[157,176],"further":[159],"assumptions":[160],"regarding":[161],"operation":[163],"structure":[171],"states":[175],"consideration.":[177],"<sup":[178],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[179],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">11</sup>":[180],"author":[183,194],"was":[184],"partially":[185],"supported":[186],"NSF":[188],"grant":[189],"ECCS-1707695":[190],"GARC":[197],"project":[198],"GC19-06175J.":[199]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}
