Sufficient LMI Copositivity Conditions for Funnel Synthesis of Uncertain Nonlinear Systems
arxiv(2024)
摘要
Funnel synthesis refers to a procedure for synthesizing a time-varying
controlled invariant set and an associated control law around a nominal
trajectory. The computation of the funnel involves solving a continuous-time
differential equation or inequality, ensuring the invariance of the funnel.
Previous approaches often compromise the invariance property of the funnel; for
example, they may enforce the equation or the inequality only at discrete
temporal nodes and not having formal guarantee of invariance at all times. This
paper proposes a computational funnel synthesis method that can satisfy the
invariance of the funnel without such compromises. We derive a finite number of
linear matrix inequalities (LMIs) that imply the satifaction of a
continuous-time differential linear matrix inequality guaranteeing the
invariance of the funnel at all times from the initial to the final time. To
this end, we utilize LMI conditions ensuring matrix copositivity, which then
imply continuous-time invariance. The primary contribution of the paper is to
prove that the resulting funnel is indeed invariant over a finite time horizon.
We validate the proposed method via a three-dimensional trajectory planning and
control problem with obstacle avoidance constraints.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要