{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T03:19:33Z","timestamp":1768360773518,"version":"3.49.0"},"reference-count":42,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T00:00:00Z","timestamp":1765238400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T00:00:00Z","timestamp":1765238400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,12,9]]},"DOI":"10.1109\/cdc57313.2025.11312030","type":"proceedings-article","created":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T18:19:56Z","timestamp":1768241996000},"page":"8022-8027","source":"Crossref","is-referenced-by-count":0,"title":["Scalable Decomposition for Stability Analysis of Feedback Systems with High-Dimensional Neural Network Components"],"prefix":"10.1109","author":[{"given":"Zichen","family":"Wang","sequence":"first","affiliation":[{"name":"University of Illinois Urbana-Champaign,Coordinated Science Laboratory,Department of Electrical and Computer Engineering"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Seiler","sequence":"additional","affiliation":[{"name":"University of Michigan,Department of Electrical Engineering and Computer Science"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geir","family":"Dullerud","sequence":"additional","affiliation":[{"name":"University of Minnesota,Electrical and Computer Engineering Department"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bin","family":"Hu","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign,Coordinated Science Laboratory,Department of Electrical and Computer Engineering"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1561\/2600000023"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.09.005"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3045114"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683096"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/9.587335"},{"key":"ref6","author":"Bullo","year":"2022","journal-title":"Contraction theory for dynamical systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00019-3"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.13.134-151"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/9.989067"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2361004"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.3646"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3069388"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC56724.2024.10886894"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3287494"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2849618"},{"key":"ref16","article-title":"Eclipse: Efficient compositional lipschitz constant estimation for deep neural networks","volume-title":"The Thirty-eighth Annual Conference on Neural Information Processing Systems","author":"Xu"},{"key":"ref17","article-title":"Efficient and accurate estimation of Lipschitz constants for deep neural networks","author":"Fazlyab","year":"2019","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref18","volume-title":"Nonlinear Systems","author":"Khalil","year":"2001"},{"key":"ref19","volume-title":"Introductory functional analysis with applications.","author":"Kreyszig","year":"1991"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2021.10.001"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2024.3408110"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(95)00063-1"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(90)90049-Z"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551385"},{"key":"ref25","article-title":"Spectrally-normalized margin bounds for neural networks","author":"Bartlett","year":"2017","journal-title":"Advances in neural information processing systems"},{"key":"ref26","article-title":"Lipschitz regularity of deep neural networks: analysis and efficient estimation","author":"Virmaux","year":"2018","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref27","article-title":"Intriguing properties of neural networks","volume-title":"International Conference on Learning Representations","author":"Szegedy"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139020411"},{"key":"ref29","article-title":"Efficient bound of lipschitz constant for convolutional layers by gram iteration","volume-title":"International Conference on Machine Learning","author":"Delattre"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2021.3050444"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992331"},{"key":"ref32","article-title":"Lipschitz bounded equilibrium networks","author":"Revay","year":"2020"},{"key":"ref33","article-title":"A unified algebraic perspective on Lipschitz neural networks","volume-title":"International Conference on Learning Representations","author":"Araujo"},{"key":"ref34","article-title":"A quantitative geometric approach to neural-network smoothness","author":"Wang","year":"2022","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref35","article-title":"Exploiting connections between Lipschitz structures for certifiably robust deep equilibrium models","author":"Havens","year":"2023","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref36","article-title":"Novel quadratic constraints for extending lipsdp beyond slope-restricted activations","volume-title":"International Conference on Learning Representations","author":"Pauli"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-83191-1_9"},{"key":"ref38","article-title":"Direct parameterization of lipschitzbounded deep networks","volume-title":"International Conference on Machine Learning","author":"Wang"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9993136"},{"key":"ref40","article-title":"Lipschitz constant estimation for general neural network architectures using control tools","author":"Pauli","year":"2024"},{"key":"ref41","article-title":"On the scalability and memory efficiency of semidefinite programs for Lipschitz constant estimation of neural networks","volume-title":"International Conference on Learning Representations","author":"Wang"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111487"}],"event":{"name":"2025 IEEE 64th Conference on Decision and Control (CDC)","location":"Rio de Janeiro, Brazil","start":{"date-parts":[[2025,12,9]]},"end":{"date-parts":[[2025,12,12]]}},"container-title":["2025 IEEE 64th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11311984\/11311968\/11312030.pdf?arnumber=11312030","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T08:35:15Z","timestamp":1768293315000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11312030\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,9]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/cdc57313.2025.11312030","relation":{},"subject":[],"published":{"date-parts":[[2025,12,9]]}}}