{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T00:25:16Z","timestamp":1771979116243,"version":"3.50.1"},"reference-count":52,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2022ZD0116100"],"award-info":[{"award-number":["2022ZD0116100"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62276055"],"award-info":[{"award-number":["62276055"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001352","name":"National University of Singapore","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001352","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100023849","name":"Department of Electrical and Computer Engineering, Western Michigan University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100023849","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100012542","name":"Sichuan Province Science and Technology Support Program","doi-asserted-by":"publisher","award":["23ZDYF0755"],"award-info":[{"award-number":["23ZDYF0755"]}],"id":[{"id":"10.13039\/100012542","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Neurocomputing"],"published-print":{"date-parts":[[2024,12]]},"DOI":"10.1016\/j.neucom.2024.128422","type":"journal-article","created":{"date-parts":[[2024,8,19]],"date-time":"2024-08-19T19:18:16Z","timestamp":1724095096000},"page":"128422","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":10,"special_numbering":"C","title":["Function-dependent neural-network-driven state feedback control and self-verification stability for discrete-time nonlinear system"],"prefix":"10.1016","volume":"609","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5618-7498","authenticated-orcid":false,"given":"Jingya","family":"Wang","sequence":"first","affiliation":[]},{"given":"Xiao","family":"Feng","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6022-7504","authenticated-orcid":false,"given":"Yongbin","family":"Yu","sequence":"additional","affiliation":[]},{"given":"Xiangxiang","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Xinyi","family":"Han","sequence":"additional","affiliation":[]},{"given":"Kaibo","family":"Shi","sequence":"additional","affiliation":[]},{"given":"Shouming","family":"Zhong","sequence":"additional","affiliation":[]},{"given":"Jiarun","family":"Shen","sequence":"additional","affiliation":[]},{"given":"Jingye","family":"Cai","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.neucom.2024.128422_b1","doi-asserted-by":"crossref","unstructured":"Z. Zang, H. Zheng, J. Betz, R. Mangharam, Local_inn: implicit map representation and localization with invertible neural networks, in: IEEE International Conference on Robotics and Automation, ICRA, 2023, pp. 11742\u201311748.","DOI":"10.1109\/ICRA48891.2023.10161015"},{"issue":"2","key":"10.1016\/j.neucom.2024.128422_b2","doi-asserted-by":"crossref","first-page":"2459","DOI":"10.1109\/LRA.2020.2972819","article-title":"Marker-less micro aerial vehicle detection and localization using convolutional neural networks","volume":"5","author":"Vrba","year":"2020","journal-title":"IEEE Rob. Autom. Lett."},{"issue":"4","key":"10.1016\/j.neucom.2024.128422_b3","doi-asserted-by":"crossref","first-page":"1584","DOI":"10.1109\/TASE.2019.2892081","article-title":"Reinforced nonlinear model with update-driven for gas component perception","volume":"16","author":"Zhang","year":"2019","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"11","key":"10.1016\/j.neucom.2024.128422_b4","doi-asserted-by":"crossref","first-page":"2803","DOI":"10.1109\/TNNLS.2016.2592969","article-title":"A rotational motion perception neural network based on asymmetric spatiotemporal visual information processing","volume":"28","author":"Hu","year":"2017","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."},{"key":"10.1016\/j.neucom.2024.128422_b5","doi-asserted-by":"crossref","unstructured":"H. Li, Z. Li, N.\u00dc. Akmandor, H. Jiang, Y. Wang, T. Pad\u0131r, Stereovoxelnet: real-time obstacle detection based on occupancy voxels from a stereo camera using deep neural networks, in: IEEE International Conference on Robotics and Automation, ICRA, 2023, pp. 4826\u20134833.","DOI":"10.1109\/ICRA48891.2023.10160924"},{"key":"10.1016\/j.neucom.2024.128422_b6","doi-asserted-by":"crossref","unstructured":"P. Marza, L. Matignon, O. Simonin, C. Wolf, Teaching agents how to map: spatial reasoning for multi-object navigation, in: IEEE\/RSJ International Conference on Intelligent Robots and Systems, IROS, 2022, pp. 1725\u20131732.","DOI":"10.1109\/IROS47612.2022.9982216"},{"issue":"1","key":"10.1016\/j.neucom.2024.128422_b7","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1109\/TNNLS.2020.3027575","article-title":"Configurable graph reasoning for visual relationship detection","volume":"33","author":"Zhu","year":"2022","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."},{"key":"10.1016\/j.neucom.2024.128422_b8","doi-asserted-by":"crossref","unstructured":"S.G. Venkatesh, A. Biswas, R. Upadrashta, V. Srinivasan, P. Talukdar, B. Amrutur, Spatial reasoning from natural language instructions for robot manipulation, in: IEEE International Conference on Robotics and Automation, ICRA, 2021, pp. 11196\u201311202.","DOI":"10.1109\/ICRA48506.2021.9560895"},{"issue":"4","key":"10.1016\/j.neucom.2024.128422_b9","doi-asserted-by":"crossref","first-page":"3434","DOI":"10.1109\/TASE.2021.3121408","article-title":"Deep neural network enhanced sampling-based path planning in 3D space","volume":"19","author":"Wang","year":"2022","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"1","key":"10.1016\/j.neucom.2024.128422_b10","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1109\/TASE.2022.3146967","article-title":"Graph wasserstein autoencoder-based asymptotically optimal motion planning with kinematic constraints for robotic manipulation","volume":"20","author":"Xia","year":"2023","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"11","key":"10.1016\/j.neucom.2024.128422_b11","doi-asserted-by":"crossref","first-page":"5005","DOI":"10.1109\/TNNLS.2019.2955400","article-title":"Six-DOF spacecraft optimal trajectory planning and real-time attitude control: a deep neural network-based approach","volume":"31","author":"Chai","year":"2020","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."},{"issue":"8","key":"10.1016\/j.neucom.2024.128422_b12","doi-asserted-by":"crossref","first-page":"4043","DOI":"10.1109\/TNNLS.2021.3055761","article-title":"Optimal tracking control of nonlinear multiagent systems using internal reinforce Q-learning","volume":"33","author":"Peng","year":"2022","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."},{"issue":"6","key":"10.1016\/j.neucom.2024.128422_b13","doi-asserted-by":"crossref","first-page":"5357","DOI":"10.1109\/TSG.2020.3005270","article-title":"Batch-constrained reinforcement learning for dynamic distribution network reconfiguration","volume":"11","author":"Gao","year":"2020","journal-title":"IEEE Trans. Smart Grid"},{"issue":"3","key":"10.1016\/j.neucom.2024.128422_b14","doi-asserted-by":"crossref","first-page":"2514","DOI":"10.1109\/TASE.2021.3088004","article-title":"A deep deterministic policy gradient approach for vehicle speed tracking control with a robotic driver","volume":"19","author":"Hao","year":"2022","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"9","key":"10.1016\/j.neucom.2024.128422_b15","doi-asserted-by":"crossref","first-page":"3689","DOI":"10.1109\/TCSI.2022.3177407","article-title":"Distributed optimal tracking control of discrete-time multiagent systems via event-triggered reinforcement learning","volume":"69","author":"Peng","year":"2022","journal-title":"IEEE Trans. Circuits Syst. I. Regul. Pap."},{"key":"10.1016\/j.neucom.2024.128422_b16","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1016\/j.camwa.2023.05.004","article-title":"An extended physics informed neural network for preliminary analysis of parametric optimal control problems","volume":"143","author":"Demo","year":"2023","journal-title":"Comput. Math. Appl."},{"key":"10.1016\/j.neucom.2024.128422_b17","series-title":"Applied Nonlinear Control","author":"Slotine","year":"1991"},{"issue":"7","key":"10.1016\/j.neucom.2024.128422_b18","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1109\/9.508913","article-title":"Analysis and synthesis of robust control systems via parameter-dependent Lyapunov functions","volume":"41","author":"Feron","year":"1996","journal-title":"IEEE Trans. Autom. Control"},{"issue":"5","key":"10.1016\/j.neucom.2024.128422_b19","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1109\/TFUZZ.2003.817837","article-title":"Controller synthesis of fuzzy dynamic systems based on piecewise Lyapunov functions","volume":"11","author":"Feng","year":"2003","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"10","key":"10.1016\/j.neucom.2024.128422_b20","doi-asserted-by":"crossref","first-page":"1584","DOI":"10.1016\/j.automatica.2010.06.017","article-title":"Controller synthesis for networked control systems","volume":"46","author":"Cloosterman","year":"2010","journal-title":"Automatica"},{"key":"10.1016\/j.neucom.2024.128422_b21","doi-asserted-by":"crossref","unstructured":"Y. Chen, N.O. P\u00e9rez-Arancibia, Lyapunov-based controller synthesis and stability analysis for the execution of high-speed multi-flip quadrotor maneuvers, in: American Control Conference, ACC, 2017, pp. 3599\u20133606.","DOI":"10.23919\/ACC.2017.7963504"},{"issue":"5","key":"10.1016\/j.neucom.2024.128422_b22","doi-asserted-by":"crossref","first-page":"3011","DOI":"10.1109\/TAC.2023.3302789","article-title":"Systematic, Lyapunov-based, safe and stabilizing controller synthesis for constrained nonlinear systems","volume":"69","author":"Lavaei","year":"2024","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/j.neucom.2024.128422_b23","series-title":"Advances in Neural Information Processing Systems","article-title":"Neural Lyapunov control","author":"Chang","year":"2019"},{"key":"10.1016\/j.neucom.2024.128422_b24","unstructured":"S.M. Richards, F. Berkenkamp, A. Krause, The Lyapunov neural network: adaptive stability certification for safe learning of dynamical systems, in: Proceedings of the 2nd Conference on Robot Learning, CoRL, 2018, pp. 466\u2013476."},{"issue":"3","key":"10.1016\/j.neucom.2024.128422_b25","doi-asserted-by":"crossref","first-page":"773","DOI":"10.1109\/LCSYS.2020.3005328","article-title":"Formal synthesis of Lyapunov neural networks","volume":"5","author":"Abate","year":"2020","journal-title":"IEEE Control Syst. Lett."},{"key":"10.1016\/j.neucom.2024.128422_b26","doi-asserted-by":"crossref","unstructured":"N. Gaby, F. Zhang, X. Ye, Lyapunov-net: a deep neural network architecture for Lyapunov function approximation, in: IEEE 61st Conference on Decision and Control, CDC, 2022, pp. 2091\u20132096.","DOI":"10.1109\/CDC51059.2022.9993006"},{"key":"10.1016\/j.neucom.2024.128422_b27","series-title":"Advances in Neural Information Processing Systems","first-page":"29113","article-title":"Neural Lyapunov control of unknown nonlinear systems with stability guarantees","author":"Zhou","year":"2022"},{"key":"10.1016\/j.neucom.2024.128422_b28","series-title":"Robotics: Science and Systems","article-title":"Lyapunov-stable neural-network control","author":"Dai","year":"2021"},{"issue":"1","key":"10.1016\/j.neucom.2024.128422_b29","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/S0167-6911(01)00164-5","article-title":"A converse Lyapunov theorem for discrete-time systems with disturbances","volume":"45","author":"Jiang","year":"2002","journal-title":"Systems Control Lett."},{"issue":"6","key":"10.1016\/j.neucom.2024.128422_b30","doi-asserted-by":"crossref","first-page":"861","DOI":"10.1016\/S0893-6080(05)80131-5","article-title":"Multilayer feedforward networks with a nonpolynomial activation function can approximate any function","volume":"6","author":"Leshno","year":"1993","journal-title":"Neural Netw."},{"issue":"4","key":"10.1016\/j.neucom.2024.128422_b31","doi-asserted-by":"crossref","first-page":"1713","DOI":"10.1109\/TAC.2021.3069723","article-title":"Controller synthesis for linear system with reach-avoid specifications","volume":"67","author":"Fan","year":"2022","journal-title":"IEEE Trans. Autom. Control"},{"issue":"6","key":"10.1016\/j.neucom.2024.128422_b32","doi-asserted-by":"crossref","first-page":"2734","DOI":"10.1109\/TCST.2022.3152626","article-title":"Frequency response data-based LPV controller synthesis applied to a control moment gyroscope","volume":"30","author":"Bloemers","year":"2022","journal-title":"IEEE Trans. Control Syst. Technol."},{"issue":"7","key":"10.1016\/j.neucom.2024.128422_b33","doi-asserted-by":"crossref","first-page":"3097","DOI":"10.1109\/TAC.2020.3013916","article-title":"Formal synthesis of stochastic systems via control barrier certificates","volume":"66","author":"Jagtap","year":"2021","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/j.neucom.2024.128422_b34","series-title":"Evaluating robustness of neural networks with mixed integer programming","author":"Tjeng","year":"2017"},{"key":"10.1016\/j.neucom.2024.128422_b35","series-title":"Learning modulo theories","author":"Fredrikson","year":"2023"},{"key":"10.1016\/j.neucom.2024.128422_b36","series-title":"Incremental satisfiability modulo theory for verification of deep neural networks","author":"Yang","year":"2023"},{"key":"10.1016\/j.neucom.2024.128422_b37","series-title":"Advances in Neural Information Processing Systems","article-title":"A convex relaxation barrier to tight robustness verification of neural networks","author":"Salman","year":"2019"},{"key":"10.1016\/j.neucom.2024.128422_b38","series-title":"Improving the tightness of convex relaxation bounds for training certifiably robust classifiers","author":"Zhu","year":"2020"},{"issue":"12","key":"10.1016\/j.neucom.2024.128422_b39","doi-asserted-by":"crossref","first-page":"7514","DOI":"10.1109\/TAC.2023.3283213","article-title":"Stability verification of neural network controllers using mixed-integer programming","volume":"68","author":"Schwan","year":"2023","journal-title":"IEEE Trans. Autom. Control"},{"issue":"1","key":"10.1016\/j.neucom.2024.128422_b40","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/TSTE.2023.3271317","article-title":"On power control of grid-forming converters: modeling, controllability, and full-state feedback design","volume":"15","author":"Chen","year":"2024","journal-title":"IEEE Trans. Sustainable Energy"},{"issue":"1","key":"10.1016\/j.neucom.2024.128422_b41","doi-asserted-by":"crossref","first-page":"1136","DOI":"10.1109\/TPEL.2019.2923726","article-title":"State feedback control for a PM hub motor based on gray wolf optimization algorithm","volume":"35","author":"Sun","year":"2020","journal-title":"IEEE Trans. Power Electron."},{"issue":"2","key":"10.1016\/j.neucom.2024.128422_b42","doi-asserted-by":"crossref","first-page":"949","DOI":"10.1109\/TAC.2021.3074285","article-title":"Adaptive state-feedback shared control for constrained uncertain mechanical systems","volume":"67","author":"Sun","year":"2022","journal-title":"IEEE Trans. Autom. Control"},{"issue":"6","key":"10.1016\/j.neucom.2024.128422_b43","doi-asserted-by":"crossref","first-page":"2672","DOI":"10.1109\/TCST.2018.2865767","article-title":"Robust interval Luenberger observer-based state feedback control: application to a multi-DoF micropositioner","volume":"27","author":"Hammouche","year":"2019","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"10.1016\/j.neucom.2024.128422_b44","doi-asserted-by":"crossref","unstructured":"S. Zhao, C. Tsay, J. Kronqvist, Model-based feature selection for neural networks: a mixed-integer programming approach, in: International Conference on Learning and Intelligent Optimization, LION, 2023, pp. 223\u2013238.","DOI":"10.1007\/978-3-031-44505-7_16"},{"issue":"5","key":"10.1016\/j.neucom.2024.128422_b45","doi-asserted-by":"crossref","first-page":"3680","DOI":"10.1109\/TSG.2021.3068053","article-title":"Step towards energy-water smart microgrids; buildings thermal energy and water demand management embedded in economic dispatch","volume":"12","author":"Moazeni","year":"2021","journal-title":"IEEE Trans. Smart Grid"},{"issue":"4","key":"10.1016\/j.neucom.2024.128422_b46","doi-asserted-by":"crossref","first-page":"1692","DOI":"10.1109\/TASE.2020.3014949","article-title":"Visibility-based persistent monitoring of piecewise linear features on a terrain using multiple aerial and ground robots","volume":"18","author":"Maini","year":"2021","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"5","key":"10.1016\/j.neucom.2024.128422_b47","doi-asserted-by":"crossref","first-page":"1002","DOI":"10.23919\/cje.2022.00.189","article-title":"Optimization on the dynamic train coupling process in high-speed railway","volume":"32","author":"Cheng","year":"2023","journal-title":"Chin. J. Electron."},{"issue":"6","key":"10.1016\/j.neucom.2024.128422_b48","doi-asserted-by":"crossref","first-page":"3194","DOI":"10.1109\/TAC.2022.3183036","article-title":"A piecewise linear regression and classification algorithm with application to learning and model predictive control of hybrid systems","volume":"68","author":"Bemporad","year":"2023","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/j.neucom.2024.128422_b49","doi-asserted-by":"crossref","DOI":"10.1016\/j.nahs.2019.100826","article-title":"Set-based control for disturbed piecewise affine systems with state and actuation constraints","volume":"36","author":"Sch\u00fcrmann","year":"2020","journal-title":"Nonlinear Anal. Hybrid Syst."},{"key":"10.1016\/j.neucom.2024.128422_b50","series-title":"Gurobi optimizer reference manual","author":"Gurobi Optimization","year":"2021"},{"key":"10.1016\/j.neucom.2024.128422_b51","series-title":"Emerging Theory, Methods, and Applications, INFORMS","first-page":"257","article-title":"CBC user guide","author":"Forrest","year":"2005"},{"key":"10.1016\/j.neucom.2024.128422_b52","series-title":"Advances in Neural Information Processing Systems","first-page":"22783","article-title":"Counterexample guided RL policy refinement using bayesian optimization","author":"Gangopadhyay","year":"2021"}],"container-title":["Neurocomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0925231224011937?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0925231224011937?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T03:35:13Z","timestamp":1761968113000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0925231224011937"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12]]},"references-count":52,"alternative-id":["S0925231224011937"],"URL":"https:\/\/doi.org\/10.1016\/j.neucom.2024.128422","relation":{},"ISSN":["0925-2312"],"issn-type":[{"value":"0925-2312","type":"print"}],"subject":[],"published":{"date-parts":[[2024,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Function-dependent neural-network-driven state feedback control and self-verification stability for discrete-time nonlinear system","name":"articletitle","label":"Article Title"},{"value":"Neurocomputing","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.neucom.2024.128422","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2024 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"128422"}}