K-loss robust codiagnosability of Discrete-Event Systems
Recently, the problem of robust diagnosis against loss of event observations has been proposed in the literature, where it is assumed that some sensors, or communication channels between sensors and diagnosers, are subject to failures. In these works, permanent or intermittent failures are considere...
Saved in:
| Published in | Automatica (Oxford) Vol. 140; p. 110222 |
|---|---|
| Main Authors | , , |
| Format | Journal Article |
| Language | English |
| Published |
Elsevier Ltd
01.06.2022
|
| Subjects | |
| Online Access | Get full text |
| ISSN | 0005-1098 1873-2836 |
| DOI | 10.1016/j.automatica.2022.110222 |
Cover
| Abstract | Recently, the problem of robust diagnosis against loss of event observations has been proposed in the literature, where it is assumed that some sensors, or communication channels between sensors and diagnosers, are subject to failures. In these works, permanent or intermittent failures are considered, and models of the plant subject to these failures are obtained. One characteristic of the robust diagnosis method considering intermittent failures is that the faulty sensor may or may not recover from the failure, and the intermittent failures may evolve to permanent failures, which are also represented in the model of the plant subject to intermittent failures. However, in some cases, the communication failure is transient due to external interference, i.e., the communication channel always recovers from the failure after a short period of time. In this paper, we formulate the problem of robust diagnosis against transient sensor communication failures. The new formulation leads to the definition of K-loss robust codiagnosability. We also present a method to verify this property. |
|---|---|
| AbstractList | Recently, the problem of robust diagnosis against loss of event observations has been proposed in the literature, where it is assumed that some sensors, or communication channels between sensors and diagnosers, are subject to failures. In these works, permanent or intermittent failures are considered, and models of the plant subject to these failures are obtained. One characteristic of the robust diagnosis method considering intermittent failures is that the faulty sensor may or may not recover from the failure, and the intermittent failures may evolve to permanent failures, which are also represented in the model of the plant subject to intermittent failures. However, in some cases, the communication failure is transient due to external interference, i.e., the communication channel always recovers from the failure after a short period of time. In this paper, we formulate the problem of robust diagnosis against transient sensor communication failures. The new formulation leads to the definition of K-loss robust codiagnosability. We also present a method to verify this property. |
| ArticleNumber | 110222 |
| Author | Oliveira, Vinicius de Souza Lima Moreira, Marcos Vicente Cabral, Felipe Gomes |
| Author_xml | – sequence: 1 givenname: Vinicius de Souza Lima surname: Oliveira fullname: Oliveira, Vinicius de Souza Lima email: vslo@poli.ufrj.br organization: COPPE-Electrical Engineering Program, Federal University of Rio de Janeiro, Cidade Universitária, Ilha do Fundão, Rio de Janeiro, 21.945-970, RJ, Brazil – sequence: 2 givenname: Felipe Gomes surname: Cabral fullname: Cabral, Felipe Gomes email: felipe.gomes.cabral@ufsc.br organization: Department of Automation and Systems, Federal University of Santa Catarina, Campus Trindade, Florianópolis, 88.040-900, SC, Brazil – sequence: 3 givenname: Marcos Vicente surname: Moreira fullname: Moreira, Marcos Vicente email: moreira.mv@poli.ufrj.br organization: COPPE-Electrical Engineering Program, Federal University of Rio de Janeiro, Cidade Universitária, Ilha do Fundão, Rio de Janeiro, 21.945-970, RJ, Brazil |
| BookMark | eNqNkM9KAzEQh4Mo2FbfYV8gayZJ0_QiaK1_sOBBPYdsMisp240kaaFv75YKghe9zDAwv4-Zb0xO-9gjIRWwGhioq3VttyVubAnO1pxxXgMMlZ-QEeiZoFwLdUpGjLEpBTbX52Sc83oYJWg-IvqZdjHnKsVmm0vlog_2o4_ZNqELZV_FtroL2SUsSJc77Ev1us8FN_mCnLW2y3j53Sfk_X75tnikq5eHp8XNijoBulCPorGqgVa3snXWKi6FFjibopvBtJFKKg1aAffYMIFz5bxTgkm0TkvhuZgQfeS6NNyZsDWfKWxs2htg5mDArM2PAXMwYI4Ghuj1r6gLZViLfUk2dP8B3B4BODy4C5hMdgF7hz4kdMX4GP6GfAE_F4EO |
| CitedBy_id | crossref_primary_10_1109_ACCESS_2023_3312542 crossref_primary_10_1016_j_isatra_2025_01_034 crossref_primary_10_1109_JAS_2024_124680 crossref_primary_10_1109_TAC_2023_3266021 crossref_primary_10_1016_j_ifacol_2023_10_1900 crossref_primary_10_1007_s11432_023_4108_8 |
| Cites_doi | 10.1109/JSEN.2019.2902354 10.1137/130914942 10.1016/j.protcy.2012.05.013 10.1109/TSMCA.2008.918627 10.1016/j.automatica.2012.06.042 10.1016/j.arcontrol.2013.09.009 10.1016/j.automatica.2017.01.017 10.1016/j.ifacol.2021.04.064 10.1145/3064809 10.1109/TAC.2016.2638042 10.1023/A:1008335115538 10.1109/IWCMC.2008.135 10.1007/s10626-017-0265-6 10.1109/TAC.2002.802763 10.1109/9.412626 10.1109/TAC.2014.2332238 10.1016/j.automatica.2012.09.017 10.1080/00207179.2015.1051587 10.1016/j.automatica.2012.06.024 10.1016/j.jnca.2016.10.019 10.1109/TAC.2011.2124950 10.1109/TSMCA.2005.853503 |
| ContentType | Journal Article |
| Copyright | 2022 Elsevier Ltd |
| Copyright_xml | – notice: 2022 Elsevier Ltd |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.automatica.2022.110222 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISSN | 1873-2836 |
| ExternalDocumentID | 10_1016_j_automatica_2022_110222 S000510982200067X |
| GrantInformation_xml | – fundername: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Brasil CAPES grantid: 001 funderid: http://dx.doi.org/10.13039/501100002322 – fundername: CNPq, Brazil funderid: http://dx.doi.org/10.13039/501100003593 – fundername: FAPERJ, Brazil funderid: http://dx.doi.org/10.13039/501100004586 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1~. 1~5 23N 3R3 4.4 457 4G. 5GY 5VS 6TJ 7-5 71M 8P~ 9JN 9JO AAAKF AAAKG AABNK AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AARIN AAXUO ABDEX ABFNM ABFRF ABJNI ABMAC ABUCO ABXDB ABYKQ ACBEA ACDAQ ACGFO ACGFS ACNNM ACRLP ADBBV ADEZE ADIYS ADMUD ADTZH AEBSH AECPX AEFWE AEKER AENEX AFFNX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AHPGS AI. AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ APLSM ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BLXMC CS3 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q GBLVA HAMUX HLZ HVGLF HZ~ H~9 IHE J1W JJJVA K-O KOM LG9 LY7 M41 MO0 N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ RXW SBC SDF SDG SDP SES SET SEW SPC SPCBC SSB SSD SST SSZ T5K T9H TAE TN5 VH1 WH7 WUQ X6Y XFK XPP ZMT ~G- 77I AATTM AAXKI AAYWO AAYXX ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD |
| ID | FETCH-LOGICAL-c318t-de3ba6b1f8f4fcaa624383e75ec715b4646818612deb03e96cdc6304eac843d23 |
| IEDL.DBID | .~1 |
| ISSN | 0005-1098 |
| IngestDate | Wed Oct 01 05:20:10 EDT 2025 Thu Apr 24 23:07:40 EDT 2025 Fri Feb 23 02:38:36 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Fault diagnosis Verifiers Robust codiagnosability Discrete Event Systems Automata |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c318t-de3ba6b1f8f4fcaa624383e75ec715b4646818612deb03e96cdc6304eac843d23 |
| ParticipantIDs | crossref_primary_10_1016_j_automatica_2022_110222 crossref_citationtrail_10_1016_j_automatica_2022_110222 elsevier_sciencedirect_doi_10_1016_j_automatica_2022_110222 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | June 2022 2022-06-00 |
| PublicationDateYYYYMMDD | 2022-06-01 |
| PublicationDate_xml | – month: 06 year: 2022 text: June 2022 |
| PublicationDecade | 2020 |
| PublicationTitle | Automatica (Oxford) |
| PublicationYear | 2022 |
| Publisher | Elsevier Ltd |
| Publisher_xml | – name: Elsevier Ltd |
| References | Sampath, Sengupta, Lafortune, Sinnamohideen, Teneketzis (b19) 1995; 40 Asim, M., Mokhtar, H., & Merabti, M. (2008). A fault management architecture for wireless sensor network. In Zaytoon, Lafortune (b24) 2013; 37 Oliveira, Cabral, Moreira (b15) 2020; 53 Moreira, Jesus, Basilio (b12) 2011; 56 (pp. 779–785). Lin (b10) 2014; 52 Carvalho, Moreira, Basilio (b4) 2017; 79 Qiu, Kumar (b18) 2008; 38 Qiu, Kumar (b17) 2006; 36 Trapp, Schurmann, Tetteroo (b22) 2002 Yoo, Lafortune (b23) 2002; 47 Muhammed, Shaikh (b13) 2017; 78 Takai (b20) 2012; 48 Tomola, Cabral, Carvalho, Moreira (b21) 2017; 62 Debouk, Lafortune, Teneketzis (b7) 2000; 10 Nunes, Moreira, Alves, Carvalho, Basilio (b14) 2018; 28 Carvalho, Basilio, Moreira (b3) 2012; 48 Cassandras, Lafortune (b6) 2008 Kanagawa, Takai (b8) 2015; 88 Mahapatro, Khilar (b11) 2012; 4 Carvalho, Moreira, Basilio, Lafortune (b5) 2013; 49 Cabral, Moreira, Diene, Basilio (b2) 2015; 60 Park, Ivanov, Weimer, Pajic, Son, Lee (b16) 2017; 1 Kar, Misra (b9) 2019; 19 Trapp (10.1016/j.automatica.2022.110222_b22) 2002 Carvalho (10.1016/j.automatica.2022.110222_b4) 2017; 79 Kar (10.1016/j.automatica.2022.110222_b9) 2019; 19 10.1016/j.automatica.2022.110222_b1 Debouk (10.1016/j.automatica.2022.110222_b7) 2000; 10 Carvalho (10.1016/j.automatica.2022.110222_b3) 2012; 48 Qiu (10.1016/j.automatica.2022.110222_b17) 2006; 36 Park (10.1016/j.automatica.2022.110222_b16) 2017; 1 Tomola (10.1016/j.automatica.2022.110222_b21) 2017; 62 Nunes (10.1016/j.automatica.2022.110222_b14) 2018; 28 Muhammed (10.1016/j.automatica.2022.110222_b13) 2017; 78 Oliveira (10.1016/j.automatica.2022.110222_b15) 2020; 53 Takai (10.1016/j.automatica.2022.110222_b20) 2012; 48 Lin (10.1016/j.automatica.2022.110222_b10) 2014; 52 Cassandras (10.1016/j.automatica.2022.110222_b6) 2008 Qiu (10.1016/j.automatica.2022.110222_b18) 2008; 38 Carvalho (10.1016/j.automatica.2022.110222_b5) 2013; 49 Mahapatro (10.1016/j.automatica.2022.110222_b11) 2012; 4 Moreira (10.1016/j.automatica.2022.110222_b12) 2011; 56 Zaytoon (10.1016/j.automatica.2022.110222_b24) 2013; 37 Cabral (10.1016/j.automatica.2022.110222_b2) 2015; 60 Yoo (10.1016/j.automatica.2022.110222_b23) 2002; 47 Kanagawa (10.1016/j.automatica.2022.110222_b8) 2015; 88 Sampath (10.1016/j.automatica.2022.110222_b19) 1995; 40 |
| References_xml | – volume: 28 start-page: 215 year: 2018 end-page: 246 ident: b14 article-title: Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation publication-title: Discrete Event Dynamic Systems – volume: 52 start-page: 1276 year: 2014 end-page: 1298 ident: b10 article-title: Control of networked discrete event systems: Dealing with communication delays and losses publication-title: SIAM Journal on Control and Optimization – volume: 47 start-page: 1491 year: 2002 end-page: 1495 ident: b23 article-title: Polynomial-time verification of diagnosability of partially observed discrete-event systems publication-title: IEEE Transactions on Automatic Control – volume: 62 start-page: 5808 year: 2017 end-page: 5815 ident: b21 article-title: Robust disjunctive-codiagnosability of discrete-event systems against permanent loss of observations publication-title: IEEE Transactions on Automatic Control – volume: 49 start-page: 223 year: 2013 end-page: 231 ident: b5 article-title: Robust diagnosis of discrete-event systems against permanent loss of observations publication-title: Automatica – reference: Asim, M., Mokhtar, H., & Merabti, M. (2008). A fault management architecture for wireless sensor network. In – volume: 37 start-page: 308 year: 2013 end-page: 320 ident: b24 article-title: Overview of fault diagnosis methods for discrete event systems publication-title: Annual Reviews in Control – volume: 78 start-page: 267 year: 2017 end-page: 287 ident: b13 article-title: An analysis of fault detection strategies in wireless sensor networks publication-title: Journal of Network and Computer Applications – volume: 53 start-page: 250 year: 2020 end-page: 255 ident: b15 article-title: K-loss robust diagnosability of discrete-event systems publication-title: IFAC-PapersOnLine – volume: 88 start-page: 2598 year: 2015 end-page: 2610 ident: b8 article-title: Diagnosability of discrete event systems subject to permanent sensor failures publication-title: International Journal of Control – volume: 1 start-page: 1 year: 2017 end-page: 23 ident: b16 article-title: Security of cyber-physical systems in the presence of transient sensor faults publication-title: ACM Transactions on Cyber-Physical Systems – volume: 79 start-page: 315 year: 2017 end-page: 325 ident: b4 article-title: Diagnosability of intermittent sensor faults in discrete event systems publication-title: Automatica – volume: 10 start-page: 33 year: 2000 end-page: 86 ident: b7 article-title: Coordinated decentralized protocols for failure diagnosis of discrete event systems publication-title: Discrete Event Dynamic Systems: Theory and Applications – volume: 56 start-page: 1679 year: 2011 end-page: 1684 ident: b12 article-title: Polynomial time verification of decentralized diagnosability of discrete event systems publication-title: IEEE Transactions on Automatic Control – year: 2002 ident: b22 article-title: Failure behavior analysis for reliable distributed embedded systems publication-title: International parallel and distributed processing symposium – volume: 19 start-page: 5022 year: 2019 end-page: 5029 ident: b9 article-title: On the effects of transfaulty sensor nodes in stationary wireless sensor network systems publication-title: IEEE Sensors Journal – volume: 48 start-page: 1913 year: 2012 end-page: 1919 ident: b20 article-title: Verification of robust diagnosability for partially observed discrete event systems publication-title: Automatica – volume: 48 start-page: 2068 year: 2012 end-page: 2078 ident: b3 article-title: Robust diagnosis of discrete-event systems against intermittent loss of observations publication-title: Automatica – volume: 4 start-page: 97 year: 2012 end-page: 101 ident: b11 article-title: Transient fault tolerant wireless sensor networks publication-title: Procedia Technology – volume: 40 start-page: 1555 year: 1995 end-page: 1575 ident: b19 article-title: Diagnosability of discrete-event systems publication-title: IEEE Transactions on Automatic Control – volume: 36 start-page: 384 year: 2006 end-page: 395 ident: b17 article-title: Decentralized failure diagnosis of discrete event systems publication-title: IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans – volume: 38 start-page: 628 year: 2008 end-page: 643 ident: b18 article-title: Distributed diagnosis under bounded-delay communication of immediately forwarded local observations publication-title: IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans – volume: 60 start-page: 59 year: 2015 end-page: 71 ident: b2 article-title: A Petri net diagnoser for discrete event systems modeled by finite state automata publication-title: IEEE Transactions on Automatic Control – reference: (pp. 779–785). – year: 2008 ident: b6 article-title: Introduction to discrete event systems – volume: 19 start-page: 5022 issue: 13 year: 2019 ident: 10.1016/j.automatica.2022.110222_b9 article-title: On the effects of transfaulty sensor nodes in stationary wireless sensor network systems publication-title: IEEE Sensors Journal doi: 10.1109/JSEN.2019.2902354 – volume: 52 start-page: 1276 issue: 2 year: 2014 ident: 10.1016/j.automatica.2022.110222_b10 article-title: Control of networked discrete event systems: Dealing with communication delays and losses publication-title: SIAM Journal on Control and Optimization doi: 10.1137/130914942 – year: 2002 ident: 10.1016/j.automatica.2022.110222_b22 article-title: Failure behavior analysis for reliable distributed embedded systems – year: 2008 ident: 10.1016/j.automatica.2022.110222_b6 – volume: 4 start-page: 97 year: 2012 ident: 10.1016/j.automatica.2022.110222_b11 article-title: Transient fault tolerant wireless sensor networks publication-title: Procedia Technology doi: 10.1016/j.protcy.2012.05.013 – volume: 38 start-page: 628 issue: 3 year: 2008 ident: 10.1016/j.automatica.2022.110222_b18 article-title: Distributed diagnosis under bounded-delay communication of immediately forwarded local observations publication-title: IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans doi: 10.1109/TSMCA.2008.918627 – volume: 48 start-page: 2068 issue: 9 year: 2012 ident: 10.1016/j.automatica.2022.110222_b3 article-title: Robust diagnosis of discrete-event systems against intermittent loss of observations publication-title: Automatica doi: 10.1016/j.automatica.2012.06.042 – volume: 37 start-page: 308 issue: 2 year: 2013 ident: 10.1016/j.automatica.2022.110222_b24 article-title: Overview of fault diagnosis methods for discrete event systems publication-title: Annual Reviews in Control doi: 10.1016/j.arcontrol.2013.09.009 – volume: 79 start-page: 315 year: 2017 ident: 10.1016/j.automatica.2022.110222_b4 article-title: Diagnosability of intermittent sensor faults in discrete event systems publication-title: Automatica doi: 10.1016/j.automatica.2017.01.017 – volume: 53 start-page: 250 issue: 4 year: 2020 ident: 10.1016/j.automatica.2022.110222_b15 article-title: K-loss robust diagnosability of discrete-event systems publication-title: IFAC-PapersOnLine doi: 10.1016/j.ifacol.2021.04.064 – volume: 1 start-page: 1 issue: 3 year: 2017 ident: 10.1016/j.automatica.2022.110222_b16 article-title: Security of cyber-physical systems in the presence of transient sensor faults publication-title: ACM Transactions on Cyber-Physical Systems doi: 10.1145/3064809 – volume: 62 start-page: 5808 issue: 11 year: 2017 ident: 10.1016/j.automatica.2022.110222_b21 article-title: Robust disjunctive-codiagnosability of discrete-event systems against permanent loss of observations publication-title: IEEE Transactions on Automatic Control doi: 10.1109/TAC.2016.2638042 – volume: 10 start-page: 33 issue: 1 year: 2000 ident: 10.1016/j.automatica.2022.110222_b7 article-title: Coordinated decentralized protocols for failure diagnosis of discrete event systems publication-title: Discrete Event Dynamic Systems: Theory and Applications doi: 10.1023/A:1008335115538 – ident: 10.1016/j.automatica.2022.110222_b1 doi: 10.1109/IWCMC.2008.135 – volume: 28 start-page: 215 issue: 2 year: 2018 ident: 10.1016/j.automatica.2022.110222_b14 article-title: Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation publication-title: Discrete Event Dynamic Systems doi: 10.1007/s10626-017-0265-6 – volume: 47 start-page: 1491 issue: 9 year: 2002 ident: 10.1016/j.automatica.2022.110222_b23 article-title: Polynomial-time verification of diagnosability of partially observed discrete-event systems publication-title: IEEE Transactions on Automatic Control doi: 10.1109/TAC.2002.802763 – volume: 40 start-page: 1555 issue: 9 year: 1995 ident: 10.1016/j.automatica.2022.110222_b19 article-title: Diagnosability of discrete-event systems publication-title: IEEE Transactions on Automatic Control doi: 10.1109/9.412626 – volume: 60 start-page: 59 issue: 1 year: 2015 ident: 10.1016/j.automatica.2022.110222_b2 article-title: A Petri net diagnoser for discrete event systems modeled by finite state automata publication-title: IEEE Transactions on Automatic Control doi: 10.1109/TAC.2014.2332238 – volume: 49 start-page: 223 issue: 1 year: 2013 ident: 10.1016/j.automatica.2022.110222_b5 article-title: Robust diagnosis of discrete-event systems against permanent loss of observations publication-title: Automatica doi: 10.1016/j.automatica.2012.09.017 – volume: 88 start-page: 2598 issue: 12 year: 2015 ident: 10.1016/j.automatica.2022.110222_b8 article-title: Diagnosability of discrete event systems subject to permanent sensor failures publication-title: International Journal of Control doi: 10.1080/00207179.2015.1051587 – volume: 48 start-page: 1913 issue: 8 year: 2012 ident: 10.1016/j.automatica.2022.110222_b20 article-title: Verification of robust diagnosability for partially observed discrete event systems publication-title: Automatica doi: 10.1016/j.automatica.2012.06.024 – volume: 78 start-page: 267 year: 2017 ident: 10.1016/j.automatica.2022.110222_b13 article-title: An analysis of fault detection strategies in wireless sensor networks publication-title: Journal of Network and Computer Applications doi: 10.1016/j.jnca.2016.10.019 – volume: 56 start-page: 1679 issue: 7 year: 2011 ident: 10.1016/j.automatica.2022.110222_b12 article-title: Polynomial time verification of decentralized diagnosability of discrete event systems publication-title: IEEE Transactions on Automatic Control doi: 10.1109/TAC.2011.2124950 – volume: 36 start-page: 384 issue: 2 year: 2006 ident: 10.1016/j.automatica.2022.110222_b17 article-title: Decentralized failure diagnosis of discrete event systems publication-title: IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans doi: 10.1109/TSMCA.2005.853503 |
| SSID | ssj0004182 |
| Score | 2.4422264 |
| Snippet | Recently, the problem of robust diagnosis against loss of event observations has been proposed in the literature, where it is assumed that some sensors, or... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 110222 |
| SubjectTerms | Automata Discrete Event Systems Fault diagnosis Robust codiagnosability Verifiers |
| Title | K-loss robust codiagnosability of Discrete-Event Systems |
| URI | https://dx.doi.org/10.1016/j.automatica.2022.110222 |
| Volume | 140 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Baden-Württemberg Complete Freedom Collection (Elsevier) customDbUrl: eissn: 1873-2836 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0004182 issn: 0005-1098 databaseCode: GBLVA dateStart: 20110101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection customDbUrl: eissn: 1873-2836 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0004182 issn: 0005-1098 databaseCode: ACRLP dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: ScienceDirect (Elsevier) customDbUrl: eissn: 1873-2836 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0004182 issn: 0005-1098 databaseCode: .~1 dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: ScienceDirect Freedom Collection Journals customDbUrl: eissn: 1873-2836 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0004182 issn: 0005-1098 databaseCode: AIKHN dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVLSH databaseName: Elsevier Journals customDbUrl: mediaType: online eissn: 1873-2836 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0004182 issn: 0005-1098 databaseCode: AKRWK dateStart: 19630101 isFulltext: true providerName: Library Specific Holdings |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3NS8MwHA1jXvQgfuL8GD14jVuTNEnxNObGdLiTg91C81GYjHXM7uDFv92kSd0EQcFjC79QXpOXF3i_FwBuu5hkLFEMJkxqSDJFIM8IhlY5U6tm7XGMuebk5wkdTcnTLJk1QL_uhXG2ysD9ntMrtg5vOgHNzmo-dz2-bkK5_LmKc2eug50wd4vB3cfW5kFi7hPDq8TNlAc3j_d4ZZuyqJJRXQIRQs4TjxD6eYva2XaGR-Aw6MWo5z_pGDTM8gQc7KQIngI-hgs7TrQu5OatjFShvX3OJ3C_R0UePcwtO1h5DAfO3hiFmPIzMB0OXvojGC5EgMouvRJqg2VGZZzznOQqyyhyQaOGJUaxOJGEEuoC6mKkjexik1KlFcVdYsmVE6wRPgfNZbE0FyBKY40Vk8QeSlNi1y3HuSFcS6sOjEZctgCrMRAqpIW7SysWoraFvYotesKhJzx6LRB_Va58YsYfau5rmMW3vy8ssf9affmv6iuw7568_esaNMv1xtxYoVHKdjWT2mCv9zgeTT4B6sLSiQ |
| linkProvider | Elsevier |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3NS8MwHA1zHtSD-InzswevcWuSJimeZDqm-zhtsFtpPgqTsY7ZHbz4t5s0qZsgKHht-YXymry8H7y8AHDbwiRlkWQwYkJBkkoCeUowNMqZGjVr2jFmDycPhrQ7Ji-TaFID7eosjLVVeu53nF6ytX_S9Gg2F9OpPeNrJ5TNnys5d7IFtkmEmO3A7j7WPg8SchcZXkZuxtzbeZzJK10VeRmNaiOIELKmeITQz3vUxr7TOQD7XjAGD-6bDkFNz4_A3kaM4DHgPTgz4wTLXKzeikDmyvnnXAT3e5BnwePU0IPRx_DJ-hsDn1N-Asadp1G7C_2NCFCatVdApbFIqQgznpFMpilFNmlUs0hLFkaCUEJtQl2IlBYtrGMqlaS4RQy7coIVwqegPs_n-gwEcaiwZIKYrjQmZuFynGnClTDyQCvERQOwCoNE-rhwe2vFLKl8Ya_JGr3Eopc49Bog_KpcuMiMP9TcVzAn335_Ypj91-rzf1XfgJ3uaNBP-s_D3gXYtW-cF-wS1IvlSl8Z1VGI63JWfQL0rtQe |
| 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=K-loss+robust+codiagnosability+of+Discrete-Event+Systems&rft.jtitle=Automatica+%28Oxford%29&rft.au=Oliveira%2C+Vinicius+de+Souza+Lima&rft.au=Cabral%2C+Felipe+Gomes&rft.au=Moreira%2C+Marcos+Vicente&rft.date=2022-06-01&rft.issn=0005-1098&rft.volume=140&rft.spage=110222&rft_id=info:doi/10.1016%2Fj.automatica.2022.110222&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_automatica_2022_110222 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0005-1098&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0005-1098&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0005-1098&client=summon |