{"id":"https://openalex.org/W1781658848","doi":"https://doi.org/10.1109/icarcv.2012.6485167","title":"Safe diagnosability of fuzzy discrete-event systems","display_name":"Safe diagnosability of fuzzy discrete-event systems","publication_year":2012,"publication_date":"2012-12-01","ids":{"openalex":"https://openalex.org/W1781658848","doi":"https://doi.org/10.1109/icarcv.2012.6485167","mag":"1781658848"},"language":"en","primary_location":{"id":"doi:10.1109/icarcv.2012.6485167","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icarcv.2012.6485167","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 12th International Conference on Control Automation Robotics & Vision (ICARCV)","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/A5049612324","display_name":"Fuchun Liu","orcid":"https://orcid.org/0000-0002-8941-4239"},"institutions":[{"id":"https://openalex.org/I139024713","display_name":"Guangdong University of Technology","ror":"https://ror.org/04azbjn80","country_code":"CN","type":"education","lineage":["https://openalex.org/I139024713"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fuchun Liu","raw_affiliation_strings":["School of Computers, Guangdong University of Technology, Guangzhou, China","School of Computers, Guangdong University of Technology,Guangzhou,China,510006"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computers, Guangdong University of Technology, Guangzhou, China","institution_ids":["https://openalex.org/I139024713"]},{"raw_affiliation_string":"School of Computers, Guangdong University of Technology,Guangzhou,China,510006","institution_ids":["https://openalex.org/I139024713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023527569","display_name":"Qiansheng Zhang","orcid":"https://orcid.org/0000-0003-2449-6226"},"institutions":[{"id":"https://openalex.org/I186272606","display_name":"Guangdong University of Foreign Studies","ror":"https://ror.org/00fhc9y79","country_code":"CN","type":"education","lineage":["https://openalex.org/I186272606"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiansheng Zhang","raw_affiliation_strings":["School of Informatics, Guangdong University of Foreign Studies, Guangzhou, China","School of Informatics,Guangdong University of Foreign Studies,Guangzhou,China,510420)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Informatics, Guangdong University of Foreign Studies, Guangzhou, China","institution_ids":["https://openalex.org/I186272606"]},{"raw_affiliation_string":"School of Informatics,Guangdong University of Foreign Studies,Guangzhou,China,510420)","institution_ids":["https://openalex.org/I186272606"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012132969","display_name":"Xuesong Chen","orcid":"https://orcid.org/0000-0001-9530-0644"},"institutions":[{"id":"https://openalex.org/I139024713","display_name":"Guangdong University of Technology","ror":"https://ror.org/04azbjn80","country_code":"CN","type":"education","lineage":["https://openalex.org/I139024713"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuesong Chen","raw_affiliation_strings":["School of Applied Mathematics, Guangdong University of Technology, Guangzhou, China","School of Applied Mathematics, Guangdong University of Technology, Guangzhou, China 510006"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Applied Mathematics, Guangdong University of Technology, Guangzhou, China","institution_ids":["https://openalex.org/I139024713"]},{"raw_affiliation_string":"School of Applied Mathematics, Guangdong University of Technology, Guangzhou, China 510006","institution_ids":["https://openalex.org/I139024713"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007762178","display_name":"Renwei Huang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210104080","display_name":"Guangzhou Panyu Polytechnic","ror":"https://ror.org/01j9jcf33","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210104080"]},{"id":"https://openalex.org/I4400600979","display_name":"Guangzhou City Polytechnic","ror":"https://ror.org/059h57z85","country_code":null,"type":"education","lineage":["https://openalex.org/I4400600979"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Renwei Huang","raw_affiliation_strings":["Department of Information Technology, Guangzhou City Polytechnic, Guangzhou, China","Department of Information Technology, Guangzhou City Polytecnic, Guangzhou, China 510405"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Technology, Guangzhou City Polytechnic, Guangzhou, China","institution_ids":["https://openalex.org/I4210104080","https://openalex.org/I4400600979"]},{"raw_affiliation_string":"Department of Information Technology, Guangzhou City Polytecnic, Guangzhou, China 510405","institution_ids":["https://openalex.org/I4400600979"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":null,"first_page":"252","last_page":"257"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"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.9921000003814697,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.7110475897789001},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7100666761398315},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.6152251362800598},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5784914493560791},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5176937580108643},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.4929323196411133},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.470177561044693},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.432101309299469},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.4261450469493866},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38246530294418335},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2281927764415741}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.7110475897789001},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7100666761398315},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.6152251362800598},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5784914493560791},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5176937580108643},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.4929323196411133},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.470177561044693},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.432101309299469},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4261450469493866},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38246530294418335},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2281927764415741},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icarcv.2012.6485167","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icarcv.2012.6485167","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 12th International Conference on Control Automation Robotics & Vision (ICARCV)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8199999928474426,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W173337395","https://openalex.org/W182227077","https://openalex.org/W1482540049","https://openalex.org/W1587663028","https://openalex.org/W1602536934","https://openalex.org/W1857847907","https://openalex.org/W1898259180","https://openalex.org/W1910546823","https://openalex.org/W1985787415","https://openalex.org/W2004477558","https://openalex.org/W2036476342","https://openalex.org/W2037802202","https://openalex.org/W2040498749","https://openalex.org/W2041333329","https://openalex.org/W2059667149","https://openalex.org/W2069849383","https://openalex.org/W2076860497","https://openalex.org/W2089465507","https://openalex.org/W2095814825","https://openalex.org/W2097336335","https://openalex.org/W2099395647","https://openalex.org/W2100968350","https://openalex.org/W2101961364","https://openalex.org/W2113269663","https://openalex.org/W2115217694","https://openalex.org/W2117023424","https://openalex.org/W2118630939","https://openalex.org/W2118673178","https://openalex.org/W2126410464","https://openalex.org/W2130688491","https://openalex.org/W2135790383","https://openalex.org/W2144074178","https://openalex.org/W2148799311","https://openalex.org/W2161248663","https://openalex.org/W2162128401","https://openalex.org/W2165094119","https://openalex.org/W2166163089","https://openalex.org/W2168425309","https://openalex.org/W2175139803","https://openalex.org/W2566418289","https://openalex.org/W2603756422","https://openalex.org/W2615254587","https://openalex.org/W3124734554"],"related_works":["https://openalex.org/W2046459260","https://openalex.org/W2967463586","https://openalex.org/W2765830098","https://openalex.org/W1971989957","https://openalex.org/W3157641275","https://openalex.org/W2517338020","https://openalex.org/W4312300846","https://openalex.org/W2615757685","https://openalex.org/W2098782634","https://openalex.org/W3000546688"],"abstract_inverted_index":{"Recently,":[0],"safe":[1,19,32,52,107,113,125,137],"diagnosability":[2,20,33,126,138],"of":[3,18,31,40,49,84,115,124,136,145],"discrete":[4,23],"event":[5,24],"systems":[6,25],"(DESs)":[7],"was":[8],"investigated":[9],"in":[10,80],"the":[11,16,29,38,81,92,98,102,133,143],"literature.":[12],"This":[13],"paper":[14],"addresses":[15],"issue":[17],"for":[21,34,127],"fuzzy":[22,35,41,47,54,89],"(FDESs).":[26],"We":[27],"formalize":[28],"notion":[30],"automata,":[36],"where":[37],"observability":[39],"events":[42],"is":[43,56,86,94,109,129],"defined":[44],"to":[45,96,111,142],"be":[46,63,74],"instead":[48],"crisp.":[50],"A":[51,88],"diagnosable":[53],"automaton":[55,90],"required":[57],"that":[58],"not":[59],"only":[60],"faults":[61],"can":[62],"detected":[64],"with":[65],"a":[66,106,119],"certain":[67],"degree":[68],"but":[69],"also":[70],"fault":[71],"detection":[72],"must":[73],"completed":[75],"before":[76],"any":[77],"forbidden":[78,99],"string":[79],"failed":[82],"mode":[83],"system":[85],"executed.":[87],"called":[91],"recognizer":[93],"introduced":[95],"distinguish":[97],"strings":[100],"from":[101,139],"illegal":[103],"language.":[104],"Then":[105],"diagnoser":[108],"constructed":[110],"perform":[112],"diagnosis":[114],"FDESs.":[116,146],"In":[117],"particular,":[118],"necessary":[120],"and":[121],"sufficient":[122],"condition":[123],"FDESs":[128],"derived,":[130],"which":[131],"extends":[132],"main":[134],"results":[135],"crisp":[140],"DESs":[141],"setting":[144],"Some":[147],"illustrative":[148],"examples":[149],"are":[150],"provided.":[151]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}