Rigorous design of a fault diagnosis and isolation algorithm
Gao J.; Xu Q.
Source PublicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
AbstractIn this paper, we present a rigorous design of a Fault Diag-nosis and Isolation algorithm. The system is modelled as a hybrid sys-tem with a network of parallel components. The requirement is speciéd in Duration Calculus, a dense time temporal logic. We use traditional program logic, suitably extended, to verify the discrete component and subsequently derive a number of properties of the system. Finally, the requirement is shown to be satiséd by proving that it can be deduced from the system properties.
URLView the original
Fulltext Access
Document TypeConference paper
CollectionUniversity of Macau
AffiliationUnited Nations University
Recommended Citation
GB/T 7714
Gao J.,Xu Q.. Rigorous design of a fault diagnosis and isolation algorithm[C],1999:100-121.
Related Services
Recommend this item
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Gao J.]'s Articles
[Xu Q.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Gao J.]'s Articles
[Xu Q.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Gao J.]'s Articles
[Xu Q.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.