{"title":"二阶系统的配置方法","authors":"Siro Moreno-Martin, Llu�s Ros, E. Celaya","doi":"10.15607/rss.2022.xviii.038","DOIUrl":null,"url":null,"abstract":"—Collocation methods for numerical optimal control commonly assume that the system dynamics is expressed as a first order ODE of the form ˙ x = f ( x , u , t ) , where x is the state and u the control vector. However, in many systems in robotics, the dynamics adopts the second order form ¨ q = g ( q , ˙ q , u , t ) , where q is the configuration. To preserve the first order form, the usual procedure is to introduce the velocity variable v = ˙ q and define the state as x = ( q , v ) , where q and v are treated as independent in the collocation method. As a consequence, the resulting trajectories do not fulfill the mandatory relationship v ( t ) = ˙ q ( t ) for all times, and even violate ¨ q = g ( q , ˙ q , u , t ) at the collocation points. This prevents the possibility of reaching a correct solution for the problem, and makes the trajectories less compliant with the system dynamics. In this paper we propose a formulation for the trapezoidal and Hermite-Simpson collocation methods that is able to deal with second order dynamics and grants the mutual consistency of the trajectories for q and v while ensuring ¨ q = g ( q , ˙ q , u , t ) at the collocation points. As a result, we obtain trajectories with a much smaller dynamical error in similar computation times, so the robot will behave closer to what is predicted by the solution. We illustrate these points by way of examples, using well-established benchmark problems from the literature.","PeriodicalId":340265,"journal":{"name":"Robotics: Science and Systems XVIII","volume":"345 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Collocation Methods for Second Order Systems\",\"authors\":\"Siro Moreno-Martin, Llu�s Ros, E. Celaya\",\"doi\":\"10.15607/rss.2022.xviii.038\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"—Collocation methods for numerical optimal control commonly assume that the system dynamics is expressed as a first order ODE of the form ˙ x = f ( x , u , t ) , where x is the state and u the control vector. However, in many systems in robotics, the dynamics adopts the second order form ¨ q = g ( q , ˙ q , u , t ) , where q is the configuration. To preserve the first order form, the usual procedure is to introduce the velocity variable v = ˙ q and define the state as x = ( q , v ) , where q and v are treated as independent in the collocation method. As a consequence, the resulting trajectories do not fulfill the mandatory relationship v ( t ) = ˙ q ( t ) for all times, and even violate ¨ q = g ( q , ˙ q , u , t ) at the collocation points. This prevents the possibility of reaching a correct solution for the problem, and makes the trajectories less compliant with the system dynamics. In this paper we propose a formulation for the trapezoidal and Hermite-Simpson collocation methods that is able to deal with second order dynamics and grants the mutual consistency of the trajectories for q and v while ensuring ¨ q = g ( q , ˙ q , u , t ) at the collocation points. As a result, we obtain trajectories with a much smaller dynamical error in similar computation times, so the robot will behave closer to what is predicted by the solution. We illustrate these points by way of examples, using well-established benchmark problems from the literature.\",\"PeriodicalId\":340265,\"journal\":{\"name\":\"Robotics: Science and Systems XVIII\",\"volume\":\"345 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-06-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Robotics: Science and Systems XVIII\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.15607/rss.2022.xviii.038\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Robotics: Science and Systems XVIII","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.15607/rss.2022.xviii.038","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4
摘要
-数值最优控制的配置方法通常假设系统动力学表示为形式为˙x = f (x, u, t)的一阶ODE,其中x为状态,u为控制向量。然而,在许多机器人系统中,动力学采用二阶形式¨q = g (q,˙q, u, t),其中q是位形。为了保持一阶形式,通常的方法是引入速度变量v =˙q,并将状态定义为x = (q, v),其中q和v在搭配方法中被视为独立的。因此,得到的轨迹在任何时候都不满足强制关系v (t) =˙q (t),甚至在搭配点违反¨q = g (q,˙q, u, t)。这阻碍了对问题找到正确解决方案的可能性,并使轨迹不太符合系统动力学。在本文中,我们提出了一个梯形和Hermite-Simpson搭配方法的公式,它能够处理二阶动力学,并赋予q和v的轨迹相互一致性,同时确保在搭配点处¨q = g (q,˙q, u, t)。因此,在相似的计算时间内,我们获得了动力学误差小得多的轨迹,因此机器人的行为将更接近解的预测。我们通过例子来说明这些观点,使用文献中成熟的基准问题。
—Collocation methods for numerical optimal control commonly assume that the system dynamics is expressed as a first order ODE of the form ˙ x = f ( x , u , t ) , where x is the state and u the control vector. However, in many systems in robotics, the dynamics adopts the second order form ¨ q = g ( q , ˙ q , u , t ) , where q is the configuration. To preserve the first order form, the usual procedure is to introduce the velocity variable v = ˙ q and define the state as x = ( q , v ) , where q and v are treated as independent in the collocation method. As a consequence, the resulting trajectories do not fulfill the mandatory relationship v ( t ) = ˙ q ( t ) for all times, and even violate ¨ q = g ( q , ˙ q , u , t ) at the collocation points. This prevents the possibility of reaching a correct solution for the problem, and makes the trajectories less compliant with the system dynamics. In this paper we propose a formulation for the trapezoidal and Hermite-Simpson collocation methods that is able to deal with second order dynamics and grants the mutual consistency of the trajectories for q and v while ensuring ¨ q = g ( q , ˙ q , u , t ) at the collocation points. As a result, we obtain trajectories with a much smaller dynamical error in similar computation times, so the robot will behave closer to what is predicted by the solution. We illustrate these points by way of examples, using well-established benchmark problems from the literature.