{"id":"https://openalex.org/W2971629835","doi":"https://doi.org/10.1109/tii.2019.2939628","title":"Nonblocking Supervisory Control of State-Tree Structures With Conditional-Preemption Matrices","display_name":"Nonblocking Supervisory Control of State-Tree Structures With Conditional-Preemption Matrices","publication_year":2019,"publication_date":"2019-09-05","ids":{"openalex":"https://openalex.org/W2971629835","doi":"https://doi.org/10.1109/tii.2019.2939628","mag":"2971629835"},"language":"en","primary_location":{"id":"doi:10.1109/tii.2019.2939628","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2019.2939628","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"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 Industrial Informatics","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/A5024185697","display_name":"Deguang Wang","orcid":"https://orcid.org/0000-0003-4936-8773"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Deguang Wang","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","School of Electro-Mechanical Engineering, Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0003-4936-8773","affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100442268","display_name":"Xi Wang","orcid":"https://orcid.org/0000-0002-6427-8090"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]},{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["CN","DE"],"is_corresponding":false,"raw_author_name":"Xi Wang","raw_affiliation_strings":["Lehrstuhl f\u00fcr Regelungstechnik, Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany","School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","School of Electro-Mechanical Engineering, Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0002-6427-8090","affiliations":[{"raw_affiliation_string":"Lehrstuhl f\u00fcr Regelungstechnik, Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045305170","display_name":"Zhiwu Li","orcid":"https://orcid.org/0000-0003-1547-5503"},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]},{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN","MO"],"is_corresponding":false,"raw_author_name":"Zhiwu Li","raw_affiliation_strings":["Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau","School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","School of Electro-Mechanical Engineering, Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0003-1547-5503","affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau","institution_ids":["https://openalex.org/I111950717"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.2418,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.94764129,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"16","issue":"6","first_page":"3744","last_page":"3756"},"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.9998999834060669,"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.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9980999827384949,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/preemption","display_name":"Preemption","score":0.8828737735748291},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7060010433197021},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.5115138292312622},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.4925585389137268},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.47582343220710754},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.45117655396461487},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.436767041683197},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.4287448525428772},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40728989243507385},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.20321309566497803},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11980241537094116},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11532178521156311}],"concepts":[{"id":"https://openalex.org/C206952183","wikidata":"https://www.wikidata.org/wiki/Q1193100","display_name":"Preemption","level":2,"score":0.8828737735748291},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7060010433197021},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.5115138292312622},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.4925585389137268},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.47582343220710754},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.45117655396461487},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.436767041683197},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.4287448525428772},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40728989243507385},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.20321309566497803},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11980241537094116},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11532178521156311},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","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/tii.2019.2939628","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2019.2939628","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"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 Industrial Informatics","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5099999904632568}],"awards":[{"id":"https://openalex.org/G1758554163","display_name":null,"funder_award_id":"61603285","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1897111912","display_name":null,"funder_award_id":"2018YFB1700104","funder_id":"https://openalex.org/F4320336026","funder_display_name":"National Key Research and Development Program of China Stem Cell and Translational Research"},{"id":"https://openalex.org/G3363774619","display_name":null,"funder_award_id":"61873342","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G500440445","display_name":null,"funder_award_id":"61703322","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7228825760","display_name":null,"funder_award_id":"61673309","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320307517","display_name":"American Friends of the Alexander von Humboldt Foundation","ror":"https://ror.org/00c33a344"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320336026","display_name":"National Key Research and Development Program of China Stem Cell and Translational Research","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W322937049","https://openalex.org/W775972854","https://openalex.org/W1491356764","https://openalex.org/W1539498435","https://openalex.org/W1562548608","https://openalex.org/W1979349468","https://openalex.org/W1996944555","https://openalex.org/W2037143823","https://openalex.org/W2072949130","https://openalex.org/W2074397273","https://openalex.org/W2080267935","https://openalex.org/W2099529102","https://openalex.org/W2115425820","https://openalex.org/W2121468570","https://openalex.org/W2125393216","https://openalex.org/W2138399311","https://openalex.org/W2155277639","https://openalex.org/W2284540796","https://openalex.org/W2314658126","https://openalex.org/W2316519055","https://openalex.org/W2336306883","https://openalex.org/W2344326925","https://openalex.org/W2344852273","https://openalex.org/W2479050047","https://openalex.org/W2480798947","https://openalex.org/W2593972309","https://openalex.org/W2614826960","https://openalex.org/W2783183134","https://openalex.org/W2884266744","https://openalex.org/W2906830113","https://openalex.org/W4288853474","https://openalex.org/W6608979276","https://openalex.org/W6632153437","https://openalex.org/W6680361804","https://openalex.org/W6841587223"],"related_works":["https://openalex.org/W1992741870","https://openalex.org/W2542904743","https://openalex.org/W2611966366","https://openalex.org/W2115279934","https://openalex.org/W2584649593","https://openalex.org/W2612831843","https://openalex.org/W2295542068","https://openalex.org/W2040761469","https://openalex.org/W2314460954","https://openalex.org/W2073034928"],"abstract_inverted_index":{"State-tree":[0],"structure":[1,18],"(STS)":[2],"is":[3,19,39,67,116,149],"a":[4,22,46,64,91,131,141],"powerful":[5],"tool":[6],"for":[7,143],"the":[8,34,71,79,119],"modeling":[9],"and":[10,43,57,128,159],"control":[11,115],"of":[12,36,49,106,121],"large-scale":[13],"discrete-event":[14],"systems":[15,154],"(DES)":[16],"whose":[17],"organized":[20],"in":[21,33,45,118,130],"top-down":[23],"hierarchy.":[24],"The":[25,111,146],"notorious":[26],"state-explosion":[27],"problem":[28],"can":[29,77],"be":[30],"managed":[31],"effectively":[32],"framework":[35,120],"STS.":[37],"Priority":[38],"an":[40],"important":[41],"concept":[42],"exists":[44],"wide":[47],"range":[48],"DES,":[50],"such":[51],"as":[52,140],"manufacturing":[53,153],"systems,":[54,56],"traffic":[55],"logistic":[58],"(service)":[59],"systems.":[60,162],"In":[61,82],"this":[62],"article,":[63],"conditional-preemption":[65,97],"matrix":[66],"used":[68],"to":[69,84,102,109],"describe":[70],"preemption":[72],"relations":[73],"among":[74],"events,":[75],"which":[76,100,135],"represent":[78],"priority":[80],"intuitively.":[81],"order":[83],"augment":[85],"STS":[86,93,95],"with":[87,96],"priority,":[88],"we":[89],"propose":[90],"novel":[92],"framework:":[94],"matrices":[98],"(STSM),":[99],"aims":[101],"solve":[103],"different":[104],"kinds":[105],"issues":[107],"related":[108],"priority.":[110],"optimal":[112],"nonblocking":[113],"supervisory":[114],"deployed":[117],"STSM.":[122],"Symbolic":[123],"synthesis":[124],"algorithms":[125],"are":[126],"implemented":[127],"integrated":[129],"software":[132],"tool,":[133],"STSLib,":[134],"exploits":[136],"binary":[137],"decision":[138],"diagrams":[139],"basis":[142],"efficient":[144],"computation.":[145],"developed":[147],"approach":[148],"demonstrated":[150],"by":[151],"(a)":[152],"using":[155],"automatic":[156],"guided":[157],"vehicles":[158],"(b)":[160],"real-time":[161]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":13}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}