马修·科瓦尔海姆。;丹尼尔·科迪切克（Daniel E.Koditschek）。 反馈稳定和安全的必要条件。 （英语） Zbl 1505.93187号 J.几何。机械。 14，第4号，659-693（2022）. 受机器人和欠驱动控制系统的其他设置中出现的问题的启发，本文引入了测试，以确定是否有可能使用连续反馈来使系统在状态空间的某个子集附近稳定，或者相对于状态空间的某个子集安全运行。首先，证明了紧集可镇定的一个必要条件。这个结果是Brockett必要条件的推广[R.W.布洛克，程序。数学。27, 181–191 (1983;Zbl 0528.93051号)]. 基于这一结果，证明了“安全”控制律存在的必要条件，使得某些“坏”集排斥。通过四个实例说明了所得结果的适用性。此外，还给出了两个应用：一类仿射控制系统和非完整拉格朗日控制系统。审核人：米哈伊尔·克拉斯坦诺夫（索非亚） 引用于2文件 理学硕士： 93D15号 通过反馈实现系统的稳定 93D20型 控制理论中的渐近稳定性 34天20分 常微分方程解的稳定性 关键词：紧集的可镇定性;连续反馈;严格正不变性 引文：Zbl 0528.93051号 软件：马特普洛特利布 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Kvalheim}和\textit{D.E.Koditschek}，J.Geom。机械。14，第4号，659--693（2022；Zbl 1505.93187） 全文： 内政部 arXiv公司 参考文献： [1] A.D.Ames、S.Coogan、M.Egerstedt、G.Notomista、K.Sreenath和P.Tabuada，控制障碍函数：理论与应用2019年第18届欧洲控制会议（ECC），IEEE，2019年，3420-3431。 [2] A.A.Agrachev和D.Liberzon，切换系统的李代数稳定性准则，SIAM控制与优化杂志，40（2001），第1253-269号·Zbl 0995.93064号 [3] R.Abraham和J.E.Marsden，力学基础第二版，艾迪森·韦斯利，1987年。 [4] A.Astolfi，非完整系统的间断控制，《系统与控制快报》，27，37-45（1996）·Zbl 0877.93107号 ·doi:10.1016/0167-6911（95）00041-0 [5] A.D.Ames；X.Xu；J.W.Grizzle；P.Tabuada，安全关键系统基于控制屏障函数的二次规划，IEEE Trans。自动化。控制，623861-3876（2017）·Zbl 1373.90092号 ·doi:10.1109/TAC.2016.2638961 [6] Y.Baryshnikov，反馈镇定中的拓扑困惑，2021年，预印本可从以下网址获得：http://publish.illinois.edu/ymb/files/2021/08/tp.pdf。 [7] A.布洛赫；S.Drakunov，通过滑动模式实现非完整积分器的稳定和跟踪，《系统与控制快报》，29，91-99（1996）·Zbl 0866.93085号 ·doi:10.1016/S0167-6911（96）00049-7 [8] A.M.Bloch；S.V.Drakunov；M.K.Kinyon，使用等谱流的非完整系统的稳定性，SIAM控制与优化期刊，38855-874（2000）·Zbl 1056.93603号 ·doi:10.1137/S0363012998335607 [9] C.I.Byrnes；A.Isidori，《关于刚性航天器的姿态稳定》，Automatica J.IFAC，27，87-95（1991）·Zbl 0733.93051号 ·doi:10.1016/0005-1098（91）90008-P [10] A.M.Bloch，非完整力学与控制，（第二版），24，Springer-Verlag，2015年·Zbl 1381.70004号 [11] A.Bry和N.Roy，《不确定条件下运动规划的快速随机信念树》，电气与电子工程师协会, 2011,723-730. [12] A.M.Bloch；M.Reyhanoglu；N.H.McClamroch，非完整动力学系统的控制与稳定，IEEE自动控制汇刊，371746-1757（1992）·Zbl 0778.93084号 ·doi:10.1109/9.173144 [13] R.W.Brockett，控制理论和分析力学，几何控制理论，李群：历史、前沿和应用, (1977), 1-46. [14] R.W.Brockett，渐近稳定性和反馈稳定性，微分几何控制理论，27181-191（1983）·Zbl 0528.93051号 [15] Y.Baryshnikov和B.Shapiro，《如何管理蜈蚣：拓扑视角》，几何控制理论和亚黎曼几何，Springer INdAM Ser。, 5 (2014), 37-51. ·Zbl 1291.93094号 [16] C.I.Byrnes，《关于Brockett稳定性的必要条件和Liapunov函数在（{mathbb{R}^n}）上的拓扑》，《信息与系统中的通信》，8，333-352（2008）·Zbl 1217.93139号 ·doi:10.4310/CIS.2008.v8.n4.a1 [17] J.Culbertson；P.Gustafson；D.E.Koditschek；和P.F.Stiller，混合系统的形式构成，范畴的理论和应用，35，1634-1682（2020）·Zbl 1448.18005号 [18] H.M.Choset、K.M.Lynch、S.Hutchinson、G.Kantor、W.Burgard、L.Kavraki、S.Thrun和R.C.Arkin，机器人运动原理：理论、算法与实现麻省理工出版社，2005年·Zbl 1081.68700号 [19] F.H.克拉克；Y.S.Ledyaev；R.J.Stern，渐近稳定性与光滑Lyapunov函数，微分方程杂志，14969-114（1998）·Zbl 0907.34013号 ·doi:10.1006/jdeq.1998.3476 [20] B.A.Christopherson、B.S.Mordukhovich和F.Jafari，用复合算子实现非线性控制系统的连续反馈镇定，ESAIM控制优化。计算变量。，28（2022），22页·Zbl 1492.93135号 [21] C.C.Conley，孤立不变集与莫尔斯指数，38，美国数学学会，1978年·Zbl 0397.34056号 [22] J.-M.Coron，反馈稳定的必要条件，《系统与控制快报》，14，227-232（1990）·Zbl 0699.93075号 ·doi:10.1016/0167-6911（90）90017-O [23] J.-M.Coron，无漂移可控系统的全局渐近稳定，控制数学，信号与系统，5295-312（1992）·Zbl 0760.93067号 ·doi:10.1007/BF01211563 [24] J.-M.科隆，控制和非线性，136，美国数学学会，2007年·兹比尔1140.93002 [25] C.C.De Wit和O.J.Sordalen，非完整约束下移动机器人的指数镇定，[1991]第30届IEEE决策与控制会议论文集，IEEE，1991692-697·Zbl 0778.93077号 [26] K.Eda；卡瓦穆拉（K.Kawamura），《夏威夷耳环的奇异同源性》，伦敦数学学会杂志，62305-310（2000）·兹比尔0958.55004 ·doi:10.1112/S0024610700001071 [27] R.J.Full；D.E.Koditschek，《模板和锚：陆上腿运动的神经力学假设》，《实验生物学杂志》，202，3325-3332（1999）·doi:10.1242/jeb.202.23.3325 [28] A.Fathi；P.Pageault，平滑Lyapunov函数，Trans。阿默尔。数学。Soc.，371167-1700（2019年）·Zbl 1410.37025号 ·doi:10.1090/tran/7329 [29] R.Gupta；F.贾法里；R.J.Kipka；B.S.Mordukhovich，非线性控制系统的线性开放性和反馈镇定，离散控制。动态。系统。序列号。S、 111103-1119（2018）·兹比尔1405.93180 ·doi:10.3934/dcdss.2018063 [30] J.W.Grizzle；S.I.Marcus，具有对称性的非线性控制系统的结构，IEEE自动控制汇刊，30，248-258（1985）·Zbl 0562.93041号 ·doi:10.1109/TAC.1985.1103927 [31] M.Gobbino，动力系统吸引子的拓扑性质，拓扑，40279-298（2001）·Zbl 0972.37015号 ·doi:10.1016/S0040-9383（99）00061-0 [32] V.Guillemin和A.Pollack，微分拓扑，AMS Chelsea Publishing，普罗维登斯，RI，2010年，1974年原版再版·Zbl 1420.57001号 [33] B.Günther；J.Segal，流形上流的每个吸引子都具有有限多面体的形状，Proc。阿默尔。数学。《社会学杂志》，119，321-329（1993）·Zbl 0822.54014号 ·doi:10.1090/S0002-9939-1993-1170545-4 [34] R.Goebel；R.G.Sanfelice；A.Teel，混合动力系统，控制系统，IEEE，29，28-93（2009）·Zbl 1395.93001号 ·doi:10.1109/MCS.2008.931718 [35] P.Hartman等人，常微分方程第二版，SIAM，2002年·Zbl 1009.34001号 [36] H.M.黑斯廷斯，形状理论与动力系统，《动力系统中吸引子的结构》（Proc.Conf.，北达科他州立大学，法戈，N.D.，1977），数学课堂讲稿。，柏林施普林格668号，邮编：1978150-159·兹比尔0383.58009 [37] H.M.Hastings，高维Poincaré-Bendixson定理，Glas。材料序列号。三、 14、263-268（1979）·Zbl 0435.34020号 [38] A.Hatcher，《代数拓扑学》，（1^{st}）版，剑桥大学出版社，2001年·Zbl 1044.55001号 [39] M.W.Hirsch，微分拓扑《数学研究生课本》，第33页，施普林格-弗拉格出版社，纽约，1994年，修正重印1976年原版。 [40] E.Haghverdi；P.Tabuada；G.J.Pappas，动力学、控制和混合系统的互模拟关系，理论计算机科学，34229-261（2005）·Zbl 1077.68062号 ·doi:10.1016/j.tcs.2005.03.045 [41] J.D.Hunter，《Matplotlib:2D图形环境》，《科学与工程计算》，第9期，第90-95页（2007年）·doi:10.1109/MCSE.2007.55 [42] M.Hurley，《吸引子：盆地的持续性和密度》，《美国数学学会学报》，269247-271（1982）·Zbl 0494.58023号 ·doi:10.1090/S0002-9947-1982-0637037-7 [43] 石川先生；M.Sampei，关于非线性控制系统的平衡集和反馈稳定性，国际会计师联合会会议论文集，31，609-614（1998）·doi:10.1016/S1474-6670（17）40404-6 [44] W.Jaco，嵌入\（{M}^2\次{S}^1\）中的曲面《加拿大数学杂志》22（1970），553-568·Zbl 0205.53501号 [45] A.M.约翰逊；S.A.负担；D.E.Koditschek，简单操纵和自我操纵系统的混合系统模型，《国际机器人研究杂志》，35，1354-1392（2016）·doi:10.1177/0278364916639380 [46] E.卡波斯，Morse-Lyapunov函数在非线性全局反馈动力学设计中的作用《变结构与李亚普诺夫控制》，施普林格出版社，1994249-267·兹比尔0806.93047 [47] E.卡波斯，全局反馈控制的必要条件《非线性理论及其应用国际会议论文集》，拉斯维加斯，洛杉矶，Citeser，1995年。 [48] H.Khennouf；C.C.De Wit，《关于非完整系统稳定化不连续控制器的构造》，IFAC会议论文集，28，667-672（1995）·doi:10.1016/S1474-6670（17）46905-9 [49] D.E.Koditschek；R.J.Full；M.Buehler，腿运动控制的机械方面，节肢动物结构与发展，33，251-272（2004）·doi:10.1016/j.asd.2004.06.003 [50] U.V.Kalabić；R.Gupta；S.Di Cairano；A.M.Bloch；I.V.Kolmanovsky，歧管上的MPC及其在SO上航天器姿态控制中的应用（3），Automatica J.IFAC，76293-300（2017）·Zbl 1352.93035号 ·doi:10.1016/j.automatica.2016.10.22 [51] M.D.Kvalheim；P.Gustafson；D.E.Koditschek，一类混合系统的康利基本定理，SIAM J.Appl。动态。系统。，20, 784-825 (2021) ·Zbl 1480.37027号 ·数字对象标识码：10.1137/20M1336576 [52] T.Kaczynski、K.Mischaikow和M.Mrozek，计算同源性《应用数学科学》，157，Springer-Verlag，纽约，2004年·Zbl 1039.55001号 [53] D.E.Koditschek，什么是机器人？我们为什么需要它，如何获得它？，《控制、机器人和自治系统年度回顾》，4，1-33（2021）·doi:10.1146/anurev-control-080320-011601 [54] M.D.Kvalheim和S.Revzen，稳定不动点和周期轨道全局Koopman特征函数的存在唯一性，物理学。D。, 425 (2021), 132959, 20. ·Zbl 1491.37029号 [55] L.V.Kolmanovksy；M.Reyhanoglu；N.H.McClamroch，扩展幂形式非完整系统的间断反馈镇定，1994年第33届IEEE决策与控制会议论文集，4，3469-3474（1994）·doi:10.10109/CDC.1994.411683 [56] W.Lin；C.I.Byrnes，通过平滑反馈设计离散时间非线性控制系统，IEEE Trans。自动化。控制，392340-2346（1994）·Zbl 0825.93424号 ·数字对象标识代码：10.1109/9.333790 [57] J.M.Lee，拓扑流形导论第二版，施普林格科学与商业媒体，2010年。 [58] J.M.Lee，平滑流形简介，（2^{nd}）版，Springer-Verlag，2013年·Zbl 1258.53002号 [59] E.勒曼，一类混合动力系统，预印本，arXiv:1612.01950，（2016）。 [60] E.Lerman，《开放系统网络》，《几何与物理杂志》，130，81-112（2018）·Zbl 1390.18013号 ·doi:10.1016/j.geomphys.2018.03.020 [61] G.A.D.洛佩斯；D.E.Koditschek，非完整约束三自由度运动系统的视觉伺服，国际机器人研究杂志，26715-736（2007）·数字对象标识代码：10.1177/0278364907080737 [62] A.-R.Mansouri，子流形的局部渐近反馈镇定：拓扑条件，系统控制快报。，56, 525-528 (2007) ·Zbl 1117.93055号 ·doi:10.1016/j.sysconle.2007.03.001 [63] A.-R.Mansouri，子流形稳定的拓扑障碍，IEEE Trans。自动化。控制，551701-1703（2010）·Zbl 1368.93551号 ·doi:10.1109/TAC.2010.2046922 [64] A.-R.Mansouri，分布式反馈镇定的拓扑障碍2013年第51届Allerton通信、控制和计算年会，IEEE，2013年，1573-1575。 [65] A.-R.Mansouri，子流形分布反馈镇定的拓扑障碍2015年《控制及其应用会议记录》，SIAM，2015年，76-80。 [66] W.S.Massey，同调与上同调理论：基于Alexander-Spanier Cochains的方法马塞尔·德克尔，1978年·Zbl 0377.55004号 [67] W.S.Massey，代数拓扑基础课，施普林格出版社，1991年·Zbl 0725.55001号 [68] J.Milnor，微分观点看拓扑普林斯顿大学出版社，1965年·兹伯利0136.20402 [69] J.Milnor，《吸引子的概念：修正和注释》，《数学物理中的通信》，102517-519（1985）·兹比尔0602.58030 ·doi:10.1007/BF01209298 [70] J.W.Milnor，《吸引》，《学者传媒》，1815年（2006年）·doi:10.4249/学术媒体.1815 [71] R.T.M’Closkey和R.M.Murray，幂形式非完整系统的收敛速度1993年美国控制会议，IEEE，1993年，2967-2972。 [72] J.C.Monforte，非完整系统的几何、控制和数值方面，施普林格，2004年。 [73] 森田S.Morita，微分形式的几何，201，美国数学学会，2001年·Zbl 0987.58002号 [74] P.Morin；J.-B.波美特；C.Samson，通过闭环李括号振荡逼近设计无漂移可控系统的齐次时变稳定控制律，SIAM J.控制优化。，38, 22-49 (1999) ·Zbl 0938.93055号 ·doi:10.1137/S0363012997315427 [75] P.Morin；C.Samson，非线性链式系统的控制：从Routh-Hurwitz稳定性准则到时变指数稳定器，IEEE Trans。自动化。控制，45，141-146（2000）·Zbl 0983.93055号 ·数字对象标识代码：10.1109/9.827372 [76] P.W.Michor；C.Vizman，n-某些微分同态群的传递性，数学学报。科米尼亚大学，63，221-225（1994）·兹比尔0824.58014 [77] R.Orsi；L.普拉；I.Mareels，连续系统稳定性和吸引性的必要条件，国际控制杂志，761070-1077（2003）·Zbl 1049.93070号 ·网址：10.1080/0020717031000122338 [78] L.Palmieri和K.O.Arras，一种用于高效平滑移动机器人运动规划的新型RRT扩展函数2014年IEEE/RSJ智能机器人和系统国际会议，IEEE，2014205-211。 [79] V.Pacelli、O.Arslan和D.E.Koditschek，基于采样的运动规划中局部几何和度量信息的集成2018年IEEE机器人与自动化国际会议（ICRA），IEEE，2018年，3061-3068。 [80] J.J.Park和B.Kuipers，基于非完整RRT*的移动机器人反馈运动规划2015年IEEE/RSJ智能机器人和系统国际会议（IROS），IEEE，2015年，4035-4040。 [81] J.-B.Pomet，一类无漂移可控系统时变稳定控制律的显式设计，《系统与控制快报》，18，147-158（1992）·Zbl 0744.93084号 ·doi:10.1016/0167-6911（92）90019-O [82] A.Papachristodoulou和S.Prajna，系统分析平方和技术教程《2005年美国控制会议论文集》，2005年。IEEE，2005年，2686-2700。 [83] C.Prieur；E.Trélat，通过混合反馈实现Brockett积分器的鲁棒最优稳定，控制、信号和系统数学，17，201-216（2005）·兹比尔1102.93034 ·doi:10.1007/s00498-005-0152-9 [84] C.C.Pugh，广义Poincaré指数公式，拓扑，7217-226（1968）·Zbl 0194.24602号 ·doi:10.1016/0040-9383（68）90002-5 [85] S.Revzen、D.E.Koditschek和R.J.Full，面向可测试的跑步神经机械控制体系结构《电机控制进展》，施普林格出版社，2009年，25-55页。 [86] S.F.Roberts；D.E.Koditschek；L.J.Miracchi，使用经验、生成性框架研究腿机器人的吉布森启示示例，神经机器人前沿，14，12（2020）·doi:10.3389/fnbot.2020.00012 [87] J.W.Robbin；D.Salamon，动力学系统，形状理论和Conley指数，遍历理论动力学。系统，8375-393（1988）·Zbl 0682.58040号 ·网址：10.1017/S0143385700009494 [88] E.P.Ryan，《关于Brockett的光滑稳定条件及其在非光滑反馈背景下的必要性》，SIAM控制与优化杂志，32，1597-1604（1994）·Zbl 0806.93049号 ·doi:10.1137/S0363012992235432 [89] O.J.Sordalen；O.Egeland，非完整链式系统的指数稳定化，IEEE自动控制事务，40，35-49（1995）·Zbl 0828.93055号 ·doi:10.1109/93622001 [90] M.Shub，动力系统，过滤和熵，美国数学学会公报，80，27-41（1974）·Zbl 0305.58014号 ·doi:10.1090/S0002-9904-1974-13344-6 [91] S.N.Simić；K.H.Johansson；J.莱格罗斯；S.Sastry，迈向混合系统的几何理论，连续、离散和脉冲系统动力学系列B：应用和算法，12649-687（2005）·Zbl 1090.37013号 [92] J.Seipel、M.Kvalheim、S.Revzen、M.A.Sharbafi和A.Seyfarth，腿部运动的概念模型《仿生腿部运动》，爱思唯尔出版社，2017年，第55-131页。 [93] E.D.Sontag，Artstein非线性镇定定理的“通用”构造，系统控制快报。，13, 117-123 (1989) ·Zbl 0684.93063号 ·doi:10.1016/0167-6911（89）90028-5 [94] E.D.Sontag，控制Lyapunov函数《数学系统和控制理论中的开放问题》，《通信控制工程服务》。，施普林格，伦敦，1999211-216·Zbl 0945.93005号 [95] E.H.扳手，代数拓扑《施普林格科学与商业媒体》，1966年·Zbl 0145.43303号 [96] Y.-P.Tian；李思源，非完整动力学系统的指数镇定，Automatica，381139-1146（2002）·Zbl 1003.93039号 ·doi:10.1016/S0005-1098（01）00303-X [97] A.R.Teel、R.M.Murray和G.Walsh，非完整控制系统：从转向到正弦稳定，[1992]第31届IEEE决策与控制会议论文集，IEEE，1992，1603-1609。 [98] T.Urakubo，具有势场的非完整系统的反馈镇定：应用于障碍物中的两轮移动机器人，非线性动力学，811475-1487（2015）·Zbl 1348.93221号 ·doi:10.1007/s11071-015-2082-5 [99] T.Urakubo，具有势场的非完整系统的稳定性分析和控制，《智能与机器人系统杂志》，89，121-137（2018） [100] A.van der Schaft，具有输入和输出的哈密顿系统的对称性和守恒定律：Noether定理的推广，系统控制Lett。，1, 108-115 (1981/82) ·Zbl 0482.93038号 ·doi:10.1016/S0167-6911（81）80046-1 [101] V.Vasilopoulos；G.帕夫拉科斯；K.Schmeckpeper；K.达尼利迪斯；D.E.Koditschek，使用语义感知反馈在部分熟悉的平面环境中进行反应式导航，《国际机器人研究杂志》，41，85-126（2022） [102] V.Vasilopoulos、T.T.Topping、W.Vega-Brown、N.Roy和D.E.Koditschek，腿式移动机械手基于传感器的符号重排方案反应执行，2018 IEEE/RSJ智能机器人和系统国际会议（IROS），IEEE，2018，3298-3305。 [103] G.C.Walsh和L.G.Bushnell，多输入链式形式控制系统的镇定《第32届IEEE决策与控制会议论文集》，IEEE，1993959-964。 [104] F.W.Wilson Jr，Lyapunov函数水平面的结构，《微分方程》，3，323-329（1967）·Zbl 0152.28701号 ·doi:10.1016/0022-0396（67）90035-6 [105] F.W.Wilson Jr，函数和应用的平滑导数，Trans。阿默尔。数学。Soc.，139，413-428（1969年）·Zbl 0175.2003号 ·doi:10.1090/S0002-9947-1969-0251747-9 [106] J.Zabczyk，关于稳定性的一些评论，应用数学与优化，19，1-9（1989）·Zbl 0654.93054号 ·doi:10.1007/BF01448189 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。