{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T21:13:11Z","timestamp":1783545191026,"version":"3.55.0"},"reference-count":44,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Systems & Control Letters"],"published-print":{"date-parts":[[2026,8]]},"DOI":"10.1016\/j.sysconle.2026.106480","type":"journal-article","created":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T10:22:18Z","timestamp":1780395738000},"page":"106480","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Universal formulas for safe control and their neural network approximations"],"prefix":"10.1016","volume":"215","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6409-8903","authenticated-orcid":false,"given":"Pol","family":"Mestres","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jorge","family":"Cort\u00e9s","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eduardo D.","family":"Sontag","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.sysconle.2026.106480_b1","series-title":"TAM","isbn-type":"print","article-title":"Mathematical Control Theory: Deterministic Finite Dimensional Systems","author":"Sontag","year":"1998","ISBN":"https:\/\/id.crossref.org\/isbn\/0387984895"},{"key":"10.1016\/j.sysconle.2026.106480_b2","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1137\/0321028","article-title":"A Lyapunov-like characterization of asymptotic controllability","volume":"21","author":"Sontag","year":"1983","journal-title":"Sicon"},{"key":"10.1016\/j.sysconle.2026.106480_b3","series-title":"Robust Nonlinear Control Design: State-space and Lyapunov Techniques","author":"Freeman","year":"1996"},{"issue":"2","key":"10.1016\/j.sysconle.2026.106480_b4","first-page":"117","article-title":"A universal construction of Artstein\u2019s theorem on nonlinear stabilization","volume":"13","author":"Sontag","year":"1989","journal-title":"Scl"},{"key":"10.1016\/j.sysconle.2026.106480_b5","doi-asserted-by":"crossref","unstructured":"A.D. Ames, S. Coogan, M. Egerstedt, G. Notomista, K. Sreenath, P. Tabuada, Control barrier functions: Theory and applications, in: European Control Conference, Naples, Italy, 2019, pp. 3420\u20133431.","DOI":"10.23919\/ECC.2019.8796030"},{"issue":"8","key":"10.1016\/j.sysconle.2026.106480_b6","first-page":"3861","article-title":"Control barrier function based quadratic programs for safety critical systems","volume":"62","author":"Ames","year":"2017","journal-title":"Tac"},{"issue":"12","key":"10.1016\/j.sysconle.2026.106480_b7","doi-asserted-by":"crossref","first-page":"462","DOI":"10.3182\/20070822-3-ZA-2920.00076","article-title":"Constructive safety using control barrier functions","volume":"40","author":"Wieland","year":"2007","journal-title":"IFAC Proc. Volumes"},{"key":"10.1016\/j.sysconle.2026.106480_b8","first-page":"3890","article-title":"Characterizing smooth safety filters via the implicit function theorem","volume":"7","author":"Cohen","year":"2023","journal-title":"Csl"},{"key":"10.1016\/j.sysconle.2026.106480_b9","series-title":"A tunable universal formula for safety-critical control","author":"Li","year":"2024"},{"key":"10.1016\/j.sysconle.2026.106480_b10","doi-asserted-by":"crossref","unstructured":"K. Garg, D. Panagou, Robust control barrier and control Lyapunov functions with fixed-time convergence guarantees, in: American Control Conference, New Orleans, LA, 2021, pp. 2292\u20132297.","DOI":"10.23919\/ACC50511.2021.9482751"},{"key":"10.1016\/j.sysconle.2026.106480_b11","doi-asserted-by":"crossref","unstructured":"M. Li, Z. Sun, A graphical interpretation and universal formula for safe stabilization, in: American Control Conference, San Diego, California, 2023, pp. 3012\u20133017.","DOI":"10.23919\/ACC55779.2023.10156445"},{"key":"10.1016\/j.sysconle.2026.106480_b12","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/j.automatica.2015.12.011","article-title":"Stabilization with guaranteed safety using control Lyapunov-barrier function","volume":"66","author":"Romdlony","year":"2016","journal-title":"Automatica"},{"key":"10.1016\/j.sysconle.2026.106480_b13","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/LCSYS.2022.3188934","article-title":"Optimization-based safe stabilizing feedback with guaranteed region of attraction","volume":"7","author":"Mestres","year":"2023","journal-title":"IEEE Control Syst. Lett."},{"key":"10.1016\/j.sysconle.2026.106480_b14","doi-asserted-by":"crossref","unstructured":"P. Ong, J. Cort\u00e9s, Universal formula for smooth safe stabilization, in: IEEE Conf. on Decision and Control, Nice, France, 2019, pp. 2373\u20132378.","DOI":"10.1109\/CDC40024.2019.9030225"},{"key":"10.1016\/j.sysconle.2026.106480_b15","doi-asserted-by":"crossref","first-page":"3615","DOI":"10.1109\/LCSYS.2023.3339719","article-title":"Composing control barrier functions for complex safety specifications","volume":"7","author":"Molnar","year":"2023","journal-title":"IEEE Control Syst. Lett."},{"key":"10.1016\/j.sysconle.2026.106480_b16","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2023.111359","article-title":"On the undesired equilibria induced by control barrier function based quadratic programs","volume":"159","author":"Tan","year":"2024","journal-title":"Automatica"},{"key":"10.1016\/j.sysconle.2026.106480_b17","series-title":"Explicit control barrier function-based safety filters and their resource-aware computation","author":"Mestres","year":"2025"},{"key":"10.1016\/j.sysconle.2026.106480_b18","doi-asserted-by":"crossref","unstructured":"A. Singletary, Y. Chen, A.D. Ames, Control barrier functions for sampled-data systems with input delays, in: IEEE Conf. on Decision and Control, Jeju Island, Republic of Korea, 2020, pp. 804\u2013809.","DOI":"10.1109\/CDC42340.2020.9304281"},{"issue":"3","key":"10.1016\/j.sysconle.2026.106480_b19","doi-asserted-by":"crossref","first-page":"749","DOI":"10.1109\/LCSYS.2020.3005101","article-title":"Safety-critical event triggered control via input-to-state safe barrier functions","volume":"5","author":"Taylor","year":"2021","journal-title":"IEEE Control Syst. Lett."},{"key":"10.1016\/j.sysconle.2026.106480_b20","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/LCSYS.2021.3076127","article-title":"Control barrier functions in sampled-data systems","volume":"6","author":"Breeden","year":"2022","journal-title":"IEEE Control Syst. Lett."},{"key":"10.1016\/j.sysconle.2026.106480_b21","doi-asserted-by":"crossref","unstructured":"A.J. Taylor, P. Ong, T.G. Molnar, A.D. Ames, Safe Backstepping with Control Barrier Functions, in: IEEE Conf. on Decision and Control, Canc\u00fan, Mexico, 2022, pp. 5775\u20135782, http:\/\/dx.doi.org\/10.1109\/CDC51059.2022.9992763.","DOI":"10.1109\/CDC51059.2022.9992763"},{"key":"10.1016\/j.sysconle.2026.106480_b22","doi-asserted-by":"crossref","unstructured":"B.J. Morris, M.J. Powell, A.D. Ames, Continuity and smoothness properties of nonlinear optimization-based feedback controllers, in: IEEE Conf. on Decision and Control, Osaka, Japan, 2015, pp. 151\u2013158.","DOI":"10.1109\/CDC.2015.7402101"},{"issue":"6","key":"10.1016\/j.sysconle.2026.106480_b23","doi-asserted-by":"crossref","first-page":"4148","DOI":"10.1109\/TAC.2025.3531774","article-title":"Continuity and boundedness of minimum-norm CBF-safe controllers","volume":"70","author":"Alyaseen","year":"2025","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.sysconle.2026.106480_b24","article-title":"Regularity properties of optimization-based controllers","volume":"81","author":"Mestres","year":"2025","journal-title":"Ejc"},{"key":"10.1016\/j.sysconle.2026.106480_b25","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2021.109947","article-title":"Large scale model predictive control with neural networks and primal active sets","volume":"135","author":"Chen","year":"2022","journal-title":"Automatica"},{"key":"10.1016\/j.sysconle.2026.106480_b26","doi-asserted-by":"crossref","unstructured":"S. Chen, K. Saulnier, N. Atanasov, D.D. Lee, V. Kumar, G. Pappas, Approximating explicit model predictive control using constrained neural networks, in: American Control Conference, Milwaukee, Wisconsin, USA, 2018, pp. 1520\u20131527.","DOI":"10.23919\/ACC.2018.8431275"},{"issue":"3","key":"10.1016\/j.sysconle.2026.106480_b27","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1109\/LCSYS.2018.2843682","article-title":"Learning an approximate model predictive controller with guarantees","volume":"2","author":"Hertneck","year":"2018","journal-title":"IEEE Control Syst. Lett."},{"key":"10.1016\/j.sysconle.2026.106480_b28","doi-asserted-by":"crossref","unstructured":"X. Zhang, M. Bujarbaruah, F. Borrelli, Safe and near-optimal policy learning for model predictive control using primal-dual neural networks, in: American Control Conference, Philadelphia, Pennsylvania, USA, 2019, pp. 354\u2013359.","DOI":"10.23919\/ACC.2019.8814335"},{"key":"10.1016\/j.sysconle.2026.106480_b29","series-title":"Predictive Control for Linear and Hybrid Systems","author":"Borrelli","year":"2017"},{"key":"10.1016\/j.sysconle.2026.106480_b30","series-title":"Hard-constrained neural networks with universal approximation guarantees","author":"Min","year":"2025"},{"key":"10.1016\/j.sysconle.2026.106480_b31","series-title":"Pinet: Optimizing hard-constrained neural networks with orthogonal projection layers","author":"Grontas","year":"2025"},{"issue":"12","key":"10.1016\/j.sysconle.2026.106480_b32","doi-asserted-by":"crossref","first-page":"8016","DOI":"10.1109\/TAC.2025.3582535","article-title":"Converse theorems for certificates of safety and stability","volume":"70","author":"Mestres","year":"2025","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"11","key":"10.1016\/j.sysconle.2026.106480_b33","doi-asserted-by":"crossref","first-page":"1163","DOI":"10.1016\/0362-546X(83)90049-4","article-title":"Stabilization with relaxed controls","volume":"7","author":"Artstein","year":"1983","journal-title":"Nonlinear Anal."},{"key":"10.1016\/j.sysconle.2026.106480_b34","series-title":"Implicit Functions and Solution Mappings: A View from Variational Analysis","author":"Dontchev","year":"2014"},{"key":"10.1016\/j.sysconle.2026.106480_b35","series-title":"Nonlinear Systems","author":"Khalil","year":"2002"},{"issue":"2","key":"10.1016\/j.sysconle.2026.106480_b36","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/0743-7315(89)90021-X","article-title":"Dynamic load balancing for distributed memory multiprocessors","volume":"7","author":"Cybenko","year":"1989","journal-title":"J. Parallel Distrib. Comput."},{"key":"10.1016\/j.sysconle.2026.106480_b37","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-3-540-77653-6_3","article-title":"Input to state stability: Basic concepts and results","volume":"1932","author":"Sontag","year":"2008","journal-title":"Nonlinear Optim. Control. Theory"},{"issue":"1","key":"10.1016\/j.sysconle.2026.106480_b38","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1109\/LCSYS.2018.2853698","article-title":"Input-to-state safety with control barrier functions","volume":"3","author":"Kolathaya","year":"2018","journal-title":"IEEE Control. Syst. Lett."},{"key":"10.1016\/j.sysconle.2026.106480_b39","series-title":"Contraction Theory for Dynamical Systems","isbn-type":"print","author":"Bullo","year":"2026","ISBN":"https:\/\/id.crossref.org\/isbn\/9798836646806"},{"key":"10.1016\/j.sysconle.2026.106480_b40","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.neunet.2017.07.002","article-title":"Error bounds for approximations with deep ReLU networks","volume":"94","author":"Yarotsky","year":"2017","journal-title":"Neural Net."},{"key":"10.1016\/j.sysconle.2026.106480_b41","series-title":"Primal-Dual Interior Point Methods","author":"Wright","year":"1997"},{"key":"10.1016\/j.sysconle.2026.106480_b42","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.neunet.2017.12.012","article-title":"Sigmoid-weighted linear units for neural network function approximation in reinforcement learning","volume":"107","author":"Elfwing","year":"2018","journal-title":"Neural Net."},{"issue":"83","key":"10.1016\/j.sysconle.2026.106480_b43","first-page":"1","article-title":"CVXPY: A python-embedded modeling language for convex optimization","volume":"17","author":"Diamond","year":"2016","journal-title":"J. Mach. Learn. Res."},{"key":"10.1016\/j.sysconle.2026.106480_b44","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1038\/s41592-019-0686-2","article-title":"SciPy 1.0: Fundamental algorithms for scientific computing in Python","volume":"17","author":"Virtanen","year":"2020","journal-title":"Nature Methods"}],"container-title":["Systems & Control Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167691126001404?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167691126001404?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T20:13:39Z","timestamp":1783541619000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167691126001404"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8]]},"references-count":44,"alternative-id":["S0167691126001404"],"URL":"https:\/\/doi.org\/10.1016\/j.sysconle.2026.106480","relation":{},"ISSN":["0167-6911"],"issn-type":[{"value":"0167-6911","type":"print"}],"subject":[],"published":{"date-parts":[[2026,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Universal formulas for safe control and their neural network approximations","name":"articletitle","label":"Article Title"},{"value":"Systems & Control Letters","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.sysconle.2026.106480","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 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":"106480"}}