Fault manifestability verification for discrete event systems
Ponencia presentada en la 22nd European Conference on Artificial Intelligence ECAI-16. La Haya, Holanda del 29 agosto al 2 de septiembre de 2016.
| Main Authors: | , , , , |
|---|---|
| Other Authors: | |
| Format: | conferenceObject |
| Language: | eng |
| Published: |
2023
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/548025 https://doi.org/10.3233/978-1-61499-672-9-1718 |
| _version_ | 1801216381352411136 |
|---|---|
| author | Ye, Lina Dague, Philippe Longuet, Delphine Brandán Briones, Laura Madalinski, Agnes |
| author2 | https://orcid.org/0000-0003-1679-0804 |
| author_facet | https://orcid.org/0000-0003-1679-0804 Ye, Lina Dague, Philippe Longuet, Delphine Brandán Briones, Laura Madalinski, Agnes |
| author_sort | Ye, Lina |
| collection | Repositorio Digital Universitario |
| description | Ponencia presentada en la 22nd European Conference on Artificial Intelligence ECAI-16. La Haya, Holanda del 29 agosto al 2 de septiembre de 2016. |
| format | conferenceObject |
| id | rdu-unc.548025 |
| institution | Universidad Nacional de Cordoba |
| language | eng |
| publishDate | 2023 |
| record_format | dspace |
| spelling | rdu-unc.5480252023-08-31T13:16:35Z Fault manifestability verification for discrete event systems Ye, Lina Dague, Philippe Longuet, Delphine Brandán Briones, Laura Madalinski, Agnes https://orcid.org/0000-0003-1679-0804 https://orcid.org/0000-0002-8394-276X Fault diagnosis Manifestability Ponencia presentada en la 22nd European Conference on Artificial Intelligence ECAI-16. La Haya, Holanda del 29 agosto al 2 de septiembre de 2016. Fil: Ye, Lina. Université Paris-Saclay. CentraleSupélec; France. Fil: Ye, Lina. Université Paris-Sud. Laboratoire de Recherche en Informatique; France. Fil: Ye, Lina. Centre National de la Recherche Scientifique. Laboratoire de Recherche en Informatique; France. Fil: Dague, Philippe. Université Paris-Sud. Laboratoire de Recherche en Informatique; France. Fil: Dague, Philippe. Centre National de la Recherche Scientifique. Laboratoire de Recherche en Informatique; France. Fil: Longuet, Delphine. Université Paris-Sud. Laboratoire de Recherche en Informatique; France. Fil: Longuet, Delphine. Centre National de la Recherche Scientifique. Laboratoire de Recherche en Informatique; France. Fil: Brandán Briones, Laura. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. Fil: Madalinski, Agnes. Otto-von-Guericke-University Magdeburg; Germany. Fault diagnosis is a crucial and challenging task in the automatic control of complex systems, whose efficiency depends on the diagnosability property of a system. Diagnosability describes the system ability to determine whether a given fault has effectively occurred based on the observations. However, this is a very strong property that requires generally high number of sensors to be satisfied. Consequently, it is not rare that developing a diagnosable system is too expensive. To solve this problem, in this paper, we first define a new system property called manifestability that represents the weakest requirement on faults and observations for having a chance to identify on line fault occurrences and can be verified at design stage. Then, we propose an algorithm with PSPACE complexity to automatically verify it. Fil: Ye, Lina. Université Paris-Saclay. CentraleSupélec; France. Fil: Ye, Lina. Université Paris-Sud. Laboratoire de Recherche en Informatique; France. Fil: Ye, Lina. Centre National de la Recherche Scientifique. Laboratoire de Recherche en Informatique; France. Fil: Dague, Philippe. Université Paris-Sud. Laboratoire de Recherche en Informatique; France. Fil: Dague, Philippe. Centre National de la Recherche Scientifique. Laboratoire de Recherche en Informatique; France. Fil: Longuet, Delphine. Université Paris-Sud. Laboratoire de Recherche en Informatique; France. Fil: Longuet, Delphine. Centre National de la Recherche Scientifique. Laboratoire de Recherche en Informatique; France. Fil: Brandán Briones, Laura. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. Fil: Madalinski, Agnes. Otto-von-Guericke-University Magdeburg; Germany. Ciencias de la Computación 2023-07-04T14:30:53Z 2023-07-04T14:30:53Z 2016 conferenceObject http://hdl.handle.net/11086/548025 https://doi.org/10.3233/978-1-61499-672-9-1718 eng Attribution-NonCommercial 4.0 International http://creativecommons.org/licenses/by-nc/4.0/ Electrónico y/o Digital e-ISSN: 1879-8314 |
| spellingShingle | Fault diagnosis Manifestability Ye, Lina Dague, Philippe Longuet, Delphine Brandán Briones, Laura Madalinski, Agnes Fault manifestability verification for discrete event systems |
| title | Fault manifestability verification for discrete event systems |
| title_full | Fault manifestability verification for discrete event systems |
| title_fullStr | Fault manifestability verification for discrete event systems |
| title_full_unstemmed | Fault manifestability verification for discrete event systems |
| title_short | Fault manifestability verification for discrete event systems |
| title_sort | fault manifestability verification for discrete event systems |
| topic | Fault diagnosis Manifestability |
| url | http://hdl.handle.net/11086/548025 https://doi.org/10.3233/978-1-61499-672-9-1718 |
| work_keys_str_mv | AT yelina faultmanifestabilityverificationfordiscreteeventsystems AT daguephilippe faultmanifestabilityverificationfordiscreteeventsystems AT longuetdelphine faultmanifestabilityverificationfordiscreteeventsystems AT brandanbrioneslaura faultmanifestabilityverificationfordiscreteeventsystems AT madalinskiagnes faultmanifestabilityverificationfordiscreteeventsystems |