{"title":"非展开单调系统的稳定性及其在递归神经网络中的应用","authors":"Diego Deplano;Mauro Franceschelli;Alessandro Giua","doi":"10.1109/LCSYS.2024.3417171","DOIUrl":null,"url":null,"abstract":"This letter shows that trajectories of continuous-time monotone systems (in the sense of Kamke-Muller) converge to equilibrium points if their vector field is continuously differentiable and if they are nonexpansive w.r.t. a diagonally weighted infinity norm. Differently from the current literature trend, the system is not required to be contractive but merely nonexpansive, thus allowing for multiple equilibrium points. Easy-to-check conditions on the vector field to verify that the system is both monotone and nonexpansive are provided. This is done by showing that nonexpansiveness is implied by subhomogeneity of the system, a generalization of the translation invariance property. We apply the results in the context of RNNs, thus providing sufficient conditions for convergence of the state trajectories of nonexpansive monotone neural networks that are not contractive.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":null,"pages":null},"PeriodicalIF":2.4000,"publicationDate":"2024-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10565791","citationCount":"0","resultStr":"{\"title\":\"Stability of Nonexpansive Monotone Systems and Application to Recurrent Neural Networks\",\"authors\":\"Diego Deplano;Mauro Franceschelli;Alessandro Giua\",\"doi\":\"10.1109/LCSYS.2024.3417171\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This letter shows that trajectories of continuous-time monotone systems (in the sense of Kamke-Muller) converge to equilibrium points if their vector field is continuously differentiable and if they are nonexpansive w.r.t. a diagonally weighted infinity norm. Differently from the current literature trend, the system is not required to be contractive but merely nonexpansive, thus allowing for multiple equilibrium points. Easy-to-check conditions on the vector field to verify that the system is both monotone and nonexpansive are provided. This is done by showing that nonexpansiveness is implied by subhomogeneity of the system, a generalization of the translation invariance property. We apply the results in the context of RNNs, thus providing sufficient conditions for convergence of the state trajectories of nonexpansive monotone neural networks that are not contractive.\",\"PeriodicalId\":37235,\"journal\":{\"name\":\"IEEE Control Systems Letters\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":2.4000,\"publicationDate\":\"2024-06-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10565791\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE Control Systems Letters\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://ieeexplore.ieee.org/document/10565791/\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"AUTOMATION & CONTROL SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Control Systems Letters","FirstCategoryId":"1085","ListUrlMain":"https://ieeexplore.ieee.org/document/10565791/","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}
Stability of Nonexpansive Monotone Systems and Application to Recurrent Neural Networks
This letter shows that trajectories of continuous-time monotone systems (in the sense of Kamke-Muller) converge to equilibrium points if their vector field is continuously differentiable and if they are nonexpansive w.r.t. a diagonally weighted infinity norm. Differently from the current literature trend, the system is not required to be contractive but merely nonexpansive, thus allowing for multiple equilibrium points. Easy-to-check conditions on the vector field to verify that the system is both monotone and nonexpansive are provided. This is done by showing that nonexpansiveness is implied by subhomogeneity of the system, a generalization of the translation invariance property. We apply the results in the context of RNNs, thus providing sufficient conditions for convergence of the state trajectories of nonexpansive monotone neural networks that are not contractive.