{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T01:25:16Z","timestamp":1782177916441,"version":"3.54.5"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T00:00:00Z","timestamp":1729555200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T00:00:00Z","timestamp":1729555200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2024,11]]},"DOI":"10.1007\/s11432-023-4146-6","type":"journal-article","created":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T08:01:48Z","timestamp":1729929708000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Interval analysis for neural networks with application to fault detection"],"prefix":"10.1007","volume":"67","author":[{"given":"Zhenhua","family":"Wang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Youdao","family":"Ma","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Song","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thach Ngoc","family":"Dinh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yi","family":"Shen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,10,22]]},"reference":[{"key":"4146_CR1","doi-asserted-by":"publisher","first-page":"112205","DOI":"10.1007\/s11432-017-9309-3","volume":"61","author":"D Zhou","year":"2018","unstructured":"Zhou D, Qin L, He X, et al. Distributed sensor fault diagnosis for a formation system with unknown constant time delays. Sci China Inf Sci, 2018, 61: 112205","journal-title":"Sci China Inf Sci"},{"key":"4146_CR2","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.automatica.2017.08.021","volume":"86","author":"Z Wang","year":"2017","unstructured":"Wang Z, Shi P, Lim C-C. H\u2212\/H\u221e fault detection observer in finite frequency domain for linear parameter-varying descriptor systems. Automatica, 2017, 86: 38\u201345","journal-title":"Automatica"},{"key":"4146_CR3","doi-asserted-by":"publisher","first-page":"7422","DOI":"10.1109\/TIE.2020.3001857","volume":"68","author":"J W Zhu","year":"2021","unstructured":"Zhu J W, Gu C Y, Ding S X, et al. A new observer-based cooperative fault-tolerant tracking control method with application to networked multiaxis motion control system. IEEE Trans Ind Electron, 2021, 68: 7422\u20137432","journal-title":"IEEE Trans Ind Electron"},{"key":"4146_CR4","doi-asserted-by":"publisher","first-page":"152208","DOI":"10.1007\/s11432-020-3109-x","volume":"64","author":"Z Liu","year":"2021","unstructured":"Liu Z, Han Z, Zhao Z, et al. Modeling and adaptive control for a spatial flexible spacecraft with unknown actuator failures. Sci China Inf Sci, 2021, 64: 152208","journal-title":"Sci China Inf Sci"},{"key":"4146_CR5","doi-asserted-by":"publisher","first-page":"2449","DOI":"10.1109\/TITS.2019.2918543","volume":"21","author":"Z Mao","year":"2020","unstructured":"Mao Z, Yan X G, Jiang B, et al. Adaptive fault-tolerant sliding-mode control for high-speed trains with actuator faults and uncertainties. IEEE Trans Intell Transp Syst, 2020, 21: 2449\u20132460","journal-title":"IEEE Trans Intell Transp Syst"},{"key":"4146_CR6","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.jprocont.2021.07.008","volume":"105","author":"C Hu","year":"2021","unstructured":"Hu C, Luo J, Kong X, et al. Novel fault subspace extraction methods for the reconstruction-based fault diagnosis. J Process Control, 2021, 105: 129\u2013140","journal-title":"J Process Control"},{"key":"4146_CR7","volume-title":"Model-Based Fault Diagnosis: Methods for State-Space Systems","author":"Z Wang","year":"2022","unstructured":"Wang Z, Shen Y. Model-Based Fault Diagnosis: Methods for State-Space Systems. Singapore: Springer Nature, 2022"},{"key":"4146_CR8","doi-asserted-by":"publisher","first-page":"2337","DOI":"10.1109\/TIE.2019.2907500","volume":"67","author":"D Zhou","year":"2020","unstructured":"Zhou D, Zhao Y, Wang Z, et al. Review on diagnosis techniques for intermittent faults in dynamic systems. IEEE Trans Ind Electron, 2020, 67: 2337\u20132347","journal-title":"IEEE Trans Ind Electron"},{"key":"4146_CR9","doi-asserted-by":"publisher","first-page":"132207","DOI":"10.1007\/s11432-019-2944-3","volume":"64","author":"X Zhu","year":"2021","unstructured":"Zhu X, Liu Y, Fang J, et al. Fault detection for a class of linear systems with integral measurements. Sci China Inf Sci, 2021, 64: 132207","journal-title":"Sci China Inf Sci"},{"key":"4146_CR10","doi-asserted-by":"publisher","first-page":"945","DOI":"10.1109\/TFUZZ.2021.3050854","volume":"30","author":"F Zhu","year":"2021","unstructured":"Zhu F, Tang Y, Wang Z. Interval-observer-based fault detection and isolation design for t-s fuzzy system based on zonotope analysis. IEEE Trans Fuzzy Syst, 2021, 30: 945\u2013955","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"4146_CR11","doi-asserted-by":"publisher","first-page":"192204","DOI":"10.1007\/s11432-022-3705-2","volume":"66","author":"S Guo","year":"2023","unstructured":"Guo S, Tang M, Huang D, et al. State estimation and finite-frequency fault detection for interconnected switched cyber-physical systems. Sci China Inf Sci, 2023, 66: 192204","journal-title":"Sci China Inf Sci"},{"key":"4146_CR12","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1080\/23307706.2022.2098838","volume":"10","author":"M Raghappriya","year":"2023","unstructured":"Raghappriya M, Kanthalakshmi S. Sliding mode observer-based fault detection for helicopter system. J Control Decision, 2023, 10: 465\u2013475","journal-title":"J Control Decision"},{"key":"4146_CR13","doi-asserted-by":"publisher","first-page":"2220","DOI":"10.1109\/TSMC.2018.2811390","volume":"50","author":"Z H Zhang","year":"2020","unstructured":"Zhang Z H, Yang G H. Distributed fault detection and isolation for multiagent systems: an interval observer approach. IEEE Trans Syst Man Cybern Syst, 2020, 50: 2220\u20132230","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"4146_CR14","doi-asserted-by":"publisher","first-page":"2296","DOI":"10.1109\/TFUZZ.2020.2997333","volume":"29","author":"Y Garbouj","year":"2022","unstructured":"Garbouj Y, Dinh T N, Raissi T, et al. Optimal interval observer for switched takagi-sugeno systems: an application to interval fault estimation. IEEE Trans Fuzzy Syst, 2022, 29: 2296\u20132309","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"4146_CR15","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.sysconle.2018.04.003","volume":"116","author":"Z Wang","year":"2018","unstructured":"Wang Z, Lim C C, Shen Y. Interval observer design for uncertain discrete-time linear systems. Syst Control Lett, 2018, 116: 41\u201346","journal-title":"Syst Control Lett"},{"key":"4146_CR16","doi-asserted-by":"publisher","first-page":"5322","DOI":"10.1002\/rnc.5036","volume":"30","author":"J Wang","year":"2020","unstructured":"Wang J, Shi Y, Zhou M, et al. Active fault detection based on set-membership approach for uncertain discrete-time systems. Intl J Robust NOnlinear, 2020, 30: 5322\u20135340","journal-title":"Intl J Robust NOnlinear"},{"key":"4146_CR17","first-page":"5764","volume":"68","author":"Z Wang","year":"2023","unstructured":"Wang Z, Zhang Y, Shen M, et al. Ellipsoidal set-membership filtering for discrete-time linear time-varying systems. IEEE Trans Autom Control, 2023, 68: 5764\u20135774","journal-title":"IEEE Trans Autom Control"},{"key":"4146_CR18","doi-asserted-by":"publisher","first-page":"6127","DOI":"10.1109\/TAC.2021.3131545","volume":"67","author":"Z Fei","year":"2022","unstructured":"Fei Z, Yang L, Sun X M, et al. Zonotopic set-membership state estimation for switched systems with restricted switching. IEEE Trans Automat Contr, 2022, 67: 6127\u20136134","journal-title":"IEEE Trans Automat Contr"},{"key":"4146_CR19","doi-asserted-by":"publisher","first-page":"110029","DOI":"10.1016\/j.automatica.2021.110029","volume":"137","author":"Z Wang","year":"2022","unstructured":"Wang Z, Dinh T N, Zhang Q, et al. Fast interval estimation for discrete-time linear systems: an L1 optimization method. Automatica, 2022, 137: 110029","journal-title":"Automatica"},{"key":"4146_CR20","doi-asserted-by":"publisher","first-page":"5081","DOI":"10.1109\/TIE.2019.2931255","volume":"67","author":"W Yu","year":"2020","unstructured":"Yu W, Zhao C. Broad convolutional neural network based industrial process fault diagnosis with incremental learning capability. IEEE Trans Ind Electron, 2020, 67: 5081\u20135091","journal-title":"IEEE Trans Ind Electron"},{"key":"4146_CR21","doi-asserted-by":"publisher","first-page":"1700","DOI":"10.1109\/TITS.2020.3029946","volume":"23","author":"H Chen","year":"2022","unstructured":"Chen H, Jiang B, Ding S X, et al. Data-driven fault diagnosis for traction systems in high-speed trains: a survey, challenges, and perspectives. IEEE Trans Intell Transp Syst, 2022, 23: 1700\u20131716","journal-title":"IEEE Trans Intell Transp Syst"},{"key":"4146_CR22","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1109\/TNNLS.2021.3090570","volume":"34","author":"H Li","year":"2023","unstructured":"Li H, Wu Y, Chen M, et al. Adaptive multigradient recursive reinforcement learning event-triggered tracking control for multiagent systems. IEEE Trans Neural Netw Learn Syst, 2023, 34: 144\u2013156","journal-title":"IEEE Trans Neural Netw Learn Syst"},{"key":"4146_CR23","doi-asserted-by":"publisher","first-page":"7994","DOI":"10.1109\/TIE.2019.2942560","volume":"67","author":"Y Tao","year":"2020","unstructured":"Tao Y, Shi H, Song B, et al. A novel dynamic weight principal component analysis method and hierarchical monitoring strategy for process fault detection and diagnosis. IEEE Trans Ind Electron, 2020, 67: 7994\u20138004","journal-title":"IEEE Trans Ind Electron"},{"key":"4146_CR24","doi-asserted-by":"publisher","first-page":"2626","DOI":"10.1109\/TIE.2020.2972472","volume":"68","author":"Y Si","year":"2021","unstructured":"Si Y, Wang Y, Zhou D. Key-performance-indicator-related process monitoring based on improved kernel partial least squares. IEEE Trans Ind Electron, 2021, 68: 2626\u20132636","journal-title":"IEEE Trans Ind Electron"},{"key":"4146_CR25","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1080\/23307706.2021.2024459","volume":"9","author":"X Feng","year":"2022","unstructured":"Feng X, Kong X, Du B, et al. Adaptive lii-rmpls based data-driven process monitoring scheme for quality-relevant fault detection. J Control Decision, 2022, 9: 477\u2013488","journal-title":"J Control Decision"},{"key":"4146_CR26","doi-asserted-by":"publisher","first-page":"042301","DOI":"10.1007\/s11432-017-9405-6","volume":"62","author":"J Zhao","year":"2019","unstructured":"Zhao J, Guo W, Zhang Z, et al. A coupled convolutional neural network for small and densely clustered ship detection in SAR images. Sci China Inf Sci, 2019, 62: 042301","journal-title":"Sci China Inf Sci"},{"key":"4146_CR27","doi-asserted-by":"publisher","first-page":"130103","DOI":"10.1007\/s11432-020-3055-1","volume":"64","author":"N Pang","year":"2021","unstructured":"Pang N, Zhao X, Wang W, et al. Few-shot text classification by leveraging bi-directional attention and cross-class knowledge. Sci China Inf Sci, 2021, 64: 130103","journal-title":"Sci China Inf Sci"},{"key":"4146_CR28","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1109\/TSMC.2022.3185102","volume":"53","author":"H Pei","year":"2023","unstructured":"Pei H, Si X S, Hu C, et al. Bayesian deep-learning-based prognostic model for equipment without label data related to lifetime. IEEE Trans Syst Man Cybern Syst, 2023, 53: 504\u2013517","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"4146_CR29","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1109\/TII.2019.2917233","volume":"16","author":"Z Chen","year":"2020","unstructured":"Chen Z, Gryllias K, Li W. Intelligent fault diagnosis for rotary machinery using transferable convolutional neural network. IEEE Trans Ind Inf, 2020, 16: 339\u2013349","journal-title":"IEEE Trans Ind Inf"},{"key":"4146_CR30","doi-asserted-by":"publisher","first-page":"3488","DOI":"10.1109\/TII.2020.3005965","volume":"17","author":"H Shao","year":"2021","unstructured":"Shao H, Xia M, Han G, et al. Intelligent fault diagnosis of rotor-bearing system under varying working conditions with modified transfer convolutional neural network and thermal images. IEEE Trans Ind Inf, 2021, 17: 3488\u20133496","journal-title":"IEEE Trans Ind Inf"},{"key":"4146_CR31","doi-asserted-by":"publisher","first-page":"5990","DOI":"10.1109\/TIE.2017.2774777","volume":"65","author":"L Wen","year":"2018","unstructured":"Wen L, Li X, Gao L, et al. A new convolutional neural network-based data-driven fault diagnosis method. IEEE Trans Ind Electron, 2018, 65: 5990\u20135998","journal-title":"IEEE Trans Ind Electron"},{"key":"4146_CR32","doi-asserted-by":"publisher","first-page":"11029","DOI":"10.1109\/TNNLS.2022.3167117","volume":"34","author":"S Zhu","year":"2023","unstructured":"Zhu S, Gao Y, Hou Y, et al. Reachable set estimation for memristive complex-valued neural networks with disturbances. IEEE Trans Neural Netw Learn Syst, 2023, 34: 11029\u201311034","journal-title":"IEEE Trans Neural Netw Learn Syst"},{"key":"4146_CR33","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1109\/TSG.2020.3009401","volume":"12","author":"A Venzke","year":"2021","unstructured":"Venzke A, Chatzivasileiadis S. Verification of neural network behaviour: formal guarantees for power system applications. IEEE Trans Smart Grid, 2021, 12: 383\u2013397","journal-title":"IEEE Trans Smart Grid"},{"key":"4146_CR34","first-page":"2387","volume-title":"Proceedings of International Conference on Machine Learning","author":"A Kantchelian","year":"2016","unstructured":"Kantchelian A, Tygar J D, Joseph A. Evasion and hardening of tree ensemble classifiers. In: Proceedings of International Conference on Machine Learning, 2016. 2387\u20132396"},{"key":"4146_CR35","doi-asserted-by":"publisher","first-page":"2726","DOI":"10.1109\/CDC40024.2019.9029310","volume-title":"Proceedings of 2019 IEEE 58th Conference on Decision and Control (CDC)","author":"M Fazlyab","year":"2019","unstructured":"Fazlyab M, Morari M, Pappas G J. Probabilistic verification and reachability analysis of neural networks via semidefinite programming. In: Proceedings of 2019 IEEE 58th Conference on Decision and Control (CDC), 2019. 2726\u20132731"},{"key":"4146_CR36","doi-asserted-by":"publisher","first-page":"3260","DOI":"10.23919\/ACC50511.2021.9482752","volume-title":"Proceedings of 2021 American Control Conference (ACC)","author":"N Hashemi","year":"2021","unstructured":"Hashemi N, Fazlyab M, Ruths J. Performance bounds for neural network estimators: applications in fault detection. In: Proceedings of 2021 American Control Conference (ACC), 2021. 3260\u20133266"},{"key":"4146_CR37","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TAC.2020.3046193","volume":"67","author":"M Fazlyab","year":"2022","unstructured":"Fazlyab M, Morari M, Pappas G J. Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming. IEEE Trans Automat Contr, 2022, 67: 1\u201315","journal-title":"IEEE Trans Automat Contr"},{"key":"4146_CR38","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/SP.2018.00058","volume-title":"Proceedings of 2018 IEEE Symposium on Security and Privacy (SP)","author":"T Gehr","year":"2018","unstructured":"Gehr T, Mirman M, Drachsler-Cohen D, et al. AI2: safety and robustness certification of neural networks with abstract interpretation. In: Proceedings of 2018 IEEE Symposium on Security and Privacy (SP), 2018. 3\u201318"},{"key":"4146_CR39","first-page":"3578","volume-title":"Proceedings of the 35th International Conference on Machine Learning","author":"M Mirman","year":"2018","unstructured":"Mirman M, Gehr T, Vechev M. Differentiable abstract interpretation for provably robust neural networks. In: Proceedings of the 35th International Conference on Machine Learning, 2018. 3578\u20133586"},{"key":"4146_CR40","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1016\/j.automatica.2012.07.004","volume":"49","author":"D Efimov","year":"2013","unstructured":"Efimov D, Ra\u00efssi T, Chebotarev S, et al. Interval state observer for nonlinear time varying systems. Automatica, 2013, 49: 200\u2013205","journal-title":"Automatica"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-023-4146-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11432-023-4146-6","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-023-4146-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,20]],"date-time":"2025-12-20T20:24:00Z","timestamp":1766262240000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11432-023-4146-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,22]]},"references-count":40,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2024,11]]}},"alternative-id":["4146"],"URL":"https:\/\/doi.org\/10.1007\/s11432-023-4146-6","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,22]]},"assertion":[{"value":"22 March 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 June 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 September 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 October 2024","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"212205"}}