机器人运动-力混合控制

#关节动力学 #运动控制 #力控制
详细可参考书本:《现代机器人学：机构规划与控制》第11.5章，其中的动力学方程见第8章相关内容。
其他参考资料：
[【现代机器人学】学习笔记十：机器人控制_zkk9527的博客-CSDN博客]

力控制

关节空间中的动力学方程

机器人的动力学方程可以写为如下等效形式：
$$\begin{array}{rl}\tau & =M\left(\theta \right)\ddot{\theta }+h\left(\theta ,\dot{\theta }\right)\\ & =M\left(\theta \right)\ddot{\theta }+c\left(\theta ,\dot{\theta }\right)+g\left(\theta \right)\\ & =M\left(\theta \right)\ddot{\theta }+{\dot{\theta }}^T\Gamma \left(\theta \right)\dot{\theta }+g\left(\theta \right)\\ & =M\left(\theta \right)\ddot{\theta }+C\left(\theta ,\dot{\theta }\right)\dot{\theta }+g\left(\theta \right)\end{array}$$
式中，$M\left(\theta \right)$是$n\times n$的对称正定质量矩阵，$h\left(\theta ,\dot{\theta }\right)$是由于重力和二阶速度项所引起的广义力之和，$c\left(\theta ,\dot{\theta }\right)$是二阶速度力，$g\left(\theta \right)$是重力，$\Gamma \left(\theta \right)$为对$M\left(\theta \right)$相对于$\theta$求取偏导数而得到的第一类Christoffel符号的$n\times n\times n$矩阵，$C\left(\theta ,\dot{\theta }\right)$是$n\times n$科里奥利矩阵，其第$(i,j)$个元素为$C_{ij}\left(\theta ,\dot{\theta }\right)={\sum }_{k=1}^n{\Gamma }_{ijk}\left(\theta \right){\dot{\theta }}_k$.
如果机器人的末端执行器对环境施加一个力旋量${\mathcal{F}}_{tip}$，则应该在机器人动力学方程的等号右侧添加$J^T(\theta ){\mathcal{F}}_{tip}$项。

力控制

