E. Petri, K. J. A. Scheres, E. Steur, W. P. M. H. Heemels
{"title":"线性系统的简单神经形态控制器分析:混合系统视角","authors":"E. Petri, K. J. A. Scheres, E. Steur, W. P. M. H. Heemels","doi":"arxiv-2409.06353","DOIUrl":null,"url":null,"abstract":"In this paper we analyze a neuromorphic controller, inspired by the leaky\nintegrate-and-fire neuronal model, in closed-loop with a single-input\nsingle-output linear time-invariant system. The controller consists of two\nneuron-like variables and generates a spiking control input whenever one of\nthese variables reaches a threshold. The control input is different from zero\nonly at the spiking instants and, hence, between two spiking times the system\nevolves in open-loop. Exploiting the hybrid nature of the integrate-and-fire\nneuronal dynamics, we present a hybrid modeling framework to design and analyze\nthis new controller. In the particular case of single-state linear\ntime-invariant plants, we prove a practical stability property for the\nclosed-loop system, we ensure the existence of a strictly positive dwell-time\nbetween spikes, and we relate these properties to the parameters in the\nneurons. The results are illustrated in a numerical example.","PeriodicalId":501175,"journal":{"name":"arXiv - EE - Systems and Control","volume":"4 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Analysis of a Simple Neuromorphic Controller for Linear Systems: A Hybrid Systems Perspective\",\"authors\":\"E. Petri, K. J. A. Scheres, E. Steur, W. P. M. H. Heemels\",\"doi\":\"arxiv-2409.06353\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper we analyze a neuromorphic controller, inspired by the leaky\\nintegrate-and-fire neuronal model, in closed-loop with a single-input\\nsingle-output linear time-invariant system. The controller consists of two\\nneuron-like variables and generates a spiking control input whenever one of\\nthese variables reaches a threshold. The control input is different from zero\\nonly at the spiking instants and, hence, between two spiking times the system\\nevolves in open-loop. Exploiting the hybrid nature of the integrate-and-fire\\nneuronal dynamics, we present a hybrid modeling framework to design and analyze\\nthis new controller. In the particular case of single-state linear\\ntime-invariant plants, we prove a practical stability property for the\\nclosed-loop system, we ensure the existence of a strictly positive dwell-time\\nbetween spikes, and we relate these properties to the parameters in the\\nneurons. The results are illustrated in a numerical example.\",\"PeriodicalId\":501175,\"journal\":{\"name\":\"arXiv - EE - Systems and Control\",\"volume\":\"4 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - EE - Systems and Control\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.06353\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - EE - Systems and Control","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.06353","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Analysis of a Simple Neuromorphic Controller for Linear Systems: A Hybrid Systems Perspective
In this paper we analyze a neuromorphic controller, inspired by the leaky
integrate-and-fire neuronal model, in closed-loop with a single-input
single-output linear time-invariant system. The controller consists of two
neuron-like variables and generates a spiking control input whenever one of
these variables reaches a threshold. The control input is different from zero
only at the spiking instants and, hence, between two spiking times the system
evolves in open-loop. Exploiting the hybrid nature of the integrate-and-fire
neuronal dynamics, we present a hybrid modeling framework to design and analyze
this new controller. In the particular case of single-state linear
time-invariant plants, we prove a practical stability property for the
closed-loop system, we ensure the existence of a strictly positive dwell-time
between spikes, and we relate these properties to the parameters in the
neurons. The results are illustrated in a numerical example.