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.

Guardado en:
Detalles Bibliográficos
Autores principales: Ye, Lina, Dague, Philippe, Longuet, Delphine, Brandán Briones, Laura, Madalinski, Agnes
Otros Autores: https://orcid.org/0000-0003-1679-0804
Formato: conferenceObject
Lenguaje:Inglés
Publicado: 2023
Materias:
Fault diagnosis
Manifestability
Acceso en línea:http://hdl.handle.net/11086/548025
https://doi.org/10.3233/978-1-61499-672-9-1718
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-548025
record_format dspace
spelling I10-R141-11086-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
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Inglés
topic Fault diagnosis
Manifestability
spellingShingle Fault diagnosis
Manifestability
Ye, Lina
Dague, Philippe
Longuet, Delphine
Brandán Briones, Laura
Madalinski, Agnes
Fault manifestability verification for discrete event systems
topic_facet Fault diagnosis
Manifestability
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.
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
format conferenceObject
author Ye, Lina
Dague, Philippe
Longuet, Delphine
Brandán Briones, Laura
Madalinski, Agnes
author_sort Ye, Lina
title Fault manifestability verification for discrete event systems
title_short 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_sort fault manifestability verification for discrete event systems
publishDate 2023
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
_version_ 1782015045140480000

Ejemplares similares