{"title":"一个非线性单输入控制系统在平衡点周围有多少对称?","authors":"W. Respondek, I. Tall","doi":"10.1109/CDC.2001.981165","DOIUrl":null,"url":null,"abstract":"We describe all symmetries of a single-input nonlinear control system that is not feedback linearizable and whose first-order approximation is controllable, around an equilibrium point. For a system such that a feedback transformation bringing it into the canonical form is analytic, we prove that the set of all local symmetries of the system is exhausted by exactly two 1-parameter families of symmetries if the system is odd, and by exactly one 1-parameter family otherwise. We also prove that the form of the set of symmetries is completely described by the canonical form of the system: possessing a nonstationary symmetry, a 1-parameter family of symmetries, or being odd corresponds, respectively, to the fact that the drift vector field of the canonical form is periodic, does not depend on the first variable, or is odd. If the feedback transformation bringing the system to its canonical form is formal, we show an analogous result for an infinitesimal symmetry: its existence is equivalent to the fact that the drift vector field of the formal canonical form does not depend on the first variable. We illustrate our results by studying the symmetries of a variable-length pendulum.","PeriodicalId":131411,"journal":{"name":"Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"15","resultStr":"{\"title\":\"How many symmetries does admit a nonlinear single-input control system around an equilibrium?\",\"authors\":\"W. Respondek, I. Tall\",\"doi\":\"10.1109/CDC.2001.981165\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We describe all symmetries of a single-input nonlinear control system that is not feedback linearizable and whose first-order approximation is controllable, around an equilibrium point. For a system such that a feedback transformation bringing it into the canonical form is analytic, we prove that the set of all local symmetries of the system is exhausted by exactly two 1-parameter families of symmetries if the system is odd, and by exactly one 1-parameter family otherwise. We also prove that the form of the set of symmetries is completely described by the canonical form of the system: possessing a nonstationary symmetry, a 1-parameter family of symmetries, or being odd corresponds, respectively, to the fact that the drift vector field of the canonical form is periodic, does not depend on the first variable, or is odd. If the feedback transformation bringing the system to its canonical form is formal, we show an analogous result for an infinitesimal symmetry: its existence is equivalent to the fact that the drift vector field of the formal canonical form does not depend on the first variable. We illustrate our results by studying the symmetries of a variable-length pendulum.\",\"PeriodicalId\":131411,\"journal\":{\"name\":\"Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-12-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"15\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CDC.2001.981165\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CDC.2001.981165","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
How many symmetries does admit a nonlinear single-input control system around an equilibrium?
We describe all symmetries of a single-input nonlinear control system that is not feedback linearizable and whose first-order approximation is controllable, around an equilibrium point. For a system such that a feedback transformation bringing it into the canonical form is analytic, we prove that the set of all local symmetries of the system is exhausted by exactly two 1-parameter families of symmetries if the system is odd, and by exactly one 1-parameter family otherwise. We also prove that the form of the set of symmetries is completely described by the canonical form of the system: possessing a nonstationary symmetry, a 1-parameter family of symmetries, or being odd corresponds, respectively, to the fact that the drift vector field of the canonical form is periodic, does not depend on the first variable, or is odd. If the feedback transformation bringing the system to its canonical form is formal, we show an analogous result for an infinitesimal symmetry: its existence is equivalent to the fact that the drift vector field of the formal canonical form does not depend on the first variable. We illustrate our results by studying the symmetries of a variable-length pendulum.