University of Aberdeen logo

AURA - Aberdeen University Research Archive

 

Model-Based Fault Diagnosis System Verification Using Reachability Analysis

Simple item page
dc.contributor.authorSu, Jinya
dc.contributor.authorChen, Wen-Hua
dc.contributor.institutionUniversity of Aberdeen.Machine Learningen
dc.contributor.institutionUniversity of Aberdeen.Computing Scienceen
dc.date.accessioned2022-07-27T16:36:01Z
dc.date.available2022-07-27T16:36:01Z
dc.date.issued2019-04
dc.description.statusPeer revieweden
dc.format.extent10
dc.format.extent1244284
dc.identifier215271973
dc.identifier765c073b-0f18-4f01-bea9-e9e16bcf303f
dc.identifier85028932303
dc.identifier.citationSu, J & Chen, W-H 2019, 'Model-Based Fault Diagnosis System Verification Using Reachability Analysis', IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 49, no. 4, pp. 742 - 751. https://doi.org/10.1109/TSMC.2017.2710132en
dc.identifier.doi10.1109/TSMC.2017.2710132
dc.identifier.iss4en
dc.identifier.otherORCID: /0000-0002-3121-7208/work/36594734
dc.identifier.urihttps://hdl.handle.net/2164/18948
dc.identifier.urlhttps://doi.org/10.1109/TSMC.2017.2710132en
dc.identifier.vol49en
dc.language.isoeng
dc.relation.ispartofIEEE Transactions on Systems, Man, and Cybernetics: Systemsen
dc.subjectOBSERVERSen
dc.subjectuncertaintyen
dc.subjectrobustnessen
dc.subjectalgorithm design and analysisen
dc.subjectReachability analysisen
dc.subjectFault Diagnosisen
dc.subjectfault estimationen
dc.subjectverification and validationen
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subjectEngineering and Physical Sciences Research Council (EPSRC)en
dc.subjectEP/J011525/1en
dc.subject.lccQA75en
dc.titleModel-Based Fault Diagnosis System Verification Using Reachability Analysisen
dc.typeJournal articleen

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Su_etal_IEEE_Model_Based_Fault_Diagnosis_VOR.pdf
Size:
1.19 MB
Format:
Adobe Portable Document Format
Download

Collections

All research