Paper Info
Title
Computational methods for diagnosability verification of hybrid systems
Abstract
Modern industrial systems are real time controlled and supervised by means of automatic computer-based control systems, combining discrete and continuous behaviors, and are best modeled as hybrid systems (HS). In this paper, two methods for the verification of the diagnosability of hybrid systems are proposed. The first method is based on the construction of a diagnoser automaton, that can also be straightforwardly used for online diagnosis, and the second method is based on a verifier automaton that, although cannot be used for online diagnosis, can be constructed in polynomial time, leading to a smaller computational complexity for the verification of the diagnosability of HS than the method using diagnoser automata. The main idea of the second method is to build a verifier of the underlying discrete-event system (DES), taking into account the distinguishability of the system modes based on the continuous state models of the HS.
Year
DOI
Venue
2015
10.1109/CCA.2015.7320659
2015 IEEE Conference on Control Applications (CCA)
Keywords
Field
DocType
computational method,diagnosability verification,hybrid system,HS,diagnoser automaton,polynomial time,discrete-event system,DES,continuous state model
Industrial systems,Computer science,Automaton,Algorithm,Theoretical computer science,State model,Control system,Time complexity,Hybrid system,Discrete system,Computational complexity theory
Conference
ISSN
Citations 
PageRank 
1085-1992
0
0.34
References 
Authors
7
4
Name
Order
Citations
PageRank
Oumar Diene1215.06
Marcos V. Moreira212513.03
Victor R. Alvarez310.69
Eduardo R. Silva400.34