{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T09:14:07Z","timestamp":1783674847010,"version":"3.55.0"},"reference-count":34,"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,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100001843","name":"Science and Engineering Research Board","doi-asserted-by":"publisher","award":["ANRF\/CRG\/2023\/003333"],"award-info":[{"award-number":["ANRF\/CRG\/2023\/003333"]}],"id":[{"id":"10.13039\/501100001843","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["IFAC Journal of Systems and Control"],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1016\/j.ifacsc.2026.100424","type":"journal-article","created":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T05:39:21Z","timestamp":1778823561000},"page":"100424","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Data-driven stability verification and region of attraction estimation for Koopman-lifted nonlinear systems"],"prefix":"10.1016","volume":"36","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2300-1375","authenticated-orcid":false,"given":"Tushar","family":"Jain","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/j.ifacsc.2026.100424_b1","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1109\/9.989067","article-title":"A Lyapunov approach to incremental stability properties","volume":"47","author":"Angeli","year":"2002","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.ifacsc.2026.100424_b2","series-title":"Proc. ACC","first-page":"4155","article-title":"A quantitative and constructive proof of Willems\u2019 fundamental lemma and its implications","author":"Berberich","year":"2023"},{"issue":"3","key":"10.1016\/j.ifacsc.2026.100424_b3","doi-asserted-by":"crossref","first-page":"1211","DOI":"10.1137\/07069821X","article-title":"The exact feasibility of randomized solutions of uncertain convex programs","volume":"19","author":"Campi","year":"2008","journal-title":"SIAM Journal on Optimization"},{"issue":"10","key":"10.1016\/j.ifacsc.2026.100424_b4","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.ifacsc.2026.100424_b5","series-title":"Proc. 18th ECC","first-page":"307","article-title":"Data-enabled predictive control: In the shallows of the DeePC","author":"Coulson","year":"2019"},{"issue":"3","key":"10.1016\/j.ifacsc.2026.100424_b6","doi-asserted-by":"crossref","first-page":"909","DOI":"10.1109\/TAC.2019.2959924","article-title":"Formulas for data-driven control: Stabilization, optimality, and robustness","volume":"65","author":"De\u00a0Persis","year":"2020","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.ifacsc.2026.100424_b7","doi-asserted-by":"crossref","DOI":"10.1016\/j.ifacsc.2026.100384","article-title":"Data-driven modeling with prior system knowledge","volume":"35","author":"Engeln","year":"2026","journal-title":"IFAC Journal of Systems and Control"},{"issue":"3","key":"10.1016\/j.ifacsc.2026.100424_b8","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1109\/TAC.2013.2285771","article-title":"A differential Lyapunov framework for contraction analysis","volume":"59","author":"Forni","year":"2014","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.ifacsc.2026.100424_b9","series-title":"The Elements of Statistical Learning: Data Mining, Inference, and Prediction","author":"Hastie","year":"2009"},{"issue":"4","key":"10.1016\/j.ifacsc.2026.100424_b10","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1109\/TAC.1971.1099755","article-title":"An iterative technique for the computation of the steady state gains for the discrete optimal regulator","volume":"16","author":"Hewer","year":"1971","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.ifacsc.2026.100424_b11","series-title":"Active fault-tolerant control systems: A behavioral system theoretic perspective","author":"Jain","year":"2018"},{"issue":"6","key":"10.1016\/j.ifacsc.2026.100424_b12","doi-asserted-by":"crossref","first-page":"857","DOI":"10.1016\/S0005-1098(01)00028-0","article-title":"Input-to-state stability for discrete-time nonlinear systems","volume":"37","author":"Jiang","year":"2001","journal-title":"Automatica"},{"key":"10.1016\/j.ifacsc.2026.100424_b13","doi-asserted-by":"crossref","DOI":"10.1016\/j.ifacsc.2025.100339","article-title":"Deep Koopman-based reachability analysis for data-driven predictive control of unknown nonlinear systems","author":"Ketema","year":"2025","journal-title":"IFAC Journal of Systems and Control"},{"key":"10.1016\/j.ifacsc.2026.100424_b14","series-title":"Nonlinear systems","author":"Khalil","year":"2002"},{"issue":"5","key":"10.1016\/j.ifacsc.2026.100424_b15","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1073\/pnas.17.5.315","article-title":"Hamiltonian systems and transformation in Hilbert space","volume":"17","author":"Koopman","year":"1931","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"10.1016\/j.ifacsc.2026.100424_b16","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/j.automatica.2018.03.046","article-title":"Linear predictors for nonlinear dynamical systems: Koopman operator meets model predictive control","volume":"93","author":"Korda","year":"2018","journal-title":"Automatica"},{"issue":"6","key":"10.1016\/j.ifacsc.2026.100424_b17","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1016\/S0005-1098(98)00019-3","article-title":"On contraction analysis for nonlinear systems","volume":"34","author":"Lohmiller","year":"1998","journal-title":"Automatica"},{"issue":"5","key":"10.1016\/j.ifacsc.2026.100424_b18","doi-asserted-by":"crossref","first-page":"984","DOI":"10.1109\/9.855568","article-title":"Control system design for mechanical systems using contraction theory","volume":"45","author":"Lohmiller","year":"2000","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.ifacsc.2026.100424_b19","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1016\/j.arcontrol.2021.09.005","article-title":"Behavioral systems theory in data-driven analysis, signal processing, and control","volume":"52","author":"Markovsky","year":"2021","journal-title":"Annual Reviews in Control"},{"key":"10.1016\/j.ifacsc.2026.100424_b20","series-title":"The Koopman operator in systems and control: concepts, methodologies, and applications","year":"2020"},{"key":"10.1016\/j.ifacsc.2026.100424_b21","doi-asserted-by":"crossref","DOI":"10.1016\/j.ifacsc.2026.100396","article-title":"Taming non-linearity with local data-driven predictive control","author":"Pasini","year":"2026","journal-title":"IFAC Journal of Systems and Control"},{"key":"10.1016\/j.ifacsc.2026.100424_b22","doi-asserted-by":"crossref","first-page":"3135","DOI":"10.1109\/LCSYS.2024.3522594","article-title":"Willems\u2019 fundamental lemma for nonlinear systems with Koopman linear embedding","volume":"8","author":"Shang","year":"2024","journal-title":"IEEE Control Systems Letters"},{"key":"10.1016\/j.ifacsc.2026.100424_b23","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2025.112732","article-title":"SafEDMD: A Koopman-based data-driven controller design framework for nonlinear dynamical systems","volume":"185","author":"Str\u00e4sser","year":"2026","journal-title":"Automatica"},{"key":"10.1016\/j.ifacsc.2026.100424_b24","first-page":"1035","article-title":"Solution of incorrectly formulated problems and the regularization method","volume":"4","author":"Tikhonov","year":"1963","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/j.ifacsc.2026.100424_b25","doi-asserted-by":"crossref","DOI":"10.1016\/j.ifacsc.2025.100300","article-title":"Learning optimal safety certificates for unknown nonlinear control systems","volume":"31","author":"Tooranjipour","year":"2025","journal-title":"IFAC Journal of Systems and Control"},{"key":"10.1016\/j.ifacsc.2026.100424_b26","series-title":"2016 IEEE 55th conference on decision and control","first-page":"477","article-title":"Incremental stability properties for discrete-time systems","author":"Tran","year":"2016"},{"issue":"3","key":"10.1016\/j.ifacsc.2026.100424_b27","doi-asserted-by":"crossref","first-page":"602","DOI":"10.1109\/LCSYS.2020.2986991","article-title":"Willems\u2019 fundamental lemma for state-space systems and its extension to multiple datasets","volume":"4","author":"Van\u00a0Waarde","year":"2020","journal-title":"IEEE Control Systems Letters"},{"issue":"4","key":"10.1016\/j.ifacsc.2026.100424_b28","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/j.sysconle.2004.09.003","article-title":"A note on persistency of excitation","volume":"54","author":"Willems","year":"2005","journal-title":"Systems & Control Letters"},{"issue":"6","key":"10.1016\/j.ifacsc.2026.100424_b29","doi-asserted-by":"crossref","first-page":"1307","DOI":"10.1007\/s00332-015-9258-5","article-title":"A data\u2013driven approximation of the koopman operator: Extending dynamic mode decomposition","volume":"25","author":"Williams","year":"2015","journal-title":"Journal of Nonlinear Science"},{"key":"10.1016\/j.ifacsc.2026.100424_b30","series-title":"IEEE 64th conference on decision and control","first-page":"6498","article-title":"Data-enabled predictive control for nonlinear systems based on a koopman bilinear realization","author":"Xiong","year":"2025"},{"issue":"7","key":"10.1016\/j.ifacsc.2026.100424_b31","doi-asserted-by":"crossref","first-page":"6739","DOI":"10.1007\/s11071-024-10449-6","article-title":"State filtered disturbance rejection control","volume":"113","author":"Yang","year":"2025","journal-title":"Nonlinear Dynamics"},{"issue":"4","key":"10.1016\/j.ifacsc.2026.100424_b32","doi-asserted-by":"crossref","first-page":"2972","DOI":"10.1002\/rnc.7118","article-title":"Multilayer neurocontrol of high-order uncertain nonlinear systems with active disturbance rejection","volume":"34","author":"Yang","year":"2024","journal-title":"International Journal of Robust and Nonlinear Control"},{"issue":"10","key":"10.1016\/j.ifacsc.2026.100424_b33","doi-asserted-by":"crossref","first-page":"6127","DOI":"10.1002\/rnc.6143","article-title":"Neuroadaptive learning algorithm for constrained nonlinear systems with disturbance rejection","volume":"32","author":"Yang","year":"2022","journal-title":"International Journal of Robust and Nonlinear Control"},{"issue":"7","key":"10.1016\/j.ifacsc.2026.100424_b34","doi-asserted-by":"crossref","first-page":"4336","DOI":"10.1109\/TAC.2023.3319051","article-title":"On the equivalence of contraction and Koopman approaches for nonlinear stability and control","volume":"69","author":"Yi","year":"2023","journal-title":"IEEE Transactions on Automatic Control"}],"container-title":["IFAC Journal of Systems and Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2468601826000647?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2468601826000647?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T08:21:04Z","timestamp":1783671664000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2468601826000647"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6]]},"references-count":34,"alternative-id":["S2468601826000647"],"URL":"https:\/\/doi.org\/10.1016\/j.ifacsc.2026.100424","relation":{},"ISSN":["2468-6018"],"issn-type":[{"value":"2468-6018","type":"print"}],"subject":[],"published":{"date-parts":[[2026,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Data-driven stability verification and region of attraction estimation for Koopman-lifted nonlinear systems","name":"articletitle","label":"Article Title"},{"value":"IFAC Journal of Systems and Control","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ifacsc.2026.100424","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier Ltd. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"100424"}}