{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T09:47:07Z","timestamp":1777456027925,"version":"3.51.4"},"reference-count":50,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T00:00:00Z","timestamp":1772755200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Automatica"],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1016\/j.automatica.2026.112896","type":"journal-article","created":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T12:21:12Z","timestamp":1773922872000},"page":"112896","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Control Lyapunov function design via configuration-constrained polyhedral computing"],"prefix":"10.1016","volume":"188","author":[{"given":"Boris","family":"Houska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias A.","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario Eduardo","family":"Villanueva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"11","key":"10.1016\/j.automatica.2026.112896_b1","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 Analysis. Theory, Methods & Applications"},{"key":"10.1016\/j.automatica.2026.112896_b2","series-title":"Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations","author":"Bardi","year":"1997"},{"key":"10.1016\/j.automatica.2026.112896_b3","series-title":"Dynamic programming","author":"Bellman","year":"1957"},{"issue":"9","key":"10.1016\/j.automatica.2026.112896_b4","doi-asserted-by":"crossref","first-page":"1600","DOI":"10.1109\/TAC.2003.816984","article-title":"Min-max control of constrained uncertain discrete-time linear systems","volume":"48","author":"Bemporad","year":"2003","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.automatica.2026.112896_b5","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/s10589-006-6447-z","article-title":"An algorithm for approximate multiparametric convex programming","volume":"35","author":"Bemporad","year":"2006","journal-title":"Computational Optimization and Applications"},{"issue":"1","key":"10.1016\/j.automatica.2026.112896_b6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0005-1098(01)00174-1","article-title":"The explicit linear quadratic regulator for constrained systems","volume":"38","author":"Bemporad","year":"2002","journal-title":"Automatica"},{"issue":"12","key":"10.1016\/j.automatica.2026.112896_b7","doi-asserted-by":"crossref","first-page":"2883","DOI":"10.1109\/TAC.2011.2141410","article-title":"Ultra-fast stabilizing model predictive control via canonical piecewise affine approximations","volume":"56","author":"Bemporad","year":"2011","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.automatica.2026.112896_b8","series-title":"Dynamic programming and optimal control","author":"Bertsekas","year":"2012"},{"issue":"3","key":"10.1016\/j.automatica.2026.112896_b9","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1137\/080734510","article-title":"Theory and applications of robust optimization","volume":"53","author":"Bertsimas","year":"2011","journal-title":"SIAM Review"},{"issue":"2","key":"10.1016\/j.automatica.2026.112896_b10","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1109\/9.272351","article-title":"Ultimate boundedness control for uncertain discrete-time systems via set-induced Lyapunov functions","volume":"39","author":"Blanchini","year":"1994","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"10.1016\/j.automatica.2026.112896_b11","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1016\/0005-1098(94)00133-4","article-title":"Nonquadratic Lyapunov functions for robust control","volume":"31","author":"Blanchini","year":"1995","journal-title":"Automatica"},{"issue":"2","key":"10.1016\/j.automatica.2026.112896_b12","first-page":"2065","article-title":"Numerical computation of polyhedral Lyapunov functions for robust synthesis","volume":"32","author":"Blanchini","year":"1999","journal-title":"IFAC Proceedings"},{"key":"10.1016\/j.automatica.2026.112896_b13","series-title":"Systems & control: foundations & applications","first-page":"xvi+481","article-title":"Set-theoretic methods in control","author":"Blanchini","year":"2015"},{"key":"10.1016\/j.automatica.2026.112896_b14","series-title":"Linear matrix inequalities in system and control theory","author":"Boyd","year":"1994"},{"key":"10.1016\/j.automatica.2026.112896_b15","series-title":"Convex optimization","author":"Boyd","year":"2004"},{"issue":"10","key":"10.1016\/j.automatica.2026.112896_b16","doi-asserted-by":"crossref","first-page":"1205","DOI":"10.1016\/S0005-1098(98)00073-9","article-title":"A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability","volume":"34","author":"Chen","year":"1998","journal-title":"Automatica"},{"key":"10.1016\/j.automatica.2026.112896_b17","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"},{"issue":"12","key":"10.1016\/j.automatica.2026.112896_b18","doi-asserted-by":"crossref","first-page":"2253","DOI":"10.1109\/TAC.2004.838489","article-title":"Robust dynamic programming for min-max model predictive control of constrained uncertain systems","volume":"49","author":"Diehl","year":"2004","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"10.1016\/j.automatica.2026.112896_b19","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/s10957-022-02020-3","article-title":"On the approximation of unbounded convex sets by polyhedra","volume":"194","author":"D\u00f6rfler","year":"2022","journal-title":"Journal of Optimization Theory and Applications"},{"issue":"9","key":"10.1016\/j.automatica.2026.112896_b20","doi-asserted-by":"crossref","first-page":"5201","DOI":"10.1109\/TAC.2022.3216978","article-title":"Reliably-stabilizing piecewise-affine neural network controllers","volume":"68","author":"Fabiani","year":"2022","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"10.1016\/j.automatica.2026.112896_b21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1561\/2600000014","article-title":"Economic nonlinear model predictive control","volume":"5","author":"Faulwasser","year":"2018","journal-title":"Foundations and Trends\u00ae in Systems and Control"},{"key":"10.1016\/j.automatica.2026.112896_b22","series-title":"Polyhedral computation","author":"Fukuda","year":"2020"},{"issue":"8","key":"10.1016\/j.automatica.2026.112896_b23","doi-asserted-by":"crossref","first-page":"2291","DOI":"10.3934\/dcdsb.2015.20.2291","article-title":"Review on computational methods for Lyapunov functions","volume":"20","author":"Giesl","year":"2015","journal-title":"Discrete and Continuous Dynamical Systems. Series B"},{"issue":"4","key":"10.1016\/j.automatica.2026.112896_b24","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1016\/j.automatica.2005.08.023","article-title":"Optimization over state feedback policies for robust control with constraints","volume":"42","author":"Goulart","year":"2006","journal-title":"Automatica"},{"issue":"4","key":"10.1016\/j.automatica.2026.112896_b25","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1016\/j.automatica.2003.11.014","article-title":"Computation of the constrained infinite time linear quadratic regulator","volume":"40","author":"Grieder","year":"2004","journal-title":"Automatica"},{"issue":"4","key":"10.1016\/j.automatica.2026.112896_b26","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1109\/TAC.1986.1104270","article-title":"Admissible sets and feedback control for discrete-time linear dynamical systems with bounded controls and states","volume":"31","author":"Gutman","year":"1986","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.automatica.2026.112896_b27","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1109\/TAC.1987.1104567","article-title":"An algorithm to find maximal state constraint sets for discrete-time linear dynamical systems with bounded controls and states","volume":"32","author":"Gutman","year":"1987","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.automatica.2026.112896_b28","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2023.111456","article-title":"Approximate dynamic programming for constrained linear systems: A piecewise quadratic approximation approach","volume":"160","author":"He","year":"2024","journal-title":"Automatica"},{"key":"10.1016\/j.automatica.2026.112896_b29","doi-asserted-by":"crossref","unstructured":"Herceg,\u00a0M., Kvasnica,\u00a0M., Jones,\u00a0C., & Morari,\u00a0M. (2013). Multi-parametric toolbox 3.0. In Proceedings of European control conference (pp. 502\u2013510).","DOI":"10.23919\/ECC.2013.6669862"},{"key":"10.1016\/j.automatica.2026.112896_b30","doi-asserted-by":"crossref","first-page":"1961","DOI":"10.1109\/LCSYS.2024.3411517","article-title":"On stabilizing terminal costs and regions for configuration-constrained tube MPC","volume":"8","author":"Houska","year":"2024","journal-title":"IEEE Control Systems Letters"},{"key":"10.1016\/j.automatica.2026.112896_b31","doi-asserted-by":"crossref","DOI":"10.1016\/j.arcontrol.2025.100992","article-title":"Polyhedral control design: Theory and methods","volume":"60","author":"Houska","year":"2025","journal-title":"Annual Reviews in Control"},{"issue":"11","key":"10.1016\/j.automatica.2026.112896_b32","doi-asserted-by":"crossref","first-page":"2542","DOI":"10.1109\/TAC.2010.2047437","article-title":"Polytopic approximation of explicit model predictive controllers","volume":"55","author":"Jones","year":"2010","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"9","key":"10.1016\/j.automatica.2026.112896_b33","doi-asserted-by":"crossref","first-page":"3866","DOI":"10.1109\/TCYB.2020.2999556","article-title":"Efficient representation and approximation of model predictive control laws via deep learning","volume":"50","author":"Karg","year":"2020","journal-title":"IEEE Transactions on Cybernetics"},{"key":"10.1016\/j.automatica.2026.112896_b34","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1002\/rnc.889","article-title":"Feedback min-max model predictive control using a single linear program: Robust stability and the explicit solution","volume":"14","author":"Kerrigan","year":"2004","journal-title":"International Journal on Robust and Nonlinear Control"},{"issue":"8","key":"10.1016\/j.automatica.2026.112896_b35","doi-asserted-by":"crossref","first-page":"1249","DOI":"10.1109\/TAC.2006.878720","article-title":"Relaxing dynamic programming","volume":"51","author":"Lincoln","year":"2006","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"6","key":"10.1016\/j.automatica.2026.112896_b36","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1016\/S0005-1098(99)00214-9","article-title":"Constrained model predictive control: Stability and optimality","volume":"36","author":"Mayne","year":"2000","journal-title":"Automatica"},{"key":"10.1016\/j.automatica.2026.112896_b37","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1112\/S0025579300002850","article-title":"The maximum numbers of faces of a convex polytope","volume":"17","author":"McMullen","year":"1971","journal-title":"Mathematika"},{"key":"10.1016\/j.automatica.2026.112896_b38","series-title":"Ausgew\u00e4hlte Arbeiten zur Zahlentheorie und zur Geometrie: in D. Hilberts Ged\u00e4chtnisrede auf H. Minkowski, G\u00f6ttingen 1909","first-page":"121","article-title":"Allgemeine Lehrs\u00e4tze \u00fcber die konvexen Polyeder","author":"Minkowski","year":"1989"},{"issue":"1\u20132","key":"10.1016\/j.automatica.2026.112896_b39","first-page":"229","article-title":"Polyhedral approximation of convex sets with an application to large deviation probability theory","volume":"2","author":"Ney","year":"1995","journal-title":"Journal of Convex Analysis"},{"issue":"1","key":"10.1016\/j.automatica.2026.112896_b40","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1111\/j.1934-6093.1999.tb00002.x","article-title":"Nonlinear optimal control: A control Lyapunov function and receding horizon perspective","volume":"1","author":"Primbs","year":"1999","journal-title":"Asian Journal of Control"},{"issue":"109168","key":"10.1016\/j.automatica.2026.112896_b41","article-title":"Robust Minkowski-Lyapunov functions","volume":"120","author":"Rakovi\u0107","year":"2020","journal-title":"Automatica"},{"issue":"6","key":"10.1016\/j.automatica.2026.112896_b42","doi-asserted-by":"crossref","first-page":"3576","DOI":"10.1109\/TAC.2023.3307529","article-title":"Polyhedral robust Minkowski\u2013Lyapunov functions","volume":"69","author":"Rakovi\u0107","year":"2024","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.automatica.2026.112896_b43","series-title":"Model predictive control: theory and design","author":"Rawlings","year":"2009"},{"issue":"8","key":"10.1016\/j.automatica.2026.112896_b44","doi-asserted-by":"crossref","first-page":"1136","DOI":"10.1109\/9.704989","article-title":"Min-max feedback model predictive control for constrained linear systems","volume":"43","author":"Scokaert","year":"1998","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.automatica.2026.112896_b45","article-title":"Configuration-constrained tube MPC","volume":"163:111543","author":"Villanueva","year":"2024","journal-title":"Automatica"},{"key":"10.1016\/j.automatica.2026.112896_b46","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/BF01292722","article-title":"Elementare Theorie der konvexen Polyeder","volume":"7","author":"Weyl","year":"1934","journal-title":"Commentarii Mathematici Helvetici"},{"issue":"1","key":"10.1016\/j.automatica.2026.112896_b47","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/TAC.1968.1098788","article-title":"A minimax control problem for sampled linear systems","volume":"13","author":"Witsenhausen","year":"1968","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"10.1016\/j.automatica.2026.112896_b48","doi-asserted-by":"crossref","first-page":"1745","DOI":"10.1109\/TAC.2024.3466869","article-title":"Error-free approximation of explicit linear MPC through lattice piecewise affine expression","volume":"70","author":"Xu","year":"2025","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.automatica.2026.112896_b49","series-title":"Lectures on polytopes","author":"Ziegler","year":"1995"},{"key":"10.1016\/j.automatica.2026.112896_b50","doi-asserted-by":"crossref","first-page":"349","DOI":"10.2307\/2003387","article-title":"Methods of A.M.\u00a0Lyapunov and their application","volume":"19","author":"Zubov","year":"1965","journal-title":"Mathematics of Computation"}],"container-title":["Automatica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0005109826000804?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0005109826000804?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T13:00:48Z","timestamp":1777381248000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0005109826000804"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6]]},"references-count":50,"alternative-id":["S0005109826000804"],"URL":"https:\/\/doi.org\/10.1016\/j.automatica.2026.112896","relation":{},"ISSN":["0005-1098"],"issn-type":[{"value":"0005-1098","type":"print"}],"subject":[],"published":{"date-parts":[[2026,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Control Lyapunov function design via configuration-constrained polyhedral computing","name":"articletitle","label":"Article Title"},{"value":"Automatica","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.automatica.2026.112896","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":"112896"}}