Diagnosability of discrete event systems subject to permanent sensor failures
This paper considers a failure diagnosis problem for discrete event systems subject to permanent sensor failures. A notion of diagnosability subject to permanent sensor failures is introduced with respect to a certain nondeterministic observation mask. For its verification, an aggregated Mealy autom...
Saved in:
| Published in | International journal of control Vol. 88; no. 12; pp. 2598 - 2610 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | English |
| Published |
Abingdon
Taylor & Francis
02.12.2015
Taylor & Francis Ltd |
| Subjects | |
| Online Access | Get full text |
Cover
Loading…
| Abstract | This paper considers a failure diagnosis problem for discrete event systems subject to permanent sensor failures. A notion of diagnosability subject to permanent sensor failures is introduced with respect to a certain nondeterministic observation mask. For its verification, an aggregated Mealy automaton with a deterministic and state-dependent observation mask is defined. It is shown that the diagnosability of the aggregated Mealy automaton is equivalent to the diagnosability of the original system subject to permanent sensor failures. Then, a method for verifying the diagnosability of the aggregated Mealy automaton is presented. Moreover, the delay bound within which the occurrence of any failure string can be detected subject to permanent sensor failures is computed. |
|---|---|
| AbstractList | This paper considers a failure diagnosis problem for discrete event systems subject to permanent sensor failures. A notion of diagnosability subject to permanent sensor failures is introduced with respect to a certain nondeterministic observation mask. For its verification, an aggregated Mealy automaton with a deterministic and state-dependent observation mask is defined. It is shown that the diagnosability of the aggregated Mealy automaton is equivalent to the diagnosability of the original system subject to permanent sensor failures. Then, a method for verifying the diagnosability of the aggregated Mealy automaton is presented. Moreover, the delay bound within which the occurrence of any failure string can be detected subject to permanent sensor failures is computed. |
| Author | Kanagawa, Naoki Takai, Shigemasa |
| Author_xml | – sequence: 1 givenname: Naoki surname: Kanagawa fullname: Kanagawa, Naoki organization: Division of Electrical, Electronic and Information Engineering, Osaka University – sequence: 2 givenname: Shigemasa surname: Takai fullname: Takai, Shigemasa email: takai@eei.eng.osaka-u.ac.jp organization: Division of Electrical, Electronic and Information Engineering, Osaka University |
| BookMark | eNqFkE1LAzEQhoMo2FZ_grDgeWuy-dgsXpT6CRUveg7Z7ERStklNUqX_3q2tFw96Gph53hnmGaNDHzwgdEbwlGCJLzCucE3qZlphwocWJ1zWB2hEqBAllxU-RKMtU26hYzROaYExoVySEXq6cfrNh6Rb17u8KYItOpdMhAwFfIDPRdqkDMtUpHW7AJOLHIoVxKX230PwKcTCatevI6QTdGR1n-B0Xyfo9e72ZfZQzp_vH2fX89IwLHMpOipraGRbCcOIIbxhuGac6MZK2Rioast0LSxo2rYMhDDUUtkx0knDLQY6Qee7vasY3teQslqEdfTDSUVqyqRgkouB4jvKxJBSBKtW0S113CiC1dac-jGntubU3tyQu_yVMy7r7ILPcXj03_TVLu28DYOnzxD7TmW96UO0UXvjkqJ_r_gCUSqJdQ |
| CitedBy_id | crossref_primary_10_1016_j_ifacol_2021_04_064 crossref_primary_10_1016_j_automatica_2022_110222 crossref_primary_10_1007_s10626_021_00353_1 crossref_primary_10_1109_TAC_2019_2893873 crossref_primary_10_1016_j_ifacol_2021_04_054 crossref_primary_10_1016_j_jfranklin_2022_06_034 crossref_primary_10_1109_TAC_2023_3266021 crossref_primary_10_1109_TAC_2016_2638042 crossref_primary_10_1016_j_arcontrol_2021_03_007 crossref_primary_10_1109_TAC_2021_3124185 crossref_primary_10_1109_TASE_2021_3049400 crossref_primary_10_1007_s40313_022_00910_5 crossref_primary_10_1109_TAC_2016_2601118 crossref_primary_10_1016_j_automatica_2021_109669 crossref_primary_10_1007_s11432_023_4108_8 crossref_primary_10_1109_TCNS_2023_3234598 crossref_primary_10_1080_00207179_2017_1403049 crossref_primary_10_1155_2020_4306261 |
| Cites_doi | 10.1109/TSMCA.2005.853503 10.1137/0325013 10.1016/j.automatica.2012.09.017 10.1109/TSMCA.2008.918627 10.1016/j.sysconle.2008.06.009 10.1109/9.412626 10.1016/j.automatica.2012.06.042 10.1007/978-0-387-68612-7 10.1109/TASE.2010.2049841 10.1109/TAC.2012.2185881 10.1109/9.940942 10.1007/s10626-006-0022-8 10.1109/TAC.2002.802763 |
| ContentType | Journal Article |
| Copyright | 2015 Taylor & Francis 2015 2015 Taylor & Francis |
| Copyright_xml | – notice: 2015 Taylor & Francis 2015 – notice: 2015 Taylor & Francis |
| DBID | AAYXX CITATION 7SC 7SP 7TB 8FD FR3 JQ2 L7M L~C L~D |
| DOI | 10.1080/00207179.2015.1051587 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Electronics & Communications Abstracts Mechanical & Transportation Engineering Abstracts Technology Research Database Engineering Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic Mechanical & Transportation Engineering Abstracts Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Technology Research Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISSN | 1366-5820 |
| EndPage | 2610 |
| ExternalDocumentID | 3871966531 10_1080_00207179_2015_1051587 1051587 |
| Genre | Article |
| GroupedDBID | -~X .7F .QJ 0BK 0R~ 29J 2DF 30N 4.4 5GY 5VS AAENE AAJMT AALDU AAMIU AAPUL AAQRR ABCCY ABFIM ABHAV ABJNI ABLIJ ABPAQ ABPEM ABTAI ABXUL ABXYU ACBEA ACGEJ ACGFO ACGFS ACIWK ACTIO ADCVX ADGTB ADIYS ADXPE AEISY AENEX AEOZL AEPSL AEYOC AFKVX AGDLA AGMYJ AHDZW AIJEM AJWEG AKBVH AKOOK ALMA_UNASSIGNED_HOLDINGS ALQZU AQRUH AVBZW AWYRJ BLEHA CCCUG CE4 CS3 DGEBU DKSSO DU5 EBS EJD E~A E~B F5P GTTXZ H13 HF~ HZ~ H~P IPNFZ J.P KYCEM M4Z NA5 NX~ O9- P2P RIG RNANH ROSJB RTWRZ S-T SNACF TBQAZ TDBHL TEN TFL TFT TFW TN5 TNC TTHFI TUROJ TWF UT5 UU3 ZGOLN ~S~ AAGDL AAHIA AAYXX ADYSH AFRVT AIYEW AMPGV AMVHM CITATION 7SC 7SP 7TB 8FD FR3 JQ2 L7M L~C L~D TASJS |
| ID | FETCH-LOGICAL-c408t-6d387e98b26c41c159407451a9f889ce27f4a76fea3bb4e66c3f38d41d8c5f0e3 |
| ISSN | 0020-7179 |
| IngestDate | Sun Jul 13 03:26:20 EDT 2025 Tue Jul 01 03:39:06 EDT 2025 Thu Apr 24 22:54:43 EDT 2025 Wed Dec 25 08:58:44 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 12 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c408t-6d387e98b26c41c159407451a9f889ce27f4a76fea3bb4e66c3f38d41d8c5f0e3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| PQID | 1734864856 |
| PQPubID | 176145 |
| PageCount | 13 |
| ParticipantIDs | crossref_primary_10_1080_00207179_2015_1051587 crossref_citationtrail_10_1080_00207179_2015_1051587 informaworld_taylorfrancis_310_1080_00207179_2015_1051587 proquest_journals_1734864856 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | 2015-12-02 |
| PublicationDateYYYYMMDD | 2015-12-02 |
| PublicationDate_xml | – month: 12 year: 2015 text: 2015-12-02 day: 02 |
| PublicationDecade | 2010 |
| PublicationPlace | Abingdon |
| PublicationPlace_xml | – name: Abingdon |
| PublicationTitle | International journal of control |
| PublicationYear | 2015 |
| Publisher | Taylor & Francis Taylor & Francis Ltd |
| Publisher_xml | – name: Taylor & Francis – name: Taylor & Francis Ltd |
| References | cit0001 cit0012 cit0020 Cormen T.H. (cit0004) 1990 cit0008 cit0019 cit0009 cit0017 cit0007 cit0005 cit0002 cit0013 cit0003 cit0014 |
| References_xml | – ident: cit0007 doi: 10.1109/TSMCA.2005.853503 – ident: cit0009 doi: 10.1137/0325013 – ident: cit0002 doi: 10.1016/j.automatica.2012.09.017 – ident: cit0008 doi: 10.1109/TSMCA.2008.918627 – ident: cit0019 doi: 10.1016/j.sysconle.2008.06.009 – ident: cit0012 doi: 10.1109/9.412626 – ident: cit0001 doi: 10.1016/j.automatica.2012.06.042 – ident: cit0003 doi: 10.1007/978-0-387-68612-7 – ident: cit0017 doi: 10.1109/TASE.2010.2049841 – ident: cit0014 doi: 10.1109/TAC.2012.2185881 – volume-title: Introduction to algorithms year: 1990 ident: cit0004 – ident: cit0005 doi: 10.1109/9.940942 – ident: cit0013 doi: 10.1007/s10626-006-0022-8 – ident: cit0020 doi: 10.1109/TAC.2002.802763 |
| SSID | ssj0013581 |
| Score | 2.2463903 |
| Snippet | This paper considers a failure diagnosis problem for discrete event systems subject to permanent sensor failures. A notion of diagnosability subject to... |
| SourceID | proquest crossref informaworld |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 2598 |
| SubjectTerms | Child custody diagnosability discrete event system Failure failure diagnosis permanent sensor failure Sensors Visiting rights Work in process |
| Title | Diagnosability of discrete event systems subject to permanent sensor failures |
| URI | https://www.tandfonline.com/doi/abs/10.1080/00207179.2015.1051587 https://www.proquest.com/docview/1734864856 |
| Volume | 88 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1Lb9QwELaW7QUOiKcoFOQDt1WqOH6sc6woaIXUXmhFxSVyHBtWhU21yQqJX884drIOrPq6RCtHtpKdz-OZycw3CL3nFUhVKZswA74JI1InKpvzRHNH36ZoWTJXKHxyKhbn7PMFv5hMbJS1tGnLQ_1nZ13JfaQKYyBXVyV7B8kOi8IA_Ab5whUkDNdbyfjY58l5qu3uU7krsl2DHTzriJkCT3Mzazali7c4Q_PKqeJVdxM82Ho9s2rpUtOb2EwdxwkjdomQ2T6oaZc8o34rr6fry-U2EHDp-1x_-bH8bn6pRsXhBcK7VI044uj8S_D5vF4zXktSIRIuszRWo1LGcMlipch9o-lwwILPlu5U3n22Y-Z8TFdERLhrQ0x4OJJHZNn_HGJDaiEZOE_9MoVbpgjLPEB7GbgT2RTtHS2Ov33dfm_i0vdWDC_b13o5FvZdzzOyYkYct_-d6Z2hcvYEPQ4eBj7ycHmKJmb1DD2KeCefo5MxcHBtcQ8c3AEHB-DgABzc1ngADvbAwT1wXqDzTx_PPiyS0Fcj0SyVbSIqKucml2UmNCMaDFrw6hknKrdS5tpkc8vUXFjjt6oQmloqK0YqqblNDX2Jpqt6ZV4hnBud5gZsfrjJKkNgnxtJqWKaZgZG9xHr_6dCB9J51_vkZ3GtnPbR4TDtyrOu3DQhj4VQtF24y_reNAW9Ye5BL7EibKimII71STDJxeu7Pssb9HC7kQ7QtF1vzFuwXNvyXYDdX8haj94 |
| linkProvider | Library Specific Holdings |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV07T8MwELZ4DMDAG_Eo4IE1VR0_4oyIh8qjnYrEZiWOLSFQUjXpAL8eX5xAC0IMXXM6y_Fd7uHcfYfQBc-cVJPEBsy43IQRqYMkjHigOcC3JTRNGTQKD4ai_8Tun_nzTC8MlFVCDm09UERtq-HjhsvotiQOWrghDYE-E8JhUi3hMlpGqzwWEUwxoL3h958ELv3UPLcV4Gm7eP5aZs4_zaGX_rLWtQu63UK63byvPHntTqu0qz9-4Dou9nbbaLOJUPGlV6kdtGTyXbQxg1u4hwbXvkDPY3y_48Ji6O6duAAc14hQ2ANEl7icpnDRg6sCj8EH5DXRpc7FBNvkBWriy330dHszuuoHzVyGQLOerAKRURmZWKah0IxoFxC5rJBxksRWylibMLIsiYQ1XtRCaGqpzBjJpOa2Z-gBWsmL3BwiHBvdi42LGR2RZYY4PTGS0oRpGhr39AixVhpKN6DlMDvjTZEvbFN_WgpOSzWndYS6X2xjj9rxH0M8K2pV1dcl1s82UfQf3k6rF6oxAKUigBokmOTieIGlz9FafzR4VI93w4cTtA6kupQm7KCVajI1py4gqtKzWuM_AVN6-0A |
| linkToPdf | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LS8QwEA4-QPTgW1yfOXjt0jSPpkdRF1-7eFDwFto0AVHaZds96K8307S6KuLBa8OENDNJZpJvvkHohOdOq2lqA2ZcbMKI1EEaxTzQHOjbUpplDBKFhyNx-cCuH3mHJqxaWCXE0NYTRTR7NSzucW47RBxkcEMUAmkmhEOhWsJlPI8WBZCHQxZHOPp8SODSF81zIwGZLonnt26-HE9fyEt_bNbNCTRYQ1k3dg88ee5P66yv377ROv7r59bRauuf4lNvUBtozhSbaGWGtXALDc89PM8zfL_i0mLI7Z049xs3fFDY00NXuJpmcM2D6xKP4QQomkYXOJcTbNMnQMRX2-hhcHF_dhm0VRkCzUJZByKnMjaJzCKhGdHOHXIxIeMkTayUiTZRbFkaC2u8ooXQ1FKZM5JLzW1o6A5aKMrC7CKcGB0mxnmMrpHlhjgrMZLSlGkaGfe1h1inDKVbynKonPGiyAezqZ8tBbOl2tnqof6H2NhzdvwlkMxqWtXNZYn1lU0U_UP2oDML1S7_ShHgDBJMcrH3j66P0dLd-UDdXo1u9tEytDQ4mugALdSTqTl03lCdHTX2_g4yovnk |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Diagnosability+of+discrete+event+systems+subject+to+permanent+sensor+failures&rft.jtitle=International+journal+of+control&rft.au=Kanagawa%2C+Naoki&rft.au=Takai%2C+Shigemasa&rft.date=2015-12-02&rft.issn=0020-7179&rft.eissn=1366-5820&rft.volume=88&rft.issue=12&rft.spage=2598&rft.epage=2610&rft_id=info:doi/10.1080%2F00207179.2015.1051587&rft.externalDBID=n%2Fa&rft.externalDocID=10_1080_00207179_2015_1051587 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0020-7179&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0020-7179&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0020-7179&client=summon |