令${\mathcal{F}}_{tip}$为机械手对环境所施加的力旋量，则[[#关节空间中的动力学方程]]为：
$$M\left(\theta \right)\ddot{\theta }+c\left(\theta ,\dot{\theta }\right)+g\left(\theta \right)+b\left(\dot{\theta }\right)+J^T\left(\theta \right){\mathcal{F}}_{tip}=\tau \text{\hspace{1em}(11.48)}$$
考虑到机器人在力控制任务期间移动缓慢，可以忽略其加速度和速度项，上式简化为：
$$g\left(\theta \right)+J^T\left(\theta \right){\mathcal{F}}_{tip}=\tau \text{\hspace{1em}(11.49)}$$
在没有对机器人末端执行器的力-力矩进行直接测量的情况下，得到单独的关节角度反馈可用于实施前馈控制（[[误差动力学与PID控制#前馈控制]]）：
$$\tau =\tilde{g}\left(\theta \right)+J^T\left(\theta \right){\mathcal{F}}_d$$
可见，该控制律需要一个好的重力补偿模型$\tilde{g}\left(\theta \right)$，并且需要能够精确控制机器人关节处所产生的力矩。
若进一步在机器人与末端执行器之间配备一个六轴力-力矩传感器，直接测量末端执行器的力旋量${\mathcal{F}}_{tip}$，则可以考虑具有前馈项和重力补偿项的PI力控制器（[[误差动力学与PID控制#前馈加反馈线性化]]）：
$$\tau =\tilde{g}\left(\theta \right)+J^T\left(\theta \right)\left({\mathcal{F}}_d+K_{fp}{\mathcal{F}}_e+K_{fi}\int {\mathcal{F}}_e\left(t\right)\mathrm{d}t\right)\text{\hspace{1em}(11.51)}$$
式中，${\mathcal{F}}_e={\mathcal{F}}_d-{\mathcal{F}}_{tip}$，$K_{fp}$和$K_{fi}$分别是比例和积分环节的正定增益矩阵。在完美重力模型的情况下，将上式代入到式（11.49）得到误差动力学方程，即
$$\left(K_{fp}+1\right){\mathcal{F}}_e+K_{fi}\int {\mathcal{F}}_e\left(t\right)\mathrm{d}t=J\left(\theta \right)\left(g\left(\theta \right)-\tilde{g}\left(\theta \right)\right)$$
若$\tilde{g}\left(\theta \right)$的模型不准确，即上式右侧受到非零但恒定的力扰动，对上式求导可得
$$\begin{array}{c}{K}_{fp}{\dot{\mathcal{F}}}_e+K_{fi}{\mathcal{F}}_e=0\\ \Rightarrow {\mathcal{F}}_e\left(t\right)=e^{-K_{fp}/K_{fi}t}{\mathcal{F}}_e\left(0\right)\end{array}$$
这表明对于正定的$K_{fp}$和$K_{fi}$，${\mathcal{F}}_e$将收敛至零（参见一阶误差动力学的解）。

运动-力混合控制

任务空间中的动力学方程

参见书本第8.6节
考虑一个6-dof开链机器人的[[#关节空间中的动力学方程]]，即
$$\tau =M\left(\theta \right)\ddot{\theta }+h\left(\theta ,\dot{\theta }\right),\theta \in {\mathbb{R}}^6,\tau \in {\mathbb{R}}^6\text{\hspace{1em}(8.82)}$$
忽略末端执行器作用力${\mathcal{F}}_{tip}$。末端执行器的运动旋量$\mathcal{V}=\left(\omega ,v\right)$与关节速度$\dot{\theta }$通过下式关联：
$$\mathcal{V}=J\left(\theta \right)\dot{\theta }\Rightarrow \dot{\mathcal{V}}=\dot{J}\left(\theta \right)\dot{\theta }+J\left(\theta \right)\ddot{\theta }$$
在$J(\theta )$可逆的位形$\theta$处，可解得
$$\{\begin{array}{l}\dot{\theta }=J^{-1}\mathcal{V}\\ \ddot{\theta }=J^{-1}\dot{\mathcal{V}}-J^{-1}\dot{J}{J}^{-1}\mathcal{V}\end{array}$$
将其带入式(8.82)中可得
$$\tau =M\left(\theta \right)\left(J^{-1}\dot{\mathcal{V}}-J^{-1}\dot{J}{J}^{-1}\mathcal{V}\right)+h\left(\theta ,J^{-1}\mathcal{V}\right)$$
将$J^{-T}$表示为${\left(J^{-1}\right)}^T={\left(J^T\right)}^{-1}$，对上式两端同时左乘$J^{-T}$，得到
$$\begin{array}{rl}{J}^{-T}\tau & =J^{-T}M\left(\theta \right)\left(J^{-1}\dot{\mathcal{V}}-J^{-1}\dot{J}{J}^{-1}\mathcal{V}\right)+h\left(\theta ,J^{-1}\mathcal{V}\right)\\ & =J^{-T}M{J}^{-1}\dot{\mathcal{V}}-J^{-T}M{J}^{-1}\dot{J}{J}^{-1}\mathcal{V}+J^{-T}h\left(\theta ,J^{-1}\mathcal{V}\right)\end{array}$$
将$J^{-T}\tau$表示为力旋量$\mathcal{F}$，上式即为任务空间中的动力学方程
$$\Rightarrow \mathcal{F}=\Lambda \left(\theta \right)\dot{\mathcal{V}}+\eta \left(\theta ,\mathcal{V}\right)\text{\hspace{1em}(8.89)}$$
其中
$$\begin{array}{rl}\Lambda \left(\theta \right)& =J^{-T}M{J}^{-1}\\ \eta \left(\theta ,\mathcal{V}\right)& =J^{-T}h\left(\theta ,J^{-1}\mathcal{V}\right)-\Lambda \left(\theta \right)\dot{J}{J}^{-1}\mathcal{V}\end{array}$$

受约束动力学

详细参见书本第8.7节
考虑$n$关节机器人受到一组$k$个完整或非完整Pfaffian速度约束，
$$A\left(\theta \right)\dot{\theta }=0,A\left(\theta \right)\in {\mathbb{R}}^{k\times n}$$
假设约束对机器人没有作用，即与约束条件对应的广义力${\tau }_{con}$满足
$${\tau }_{con}^T\dot{\theta }=0$$
这一假设意味着${\tau }_{con}$必须是矩阵$A^T\left(\theta \right)$列向量的线性组合，即${\tau }_{con}=A^T\left(\theta \right)\lambda$，其中$\lambda \in {\mathbb{R}}^k$，因为这些是$\dot{\theta }$被施加在约束条件$A\left(\theta \right)\dot{\theta }=0$下不做功的广义力为
$$\forall \lambda \in {\mathbb{R}}^k,{\left(A^T\left(\theta \right)\lambda \right)}^T\dot{\theta }={\lambda }^{T}A\left(\theta \right)\dot{\theta }=0$$
将约束力$A^T\left(\theta \right)\lambda$添加到运动方程中，可以用$n+k$个未知量 { θ ¨ , λ } \{\ddot{\theta},\lambda\} {θ¨,λ}（正向运动学）或$n+k$个未知量 { τ , λ } \{\tau,\lambda\} {τ,λ}（逆向运动学）来写出$n+k$个约束运动方程，即受约束动力学方程可表示为
$$\{\begin{array}{l}\tau =M\left(\theta \right)\ddot{\theta }+h\left(\theta ,\dot{\theta }\right)+A^T\left(\theta \right)\lambda \\ A\left(\theta \right)\dot{\theta }=0\end{array}\text{\hspace{1em}(8.93)}$$
其中，$\lambda$是一组拉格朗日乘子，而$A^T\left(\theta \right)\lambda$是作用域约束的关节力和力矩。

运动-力混合控制

如果我们对位置闭环，那就无法控制力。
如果我们对力闭环，那就无法控制位置。

考虑任务空间中的$k$个自然约束表达为Pfaffian约束：
$$A\left(\theta \right)\mathcal{V}=0,\mathcal{V}\in {\mathbb{R}}^6,A\left(\theta \right)\in {\mathbb{R}}^{k\times 6}\text{\hspace{1em}(11.55)}$$
那么根据[[#任务空间中的动力学方程]]式(8.89)与[[#受约束动力学]]式(8.93)，任务空间中的约束动力学为
$$\mathcal{F}=\Lambda \left(\theta \right)\dot{\mathcal{V}}+\eta \left(\theta ,\mathcal{V}\right)+\underset{{\mathcal{F}}_{tip}}{\underbrace{A^T\left(\theta \right)\lambda }}\text{\hspace{1em}(11.56)}$$
式中，$\lambda \in {\mathbb{R}}^k$是拉格朗日乘数，${\mathcal{F}}_{tip}$是机器人施加到约束上的力旋量。期望的力旋量${\mathcal{F}}_d$必须位于$A^T(\theta )$的列向量空间中。
在任意时刻都需要满足式(11.55)，采用时间导数代替：
$$A\left(\theta \right)\dot{\mathcal{V}}+\dot{A}\left(\theta \right)\mathcal{V}=0\text{\hspace{1em}(11.57)}$$
为了确保系统状态在满足式（11.55）时能够同时满足上式，任何期望加速度${\dot{\mathcal{V}}}_d$都应该满足$A\left(\theta \right){\dot{\mathcal{V}}}_d=0$。
根据式(11.56)可得$\dot{\mathcal{V}}={\Lambda }^{-1}\left(\mathcal{F}-\eta -A^T\lambda \right)$，将其带入式(11.57)可得
$$\begin{array}{l}A{\Lambda }^{-1}\left(\mathcal{F}-\eta -A^T\lambda \right)+\dot{A}\mathcal{V}=0\\ \Rightarrow A{\Lambda }^{-1}\left(\mathcal{F}-\eta \right)+\dot{A}\mathcal{V}=A{\Lambda }^{-1}{A}^T\lambda \\ \Rightarrow \lambda ={\left(A{\Lambda }^{-1}{A}^T\right)}^{-1}A{\Lambda }^{-1}\left(\mathcal{F}-\eta \right)+\dot{A}\mathcal{V}\\ ={\left(A{\Lambda }^{-1}{A}^T\right)}^{-1}A{\Lambda }^{-1}-A\dot{\mathcal{V}}\end{array}\text{\hspace{1em}(11.58)}$$
进一步利用式(11.58)可以求得机器人对约束施加的力旋量${\mathcal{F}}_{tip}=A^T(\theta )\lambda$。
将式(11.58)带入到式(11.56)并进行操作，受约束动力学(11.56)中的$n$个方程可表示为$n-k$个独立的运动方程（可参考书本8.7节）：
$$P\left(\theta \right)\mathcal{F}=P\left(\theta \right)\left(\Lambda \dot{\mathcal{V}}+\eta \right)$$
式中，$P\left(\theta \right)=I-A^T{\left(A{\Lambda }^{-1}{A}^T\right)}^{-1}A{\Lambda }^{-1}$.
$n\times n$矩阵$P(\theta )$的秩为$n-k$，它将任意的一个机械手力旋量$\mathcal{F}$投影到力旋量的子空间，该子空间可使末端执行器沿与约束相切的方向移动。秩为$k$的矩阵$I-P(\theta )$将任意的一个力旋量$\mathcal{F}$投影到与约束相对作用的力旋量子空间上。因此，$P(\theta )$将$n$维力空间划分为两部分：用于解决运动控制任务的力旋量；以及用于解决力控制任务的力旋量。即力旋量$\mathcal{F}$可以划分为：
$$\mathcal{F}=P(\theta )\mathcal{F}+(I-P(\theta ))\mathcal{F}$$
因此，运动-力混合控制器通过$P(\theta )$和$(I-P(\theta ))$的投影，可以看作是任务空间运动控制器（[[任务空间中的运动控制#任务空间中的运动控制]]）和任务空间力控制器（[[#力控制]]）之和，每个控制器都被投影到相应的子空间中以产生力。 假设在末端执行器坐标系 { b } \{b\} {b}中表达力旋量和运动旋量，则运动-力混合控制器可表达为：
$$\begin{array}{rl}\tau & =J_b^T\left(\theta \right)\mathcal{F}\\ & =J_b^T\left(\theta \right)\left[P\left(\theta \right)\mathcal{F}+\left(I-P\left(\theta \right)\right)\mathcal{F}\right]\\ & =J_b^T\left(\theta \right)\left\{\begin{array}{r}P\left(\theta \right)\left[\tilde{\Lambda }\left(\theta \right)\left(\frac{\mathrm{d}}{\mathrm{d}t}\left(\left[A{d}_{X^{-1}{X}_d}\right]{\mathcal{V}}_d\right)+K_p{X}_e+K_i\int X_e\left(t\right)\mathrm{d}t+K_d{\mathcal{V}}_e\right)\right]\\ +\left(I-P\left(\theta \right)\right)\left({\mathcal{F}}_d+K_{fp}{\mathcal{F}}_e+K_{fi}\int {\mathcal{F}}_e\left(t\right)\mathrm{d}t\right)\\ +\tilde{\eta }\left(\theta ,{\mathcal{V}}_b\right)\end{array}\right\}\end{array}$$
上式中，两个控制器的动力学通过$P$与$I-P$这两个正交投影而相互解耦，所以控制器继承了独立的力和运动控制器在各自子空间上的误差动态和稳定性分析。
然而，上述力-运动混合控制很难在刚性环境中实施，因为无法确定在任何时间都有效的$A(\theta )\mathcal{V}=0$，然而这对于指定期望运动和期望力、计算投影都是必要的，但关于环境的任何模型都会存在一些不确定性。解决该困难的一种方法是：

1. 基于力反馈，使用实时估计算法来识别约束方向；
2. 另一种方法是通过选择低反馈增益来牺牲一些性能，进而使运动控制器变“软”，同时力控制器更能容忍力的误差。