Qualitative modelling of linear dynamical systems with quantized state measurements
Automatica (Journal of IFAC)
Introduction to mathematical systems theory: a behavioral approach
Introduction to mathematical systems theory: a behavioral approach
Modelling, State Observation, and Diagnosis of Quantised Systems
Modelling, State Observation, and Diagnosis of Quantised Systems
Qualitative Diagnosis of Condition Systems
Discrete Event Dynamic Systems
Diagnosis and Fault-Tolerant Control
Diagnosis and Fault-Tolerant Control
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Issues of Fault Diagnosis for Dynamic Systems
Issues of Fault Diagnosis for Dynamic Systems
Diagnosis of quantized systems based on a timed discrete-eventmodel
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Automatica (Journal of IFAC)
Fault detection and isolation based on fuzzy automata
Information Sciences: an International Journal
Stochastic non sequitur behavior analysis of fault tolerant hybrid systems
Proceedings of the 14th international conference on Hybrid systems: computation and control
A Novel Formalism for Partially Defined Asynchronous Feedback Digital Circuits
Journal of Electronic Testing: Theory and Applications
| Hi-index | 0.00 |
Discretely controlled continuous systems consist of continuous plants whose operation mode is switched by a feedback controller. Fault diagnosis has to use the measured switching sequence and the measured continuous movement to detect and identify faults. In order to get the diagnostic algorithm with the least possible complexity, the kind of measurement information and the granularity of the model have to be chosen in accordance with the faults to be detected. The paper presents five diagnostic methods in a uniform way, which differ with respect to the model and the measurement information used. From the hybrid model of discretely controlled continuous systems, four more abstract representations are derived, which have the form of embedded maps, semi-Markov processes, timed automata and nondeterministic automata. The validity of the diagnostic result is ensured by the claim that the models should be complete and, hence, consistent with all the input-output sequences of the discretely controlled system in the appropriate fault case. In this way a hierarchy of models and of diagnostic results is obtained. The methods are illustrated by an example.