Title:
|
An incremental hybrid system diagnoser automaton enhanced by discernibility properties
|
Author:
|
Vento Maldonado, Jorge I.; Travé-Massuyès, Louise; Puig Cayuela, Vicenç; Sarrate Estruch, Ramon
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Sistemes, Automàtica i Informàtica Industrial; Universitat Politècnica de Catalunya. SAC - Sistemes Avançats de Control; Universitat Politècnica de Catalunya. SIC - Sistemes Intel·ligents de Control |
Abstract:
|
This paper proposes a method to track the system mode and diagnose a hybrid system without building an entire diagnoser off-line. The method is supported by a hybrid automaton (HA) model that represents the hybrid system continuous and discrete behavioral dynamics. This model is built on request through parallel composition of the component HA models. Diagnosis is performed by interpreting the events and measurements issued by the physical system directly on the HA model. This interpretation allows us to construct the useful
parts of the diagnoser developing only the branches that are required to explain the occurrence of incoming events. The resulting diagnoser adapts to the system operational life and is much less demanding in terms of memory storage than the entire diagnoser. In addition to this feature, the proposed framework subsumes previous works in that it copes with both structural and nonstructural faults. The method is validated by the application to a case study based on the sewer network of the city of Barcelona. |
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica::Automàtica i control -Discrete-time systems -Discrete event systems -fault diagnosis -hybrid automaton (HA) -hybrid systems -sewer systems. -Sistemes de temps discret |
Rights:
|
|
Document type:
|
Article - Published version Article |
Published by:
|
Institute of Electrical and Electronics Engineers (IEEE)
|
Share:
|
|