Show simple item record

dc.contributor.authorSu, Jinya
dc.contributor.authorChen, Wen-Hua
dc.date.accessioned2022-07-27T16:36:01Z
dc.date.available2022-07-27T16:36:01Z
dc.date.issued2019-04
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.otherPURE: 215271973
dc.identifier.otherPURE UUID: 765c073b-0f18-4f01-bea9-e9e16bcf303f
dc.identifier.otherORCID: /0000-0002-3121-7208/work/36594734
dc.identifier.otherScopus: 85028932303
dc.identifier.urihttps://hdl.handle.net/2164/18948
dc.language.isoeng
dc.relation.ispartofIEEE Transactions on Systems, Man, and Cybernetics: Systemsen
dc.rightshttps://creativecommons.org/licenses/by/4.0/en
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
dc.contributor.institutionUniversity of Aberdeen.Computing Scienceen
dc.description.statusPeer revieweden
dc.description.versionPublisher PDFen
dc.identifier.doihttps://doi.org/10.1109/TSMC.2017.2710132
dc.identifier.urlhttps://doi.org/10.1109/TSMC.2017.2710132en


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record