{"id":"https://openalex.org/W2772777461","doi":"https://doi.org/10.1109/smc.2017.8123211","title":"Near-optimal and minimal PN supervisors of FMS with uncontrollability and unobservability","display_name":"Near-optimal and minimal PN supervisors of FMS with uncontrollability and unobservability","publication_year":2017,"publication_date":"2017-10-01","ids":{"openalex":"https://openalex.org/W2772777461","doi":"https://doi.org/10.1109/smc.2017.8123211","mag":"2772777461"},"language":"en","primary_location":{"id":"doi:10.1109/smc.2017.8123211","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc.2017.8123211","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-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/A5037242988","display_name":"Bo Huang","orcid":"https://orcid.org/0000-0003-2020-5479"},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bo Huang","raw_affiliation_strings":["School of Computer Science and Engineering, Nanjing University of Science and Technology, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Nanjing University of Science and Technology, Nanjing, China","institution_ids":["https://openalex.org/I36399199"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034322380","display_name":"Yandong Pei","orcid":null},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"YanDong Pei","raw_affiliation_strings":["School of Computer Science and Engineering, Nanjing University of Science and Technology, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Nanjing University of Science and Technology, Nanjing, China","institution_ids":["https://openalex.org/I36399199"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110517186","display_name":"Yuwang Yang","orcid":"https://orcid.org/0000-0002-6636-8831"},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"YuWang Yang","raw_affiliation_strings":["School of Computer Science and Engineering, Nanjing University of Science and Technology, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Nanjing University of Science and Technology, Nanjing, China","institution_ids":["https://openalex.org/I36399199"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081318069","display_name":"MengChu Zhou","orcid":"https://orcid.org/0000-0002-5408-8752"},"institutions":[{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"MengChu Zhou","raw_affiliation_strings":["Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA","institution_ids":["https://openalex.org/I118118575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100393874","display_name":"Jianqiang Li","orcid":"https://orcid.org/0009-0001-7908-4782"},"institutions":[{"id":"https://openalex.org/I37796252","display_name":"Beijing University of Technology","ror":"https://ror.org/037b1pp87","country_code":"CN","type":"education","lineage":["https://openalex.org/I37796252"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"JianQiang Li","raw_affiliation_strings":["School of Software Engineering Beijing, University of Technology, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software Engineering Beijing, University of Technology, Beijing, China","institution_ids":["https://openalex.org/I37796252"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9571,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.78875386,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"3715","last_page":"3720"},"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.998199999332428,"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/T10142","display_name":"Formal Methods in Verification","score":0.9944999814033508,"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/unobservable","display_name":"Unobservable","score":0.9720052480697632},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.8821114301681519},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8678051233291626},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.8277385830879211},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.8209114074707031},{"id":"https://openalex.org/keywords/sublanguage","display_name":"Sublanguage","score":0.7047420740127563},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.46120351552963257},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.43342214822769165},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4306102693080902},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.4276614189147949},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.422937273979187},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40970784425735474},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.31401440501213074},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.2882547378540039},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.26897555589675903},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2195751965045929},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.1648331582546234},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11480042338371277},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10601016879081726}],"concepts":[{"id":"https://openalex.org/C2780695315","wikidata":"https://www.wikidata.org/wiki/Q3799040","display_name":"Unobservable","level":2,"score":0.9720052480697632},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.8821114301681519},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8678051233291626},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.8277385830879211},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.8209114074707031},{"id":"https://openalex.org/C2776411971","wikidata":"https://www.wikidata.org/wiki/Q17141398","display_name":"Sublanguage","level":2,"score":0.7047420740127563},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.46120351552963257},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.43342214822769165},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4306102693080902},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.4276614189147949},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.422937273979187},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40970784425735474},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.31401440501213074},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2882547378540039},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26897555589675903},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2195751965045929},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.1648331582546234},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11480042338371277},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10601016879081726},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/smc.2017.8123211","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc.2017.8123211","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W332683046","https://openalex.org/W614929447","https://openalex.org/W1572060549","https://openalex.org/W1814542989","https://openalex.org/W1898889072","https://openalex.org/W1962985716","https://openalex.org/W1969638889","https://openalex.org/W2005217875","https://openalex.org/W2104367108","https://openalex.org/W2124901174","https://openalex.org/W2126163520","https://openalex.org/W2132355828","https://openalex.org/W2136749565","https://openalex.org/W2140872435","https://openalex.org/W2147281200","https://openalex.org/W2151008975","https://openalex.org/W2157572995","https://openalex.org/W2306294703","https://openalex.org/W2515380791","https://openalex.org/W2594563654","https://openalex.org/W4236164983"],"related_works":["https://openalex.org/W2097726134","https://openalex.org/W4240933734","https://openalex.org/W2034815558","https://openalex.org/W2149686805","https://openalex.org/W1997309406","https://openalex.org/W4298084109","https://openalex.org/W2157429361","https://openalex.org/W4294689033","https://openalex.org/W2950099535","https://openalex.org/W2290012475"],"abstract_inverted_index":{"For":[0],"flexible":[1],"manufacturing":[2],"systems,":[3],"this":[4],"paper":[5],"presents":[6],"a":[7,37,64],"Petri":[8],"net":[9],"based":[10],"deadlock":[11],"prevention":[12],"method":[13,102],"to":[14,62,106],"obtain":[15],"highly":[16,124],"permissive":[17],"and":[18,27,47,71,92,126,134],"structurally":[19,127],"minimal":[20,128],"supervisors":[21,121],"in":[22,129],"the":[23,44,51,74,80,99,107,119,130],"presence":[24,131],"of":[25,132],"uncontrollable":[26,88,114],"unobservable":[28,94],"transitions.":[29],"First,":[30],"we":[31],"define":[32],"admissible":[33,69,81],"markings":[34,70],"which":[35,66],"form":[36],"maximal":[38],"strongly":[39],"connected":[40],"component":[41],"(SCC)":[42],"containing":[43],"initial":[45],"marking":[46],"not":[48],"leading":[49],"outside":[50],"SCC":[52],"uncontrollably.":[53],"Then,":[54],"an":[55],"integer":[56],"linear":[57],"programming":[58],"problem":[59],"is":[60],"formulated":[61],"construct":[63],"supervisor":[65],"permits":[67],"all":[68,73],"forbids":[72],"very":[75],"first":[76],"inadmissible":[77],"states":[78],"from":[79],"zone.":[82],"It":[83],"also":[84],"ensures":[85],"that":[86],"no":[87,93],"transitions":[89,112],"are":[90,96,113,122],"controlled":[91],"ones":[95],"observed":[97],"by":[98],"supervisor.":[100],"The":[101],"can":[103],"be":[104],"applied":[105],"plant":[108],"nets":[109],"whose":[110],"crucial":[111],"and/or":[115],"unobservable.":[116],"In":[117],"addition,":[118],"obtained":[120],"deadlock-free,":[123],"permissive,":[125],"controllability":[133],"observability.":[135]},"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}