dc.contributor.author | Su, Jinya | |
dc.contributor.author | Chen, Wen-Hua | |
dc.date.accessioned | 2022-07-27T16:36:01Z | |
dc.date.available | 2022-07-27T16:36:01Z | |
dc.date.issued | 2019-04 | |
dc.identifier | 215271973 | |
dc.identifier | 765c073b-0f18-4f01-bea9-e9e16bcf303f | |
dc.identifier | 85028932303 | |
dc.identifier.citation | Su , 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.2710132 | en |
dc.identifier.other | ORCID: /0000-0002-3121-7208/work/36594734 | |
dc.identifier.uri | https://hdl.handle.net/2164/18948 | |
dc.format.extent | 1244284 | |
dc.language.iso | eng | |
dc.relation.ispartof | IEEE Transactions on Systems, Man, and Cybernetics: Systems | en |
dc.subject | OBSERVERS | en |
dc.subject | uncertainty | en |
dc.subject | robustness | en |
dc.subject | algorithm design and analysis | en |
dc.subject | Reachability analysis | en |
dc.subject | Fault Diagnosis | en |
dc.subject | fault estimation | en |
dc.subject | verification and validation | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject | Engineering and Physical Sciences Research Council (EPSRC) | en |
dc.subject | EP/J011525/1 | en |
dc.subject.lcc | QA75 | en |
dc.title | Model-Based Fault Diagnosis System Verification Using Reachability Analysis | en |
dc.type | Journal article | en |
dc.contributor.institution | University of Aberdeen.Computing Science | en |
dc.contributor.institution | University of Aberdeen.Machine Learning | en |
dc.description.status | Peer reviewed | en |
dc.identifier.doi | 10.1109/TSMC.2017.2710132 | |
dc.identifier.url | https://doi.org/10.1109/TSMC.2017.2710132 | en |