Robust Diagnosability Analysis Using Basis Reachability Graph
Fault-freeness is one of the necessary guarantees for healthy and stable operations of discrete event systems. Traditional diagnostic models may fail since sensors may suffer electronic component failures, communication failures, or atmospheric electromagnetic interference. Robust diagnosis problem...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2023-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/10017281/ |
| _version_ | 1797804861095411712 |
|---|---|
| author | Shiqi Li Sian Zhou Li Yin Rongtian Jiang |
| author_facet | Shiqi Li Sian Zhou Li Yin Rongtian Jiang |
| author_sort | Shiqi Li |
| collection | DOAJ |
| description | Fault-freeness is one of the necessary guarantees for healthy and stable operations of discrete event systems. Traditional diagnostic models may fail since sensors may suffer electronic component failures, communication failures, or atmospheric electromagnetic interference. Robust diagnosis problem has attracted more and more attention since it improves reliability of the diagnosis technology. When generating the Petri net reachability graph necessary for constructing a reachability diagnoser, one may face the state explosion problem. As a Petri net gets more complicated, the complexity of its reachability graph also increases exponentially. With the basis reachability graph, a lightweight diagnoser named a basis reachability diagnoser is developed, together with a robust basis reachability diagnoser obtained by dilating the basis reachability graph. Compared with reachability graphs, the advantages of basis reachability graphs in construction complexity are confirmed and the efficiency in robust diagnosability analysis is improved. |
| first_indexed | 2024-03-13T05:43:21Z |
| format | Article |
| id | doaj.art-1509be297e1f4e57b56b129343772f20 |
| institution | Directory Open Access Journal |
| issn | 2169-3536 |
| language | English |
| last_indexed | 2024-03-13T05:43:21Z |
| publishDate | 2023-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj.art-1509be297e1f4e57b56b129343772f202023-06-13T20:37:53ZengIEEEIEEE Access2169-35362023-01-01119751976210.1109/ACCESS.2023.323696310017281Robust Diagnosability Analysis Using Basis Reachability GraphShiqi Li0Sian Zhou1https://orcid.org/0000-0001-7186-9377Li Yin2Rongtian Jiang3School of Electro-Mechanical Engineering, Xidian University, Xi’an, ChinaInstitute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau, ChinaInstitute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau, ChinaHitachi Building Technology (Guangzhou) Company Ltd., Guangzhou, ChinaFault-freeness is one of the necessary guarantees for healthy and stable operations of discrete event systems. Traditional diagnostic models may fail since sensors may suffer electronic component failures, communication failures, or atmospheric electromagnetic interference. Robust diagnosis problem has attracted more and more attention since it improves reliability of the diagnosis technology. When generating the Petri net reachability graph necessary for constructing a reachability diagnoser, one may face the state explosion problem. As a Petri net gets more complicated, the complexity of its reachability graph also increases exponentially. With the basis reachability graph, a lightweight diagnoser named a basis reachability diagnoser is developed, together with a robust basis reachability diagnoser obtained by dilating the basis reachability graph. Compared with reachability graphs, the advantages of basis reachability graphs in construction complexity are confirmed and the efficiency in robust diagnosability analysis is improved.https://ieeexplore.ieee.org/document/10017281/Discrete event systemdiagnosabilitybasis reachability graphrobust diagnosability |
| spellingShingle | Shiqi Li Sian Zhou Li Yin Rongtian Jiang Robust Diagnosability Analysis Using Basis Reachability Graph IEEE Access Discrete event system diagnosability basis reachability graph robust diagnosability |
| title | Robust Diagnosability Analysis Using Basis Reachability Graph |
| title_full | Robust Diagnosability Analysis Using Basis Reachability Graph |
| title_fullStr | Robust Diagnosability Analysis Using Basis Reachability Graph |
| title_full_unstemmed | Robust Diagnosability Analysis Using Basis Reachability Graph |
| title_short | Robust Diagnosability Analysis Using Basis Reachability Graph |
| title_sort | robust diagnosability analysis using basis reachability graph |
| topic | Discrete event system diagnosability basis reachability graph robust diagnosability |
| url | https://ieeexplore.ieee.org/document/10017281/ |
| work_keys_str_mv | AT shiqili robustdiagnosabilityanalysisusingbasisreachabilitygraph AT sianzhou robustdiagnosabilityanalysisusingbasisreachabilitygraph AT liyin robustdiagnosabilityanalysisusingbasisreachabilitygraph AT rongtianjiang robustdiagnosabilityanalysisusingbasisreachabilitygraph |