{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T06:55:33Z","timestamp":1781592933307,"version":"3.54.5"},"reference-count":79,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,5,28]],"date-time":"2026-05-28T00:00:00Z","timestamp":1779926400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000148","name":"National Science Foundation Division of Electrical Communications and Cyber Systems","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000148","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000144","name":"National Science Foundation Division of Computer and Network Systems","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Engineering Applications of Artificial Intelligence"],"published-print":{"date-parts":[[2026,9]]},"DOI":"10.1016\/j.engappai.2026.115215","type":"journal-article","created":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T12:02:00Z","timestamp":1780056120000},"page":"115215","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"P1","title":["Provably-safe neural controllers for safety-critical systems"],"prefix":"10.1016","volume":"179","author":[{"given":"Mu\u2019taz A.","family":"Momani","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8318-7947","authenticated-orcid":false,"given":"Mehdi","family":"Hosseinzadeh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.engappai.2026.115215_b1","doi-asserted-by":"crossref","unstructured":"Ambrosino, M., Cotorruelo, A., Garone, E., 2022. A Saturation-Aware Trajectory-Based Explicit Reference Governor for a Robotic Arm. In: Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems. Kyoto, Japan, pp. 13641\u201313646.","DOI":"10.1109\/IROS47612.2022.9981483"},{"key":"10.1016\/j.engappai.2026.115215_b2","doi-asserted-by":"crossref","unstructured":"Ames, A.D., Coogan, S., Egerstedt, M., Notomista, G., Sreenath, K., Tabuada, P., 2019. Control Barrier Functions: Theory and Applications. In: Proceedings of the 18th European Control Conference. Naples, Italy, pp. 3420\u20133431.","DOI":"10.23919\/ECC.2019.8796030"},{"key":"10.1016\/j.engappai.2026.115215_b3","series-title":"Closed-loop model identification and MPC-based navigation of quadcopters: A case study of parrot bebop 2","author":"Amiri","year":"2024"},{"key":"10.1016\/j.engappai.2026.115215_b4","unstructured":"Ba, J., Caruana, R., 2014. Do Deep Nets Really Need to be Deep?. In: Proceedings of the Advances in Neural Information Processing Systems 27. Montr\u00e9al, Canada, pp. 2654\u20132662."},{"key":"10.1016\/j.engappai.2026.115215_b5","unstructured":"Bastani, O., Pu, Y., Solar-Lezama, A., 2018. Verifiable Reinforcement Learning via Policy Extraction. In: Proceedings of the Advances in Neural Information Processing Systems 31. Montr\u00e9al, Canada, pp. 2499\u20132509."},{"key":"10.1016\/j.engappai.2026.115215_b6","article-title":"Convex neural networks","volume":"18","author":"Bengio","year":"2005","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"10.1016\/j.engappai.2026.115215_b7","series-title":"2008 IEEE International Conference on Control Applications","first-page":"1019","article-title":"Performing coverage on nonconvex domains","author":"Caicedo-Nunez","year":"2008"},{"key":"10.1016\/j.engappai.2026.115215_b8","series-title":"Model Predictive Control","author":"Camacho","year":"2013"},{"issue":"2","key":"10.1016\/j.engappai.2026.115215_b9","doi-asserted-by":"crossref","first-page":"530","DOI":"10.1109\/TCST.2019.2952317","article-title":"Control barrier functions for mechanical systems: Theory and application to robotic grasping","volume":"29","author":"Cortez","year":"2021","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"10.1016\/j.engappai.2026.115215_b10","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2021.109614","article-title":"Reference dependent invariant sets: Sum of squares based computation and applications in constrained control","volume":"129","author":"Cotorruelo","year":"2021","journal-title":"Automatica"},{"key":"10.1016\/j.engappai.2026.115215_b11","series-title":"Gradmax: Growing neural networks using gradient information","author":"Evci","year":"2022"},{"key":"10.1016\/j.engappai.2026.115215_b12","article-title":"Efficient and accurate estimation of lipschitz constants for deep neural networks","volume":"32","author":"Fazlyab","year":"2019","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"10.1016\/j.engappai.2026.115215_b13","series-title":"Feedforward Neural Network Methodology","author":"Fine","year":"2006"},{"key":"10.1016\/j.engappai.2026.115215_b14","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1016\/j.automatica.2016.08.013","article-title":"Reference and command governors for systems with constraints: a survey on theory and applications","volume":"75","author":"Garone","year":"2016","journal-title":"Automatica"},{"issue":"5","key":"10.1016\/j.engappai.2026.115215_b15","doi-asserted-by":"crossref","first-page":"1379","DOI":"10.1109\/TAC.2015.2476195","article-title":"Explicit reference governor for constrained nonlinear systems","volume":"61","author":"Garone","year":"2015","journal-title":"IEEE Trans. Autom. Control"},{"issue":"6","key":"10.1016\/j.engappai.2026.115215_b16","doi-asserted-by":"crossref","first-page":"1415","DOI":"10.1080\/00207179.2017.1317832","article-title":"Explicit reference governor for linear systems","volume":"91","author":"Garone","year":"2018","journal-title":"Internat. J. Control"},{"key":"10.1016\/j.engappai.2026.115215_b17","series-title":"Deep Learning: Adaptive Computation and Machine Learning Series","author":"Goodfellow","year":"2016"},{"key":"10.1016\/j.engappai.2026.115215_b18","series-title":"Is K-fold cross validation the best model selection method for Machine Learning?","author":"Gorriz","year":"2024"},{"issue":"11","key":"10.1016\/j.engappai.2026.115215_b19","doi-asserted-by":"crossref","first-page":"3098","DOI":"10.1109\/TAC.2014.2321667","article-title":"ISS-Lyapunov functions for discontinuous discrete-time systems","volume":"59","author":"Gr\u00fcne","year":"2014","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/j.engappai.2026.115215_b20","doi-asserted-by":"crossref","unstructured":"Hermand, E., Nguyen, T.W., Hosseinzadeh, M., Garone, E., 2018. Constrained Control of UAVs in Geofencing Applications. In: Proceedings of the 26th Mediterranean Conference on Control and Automation. Zadar, Croatia, pp. 217\u2013222.","DOI":"10.1109\/MED.2018.8443035"},{"key":"10.1016\/j.engappai.2026.115215_b21","series-title":"Unmanned Aerial Systems: Theoretical Foundation and Applications","first-page":"567","article-title":"UAV geofencing: Navigation of UAVs in constrained environments","author":"Hosseinzadeh","year":"2021"},{"issue":"11","key":"10.1016\/j.engappai.2026.115215_b22","doi-asserted-by":"crossref","first-page":"7773","DOI":"10.1109\/TAC.2024.3403031","article-title":"Optimization-free control of safety-critical systems subject to the intersection of multiple time-varying concave constraints","volume":"69","author":"Hosseinzadeh","year":"2024","journal-title":"IEEE Trans. Autom. Control"},{"issue":"3","key":"10.1016\/j.engappai.2026.115215_b23","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1109\/LCSYS.2019.2913455","article-title":"Constrained control of linear systems subject to combinations of intersections and unions of concave constraints","volume":"3","author":"Hosseinzadeh","year":"2019","journal-title":"IEEE Control Syst. Lett."},{"issue":"6","key":"10.1016\/j.engappai.2026.115215_b24","doi-asserted-by":"crossref","first-page":"2490","DOI":"10.1109\/TCST.2019.2929489","article-title":"Constrained control of depth of hypnosis during induction phase","volume":"28","author":"Hosseinzadeh","year":"2020","journal-title":"IEEE Trans. Control Syst. Technol."},{"issue":"1","key":"10.1016\/j.engappai.2026.115215_b25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TAC.2019.2906467","article-title":"An explicit reference governor for the intersection of concave constraints","volume":"65","author":"Hosseinzadeh","year":"2019","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/j.engappai.2026.115215_b26","doi-asserted-by":"crossref","unstructured":"Hosseinzadeh, M., van Heusden, K., Dumont, G.A., Garone, E., 2019b. An Explicit Reference Governor Scheme for Closed-Loop Anesthesia. In: Proceedings of the 18th European Control Conference. Naples, Italy, pp. 1294\u20131299.","DOI":"10.23919\/ECC.2019.8796241"},{"key":"10.1016\/j.engappai.2026.115215_b27","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2021.110089","article-title":"Reference governor-based fault-tolerant constrained control","volume":"136","author":"Hosseinzadeh","year":"2022","journal-title":"Automatica"},{"key":"10.1016\/j.engappai.2026.115215_b28","doi-asserted-by":"crossref","unstructured":"Hosseinzadeh, M., Sinopoli, B., Bobick, A.F., 2020b. An Explicit Reference Governor for Time-Varying Linear Constraints. In: Proc. IEEE 59th Conf. Decision and Control. Jeju Island, Republic of Korea, pp. 3323\u20133328.","DOI":"10.1109\/CDC42340.2020.9304485"},{"key":"10.1016\/j.engappai.2026.115215_b29","doi-asserted-by":"crossref","DOI":"10.1016\/j.sysconle.2022.105142","article-title":"ROTEC: Robust to early termination command governor for systems with limited computing capacity","volume":"161","author":"Hosseinzadeh","year":"2022","journal-title":"Systems Control Lett."},{"issue":"4","key":"10.1016\/j.engappai.2026.115215_b30","doi-asserted-by":"crossref","first-page":"2507","DOI":"10.1109\/TAC.2023.3308817","article-title":"Robust to early termination model predictive control","volume":"69","author":"Hosseinzadeh","year":"2024","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/j.engappai.2026.115215_b31","doi-asserted-by":"crossref","DOI":"10.1016\/j.conengprac.2020.104653","article-title":"Safety enforcement in closed-loop anesthesia\u2014A comparison study","volume":"105","author":"Hosseinzadeh","year":"2020","journal-title":"Control Eng. Pract."},{"issue":"16","key":"10.1016\/j.engappai.2026.115215_b32","doi-asserted-by":"crossref","first-page":"2731","DOI":"10.1049\/iet-cta.2017.0459","article-title":"Robust adaptive passivity-based control of open-loop unstable affine non-linear systems subject to actuator saturation","volume":"11","author":"Hosseinzadeh","year":"2017","journal-title":"IET Control Theory Appl."},{"key":"10.1016\/j.engappai.2026.115215_b33","series-title":"Nonlinear Control Systems","author":"Isidori","year":"1995"},{"key":"10.1016\/j.engappai.2026.115215_b34","series-title":"Non-Convex Optimization for Machine Learning","author":"Jain","year":"2017"},{"key":"10.1016\/j.engappai.2026.115215_b35","series-title":"2015 IEEE\/SICE International Symposium on System Integration","first-page":"708","article-title":"Diffeomorphism transformation based uav strategy planning for non-convex environments with arbitrary obstacles","author":"Ji","year":"2015"},{"key":"10.1016\/j.engappai.2026.115215_b36","first-page":"7344","article-title":"Exactly computing the local lipschitz constant of relu networks","volume":"33","author":"Jordan","year":"2020","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"10.1016\/j.engappai.2026.115215_b37","series-title":"Nonlinear Systems","author":"Khalil","year":"2002"},{"issue":"4","key":"10.1016\/j.engappai.2026.115215_b38","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1016\/0196-8858(90)90017-S","article-title":"Robot navigation functions on manifolds with boundary","volume":"11","author":"Koditschek","year":"1990","journal-title":"Adv. in Appl. Math."},{"issue":"Part A","key":"10.1016\/j.engappai.2026.115215_b39","article-title":"Provably-stable neural network-based control of nonlinear systems","volume":"138","author":"Li","year":"2024","journal-title":"Eng. Appl. Artif. Intell."},{"key":"10.1016\/j.engappai.2026.115215_b40","doi-asserted-by":"crossref","unstructured":"Li, A., Swensen, J.P., Hosseinzadeh, M., 2025. A Guaranteed-Stable Neural Network Approach for Optimal Control of Nonlinear Systems. In: Proceedings of the American Control Conference. Denver, CO, USA, pp. 1307\u20131312.","DOI":"10.23919\/ACC63710.2025.11107560"},{"key":"10.1016\/j.engappai.2026.115215_b41","doi-asserted-by":"crossref","unstructured":"Lim, H.-i., 2020. A study on dropout techniques to reduce overfitting in deep neural networks. In: Proc. 14th International Conference on Multimedia and Ubiquitous Engineering. Jeju, South Korea, pp. 133\u2013139.","DOI":"10.1007\/978-981-15-9309-3_20"},{"issue":"1\u20132","key":"10.1016\/j.engappai.2026.115215_b42","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.artint.2004.05.009","article-title":"A selective sampling approach to active feature selection","volume":"159","author":"Liu","year":"2004","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.engappai.2026.115215_b43","doi-asserted-by":"crossref","unstructured":"Lofberg, J., 2004. YALMIP: a toolbox for modeling and optimization in MATLAB. In: Proc. IEEE Int. Conf. Robotics and Automation. Taipei, Taiwan, pp. 284\u2013289.","DOI":"10.1109\/CACSD.2004.1393890"},{"issue":"3","key":"10.1016\/j.engappai.2026.115215_b44","doi-asserted-by":"crossref","first-page":"7295","DOI":"10.1109\/LRA.2022.3182544","article-title":"Safe control synthesis with uncertain dynamics and constraints","volume":"7","author":"Long","year":"2022","journal-title":"IEEE Robot. Autom. Lett."},{"key":"10.1016\/j.engappai.2026.115215_b45","series-title":"K-Folds Cross-Validation, and Repeated K-Folds Cross-Validation in Machine Learning Models (June 01, 2024)","article-title":"Comparative analysis of cross-validation techniques: LOOCV, K-folds cross-validation, and repeated K-folds cross-validation in machine learning models","author":"Lumumba","year":"2024"},{"key":"10.1016\/j.engappai.2026.115215_b46","unstructured":"Lundberg, S.M., Lee, S.-I., 2017. A Unified Approach to Interpreting Model Predictions. In: Proceedings of the Advances in Neural Information Processing Systems 30. Long Beach, CA, USA, pp. 4768\u20134777."},{"key":"10.1016\/j.engappai.2026.115215_b47","series-title":"Parrot drone support from MATLAB","author":"MATLAB","year":"2019"},{"key":"10.1016\/j.engappai.2026.115215_b48","doi-asserted-by":"crossref","DOI":"10.1016\/j.rcim.2021.102223","article-title":"Real-time motion control of robotic manipulators for safe human\u2013robot coexistence","volume":"73","author":"Merckaert","year":"2022","journal-title":"Robot. Comput.-Integr. Manuf."},{"key":"10.1016\/j.engappai.2026.115215_b49","doi-asserted-by":"crossref","unstructured":"Merckaert, K., Vanderborght, B., Nicotra, M.M., Garone, E., 2018. Constrained Control of Robotic Manipulators Using the Explicit Reference Governor. In: Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems. Madrid, Spain, pp. 5155\u20135162.","DOI":"10.1109\/IROS.2018.8593857"},{"key":"10.1016\/j.engappai.2026.115215_b50","doi-asserted-by":"crossref","DOI":"10.1016\/j.conengprac.2024.106042","article-title":"Adaptive gain design for Zero-Order Hold discrete-time implementation of explicit reference governor","volume":"152","author":"Momani","year":"2024","journal-title":"Control Eng. Pract."},{"key":"10.1016\/j.engappai.2026.115215_b51","doi-asserted-by":"crossref","DOI":"10.1016\/j.mechatronics.2025.103419","article-title":"Physically feasible dynamic model identification and constrained control of robotic arms: A case study on the ViperX-300 6-DoF robotic manipulator","volume":"112","author":"Momani","year":"2025","journal-title":"Mechatronics"},{"issue":"3","key":"10.1016\/j.engappai.2026.115215_b52","doi-asserted-by":"crossref","first-page":"1073","DOI":"10.1109\/TAC.2021.3059156","article-title":"Robust safety-critical control for dynamic robotics","volume":"67","author":"Nguyen","year":"2021","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/j.engappai.2026.115215_b53","doi-asserted-by":"crossref","unstructured":"Nicotra, M.M., Garone, E., 2015. Control of Euler-Lagrange systems subject to constraints: An Explicit Reference Governor approach. In: Proceedings of the 54th IEEE Conference on Decision and Control. Osaka, Japan, pp. 1154\u20131159.","DOI":"10.1109\/CDC.2015.7402367"},{"issue":"4","key":"10.1016\/j.engappai.2026.115215_b54","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1109\/MCS.2018.2830081","article-title":"The explicit reference governor: A general framework for the closed-form control of constrained nonlinear systems","volume":"38","author":"Nicotra","year":"2018","journal-title":"IEEE Control Syst. Mag."},{"issue":"6","key":"10.1016\/j.engappai.2026.115215_b55","first-page":"61","article-title":"Performance of machine learning algorithms with different K values in K-fold cross-validation","volume":"13","author":"Nti","year":"2021","journal-title":"Int. J. Inf. Technol. Comput. Sci."},{"key":"10.1016\/j.engappai.2026.115215_b56","series-title":"Modern Control Engineering","author":"Ogata","year":"2010"},{"key":"10.1016\/j.engappai.2026.115215_b57","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1109\/LCSYS.2021.3050444","article-title":"Training robust neural networks using Lipschitz bounds","volume":"6","author":"Pauli","year":"2021","journal-title":"IEEE Control Syst. Lett."},{"issue":"1","key":"10.1016\/j.engappai.2026.115215_b58","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1038\/s41524-024-01481-6","article-title":"Data efficient machine learning potentials for modeling catalytic reactivity via active learning and enhanced sampling","volume":"10","author":"Perego","year":"2024","journal-title":"npj Comput. Mater."},{"key":"10.1016\/j.engappai.2026.115215_b59","series-title":"2008 47th IEEE Conference on Decision and Control","first-page":"3947","article-title":"Sensing and coverage for a network of heterogeneous robots","author":"Pimenta","year":"2008"},{"key":"10.1016\/j.engappai.2026.115215_b60","doi-asserted-by":"crossref","DOI":"10.1016\/j.engappai.2025.112243","article-title":"Reinforcement learning-based secure tracking control for nonlinear interconnected systems: An event-triggered solution approach","volume":"161","author":"Qin","year":"2025","journal-title":"Eng. Appl. Artif. Intell."},{"key":"10.1016\/j.engappai.2026.115215_b61","doi-asserted-by":"crossref","DOI":"10.1016\/j.apm.2025.116089","article-title":"Event-triggered H\u221e control for unknown constrained nonlinear systems with application to robot arm","volume":"144","author":"Qin","year":"2025","journal-title":"Appl. Math. Model."},{"key":"10.1016\/j.engappai.2026.115215_b62","doi-asserted-by":"crossref","DOI":"10.1016\/j.engappai.2025.112221","article-title":"Observer based fault tolerant control design for saturated nonlinear systems with full state constraints via a novel event-triggered mechanism","volume":"161","author":"Qin","year":"2025","journal-title":"Eng. Appl. Artif. Intell."},{"key":"10.1016\/j.engappai.2026.115215_b63","series-title":"Model Predictive Control: Theory, Computation, and Design","author":"Rawlings","year":"2017"},{"key":"10.1016\/j.engappai.2026.115215_b64","doi-asserted-by":"crossref","first-page":"54776","DOI":"10.1109\/ACCESS.2020.2980942","article-title":"Analysis of dimensionality reduction techniques on big data","volume":"8","author":"Reddy","year":"2020","journal-title":"IEEE Access"},{"issue":"1","key":"10.1016\/j.engappai.2026.115215_b65","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1090\/S0002-9947-1991-1012512-X","article-title":"The construction of analytic diffeomorphisms for exact robot navigation on star worlds","volume":"327","author":"Rimon","year":"1991","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/j.engappai.2026.115215_b66","doi-asserted-by":"crossref","unstructured":"Sanjar, K., Rehman, A., Paul, A., JeongHong, K., 2020. Weight dropout for preventing neural networks from overfitting. In: Proc. 8th International Conference on Orange Technology. Daegu, Korea (South).","DOI":"10.1109\/ICOT51877.2020.9468799"},{"issue":"56","key":"10.1016\/j.engappai.2026.115215_b67","first-page":"1929","article-title":"Dropout: a simple way to prevent neural networks from overfitting","volume":"15","author":"Srivastava","year":"2014","journal-title":"J. Mach. Learn. Res."},{"key":"10.1016\/j.engappai.2026.115215_b68","doi-asserted-by":"crossref","DOI":"10.1002\/rnc.70057","article-title":"Ensemble neural network-based approximate model predictive control with strict guarantees","author":"Tong","year":"2025","journal-title":"Internat. J. Robust Nonlinear Control"},{"issue":"6","key":"10.1016\/j.engappai.2026.115215_b69","doi-asserted-by":"crossref","first-page":"1763","DOI":"10.1109\/TSMCC.2012.2220963","article-title":"Neural network-based active learning in multivariate calibration","volume":"42","author":"Ukil","year":"2012","journal-title":"IEEE Trans. Syst. Man Cybern. Part C (Appl. Rev.)"},{"key":"10.1016\/j.engappai.2026.115215_b70","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1016\/j.procs.2020.01.079","article-title":"A review of dimensionality reduction techniques for efficient computation","volume":"165","author":"Velliangiri","year":"2019","journal-title":"Procedia Comput. Sci."},{"key":"10.1016\/j.engappai.2026.115215_b71","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.neunet.2015.07.007","article-title":"Towards dropout training for convolutional neural networks","volume":"71","author":"Wu","year":"2015","journal-title":"Neural Netw."},{"key":"10.1016\/j.engappai.2026.115215_b72","first-page":"22373","article-title":"Firefly neural architecture descent: a general approach for growing neural networks","volume":"33","author":"Wu","year":"2020","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"10.1016\/j.engappai.2026.115215_b73","doi-asserted-by":"crossref","unstructured":"Xu, X., Diaz-Mercado, Y., 2020. Multi-Robot Control Using Coverage Over Time-Varying Non-Convex Domains. In: Proc. IEEE Int. Conf. Robotics and Automation. Paris, France, pp. 4536\u20134542.","DOI":"10.1109\/ICRA40945.2020.9196630"},{"key":"10.1016\/j.engappai.2026.115215_b74","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.neucom.2018.02.100","article-title":"Review of classical dimensionality reduction and sample selection methods for large-scale data processing","volume":"328","author":"Xu","year":"2019","journal-title":"Neurocomputing"},{"issue":"5","key":"10.1016\/j.engappai.2026.115215_b75","first-page":"1616","article-title":"A novel deep convolutional neural network algorithm for surface defect detection","volume":"9","author":"Zhang","year":"2022","journal-title":"J. Comput. Des. Eng."},{"issue":"9","key":"10.1016\/j.engappai.2026.115215_b76","doi-asserted-by":"crossref","first-page":"10651","DOI":"10.1007\/s10462-023-10438-y","article-title":"An efficient lightweight convolutional neural network for industrial surface defect detection","volume":"56","author":"Zhang","year":"2023","journal-title":"Artif. Intell. Rev."},{"key":"10.1016\/j.engappai.2026.115215_b77","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/j.isatra.2024.09.018","article-title":"Adaptive critic design for safety-optimal FTC of unknown nonlinear systems with asymmetric constrained-input","volume":"155","author":"Zhang","year":"2024","journal-title":"ISA Trans."},{"key":"10.1016\/j.engappai.2026.115215_b78","article-title":"A lightweight network enhanced by attention-guided cross-scale interaction for underwater object detection","author":"Zhang","year":"2025","journal-title":"Appl. Soft Comput."},{"key":"10.1016\/j.engappai.2026.115215_b79","doi-asserted-by":"crossref","unstructured":"Zheng, Y., Liu, Z., You, X., Xu, Y., Jiang, J., 2018. Demystifying Deep Learning in Networking. In: Proceedings of the 2nd Asia-Pacific Workshop on Networking. Beijing China, pp. 1\u20137.","DOI":"10.1145\/3232565.3232569"}],"container-title":["Engineering Applications of Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0952197626014995?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0952197626014995?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T06:44:41Z","timestamp":1781592281000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0952197626014995"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,9]]},"references-count":79,"alternative-id":["S0952197626014995"],"URL":"https:\/\/doi.org\/10.1016\/j.engappai.2026.115215","relation":{},"ISSN":["0952-1976"],"issn-type":[{"value":"0952-1976","type":"print"}],"subject":[],"published":{"date-parts":[[2026,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Provably-safe neural controllers for safety-critical systems","name":"articletitle","label":"Article Title"},{"value":"Engineering Applications of Artificial Intelligence","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.engappai.2026.115215","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Authors. Published by Elsevier Ltd.","name":"copyright","label":"Copyright"}],"article-number":"115215"}}