滑动模式控制

滑动模式控制(sliding mode)简称SMC,是一种非线性控制的技术,利用不连续的控制信号来调整非线性系统的特性,强迫系统在二个系统的正常状态之间滑动,最后进入稳态。其状态-反馈控制律不是时间的连续函数。相反的,控制律会依目前在状态空间中的位置不同,可能从一个连续的控制系统切换到另一个连续的控制系统。因此滑动模型控制属于变结构控制。已针对滑动模型控制设计了许多的控制结构,目的是让相空间图中的轨迹可以前往和另一个控制结构之间相邻的区域,因此最终的轨迹不会完全脱离某个控制结构。相反的,轨迹会在控制结构的边界上“滑动”。这种沿著控制结构之间边界滑动的行为称为“滑动模式”[1]而包括边界在内的几何轨迹称为滑动曲面(sliding surface)。在现代控制理论的范围中,任何变结构系统(例如滑动模式控制)都可以视为是并合系统的特例,因为系统有些时候会在连续的状态空间中移动,也时也会在几个离散的控制模式中切换。

简介

 
图1:利用滑动模式控制器控制之系统的相平面轨迹。在一开始的接触阶段后,系统沿著 的曲线滑行, 曲面是特别设计过的,系统在曲面上会有较理想的降阶动态特性。此例中, 对应一阶的线性时不变系统 ,在原点处为指数稳定

滑动模式控制中存在滑动曲面 ,一开始时,系统会在有限时间内到达滑动曲面,之后就会沿著滑动曲面移动。在滑动模式的理论叙述中,系统会约束在滑动曲面上,因此只需将系统视为在滑动曲面上滑动。不过实际系统的实现是用高频切换来让系统近似在滑动曲面上滑动,高频切换的控制信号让系统在很邻近滑动曲面的范围内切跳(chatter),而且其频率是不固定的。虽然整体系统是非线性的,不过图1中,当系统到达滑动曲面后,理想(没有切跳)系统会限制在 的滑动曲面上,滑动曲面是线性时不变系统,在原点处指数稳定

直观来说,滑动模式控制会配合很大的增益(理想上可视为是无限大),强迫动态系统的轨迹无法离开滑动模式子空间太远,必须沿著此子空间滑动。在降阶滑动模式上的轨迹会有理想的动态特性(例如,系统会自然沿著此轨迹滑行,最后会停在理想的驻点。滑动模式控制的主要优点是其强健性。因为控制很简单,是在二个状态之间(例如开/关或是正转/反转)切换,控制法则不需要精确,而且不会受到控制系统中参数的变异所影响。而且因为控制律不是连续函数,滑动模式控制可以在有限时间内到达滑动曲面(比渐进到达的特性要好)在一些常见的条件下,最优控制需要用到起停式控制,而滑动模式控制中也有用到起停式控制的特性,有些滑动模式控制也是某些控制系统下的最优控制。

有些交换式电源供应器驱动的电机就是利用滑动模式控制[2]:"Introduction"。这类转换器本身就有不连续的特性,和不连续输出的滑动模式控制器在本质上是一致的。使用连续性的控制器,还需要透过脉冲宽度调变或是其他类似的技术[nb 1]来将连续性的输出转换为可用离散状态表示的输出。滑动模式控制在机器人学有许多的应用。此控制演算法特别已用在无人水面载具模拟在有大风大浪海面下的运作,其成功率相当高[3][4]

相较于其他有较多适度控制行为的非线性控制,滑动模式控制因为其不连续的输出,在应用上需要更谨慎的应用。特别是因为致动器本身的延迟以及其他实务上的限制,硬切换的滑动模式控制会产生颤动、能量损失、设备损坏,或是激发一些系统中的未建模动态[5]:554–556。连续性的控制器设计比较不会有上述的问题,而且也可以设计一些接近滑动模式控制器的特性[5]:556–563

控制架构

考虑以下的非线性系统

 
 

其中

 

 维的状态向量以及

 

为表示状态反馈 维的输入向量。函数  假设是连续函数,而且有相当程度的光滑性,因此可以用柯西-利普希茨定理确保方程 (1)的解 存在唯一

常见的作法是设计一个状态回授的控制律 (也就是可以将时间 时的状态 ,映射到输入 的映射),这个控制律要可以稳定方程式(1)的动力系统原点 附近的行为。也就是说,在此控制律下,只要系统从原点开始往任意方向前进,最后都会回到原点。例如,状态向量 中的分量 表示输出和已知讯号(例如某个希望出现的弦波)之间的差,若控制 可以让 快速的回到 ,也代表输出会追随理想的弦波信号。在滑动模式控制中,只要系统是限制在其组态空间的子空间内,设计者可以确定系统有理想的行为(有稳定的平衡点)。滑动模式控制会强迫系统轨迹进入子空间,并且让轨迹维持在子空间内,因此可以在子空间内滑动。这个降阶的子空间称为“滑动(超)曲面”,若透过闭回路回授,使得轨迹在滑动曲面上滑动,则称为闭回路系统的“滑动模式”。沿著这个子空间的轨迹可以类比沿著LTI系统特征向量的轨迹,不过滑动模式是透过此向量场上加上高增益回授来实现。就像弹珠会沿著裂缝滚动一样,系统的轨迹也会限制在滑动模式上。

滑动模式的控制架构包括以下几项:

  1. 选择超曲面或是流形(滑动曲面)让系统轨迹限制在此流形上时,可以有理想的特性。
  2. 选择回授增益,让系统轨迹可以和流形相交,而且之后可以维持在流形上。

因为滑动模式控制是不连续的,控制器可以在有限时间内将轨迹带到滑动模式上(若偏离滑动平面时,回到滑动平面上的稳定性会比渐近稳定要好)。不过,只要轨迹接触到滑动平面后,系统的特性会依照滑动模式的特性(也就是滑动平面上,在原点 附近只有渐近稳定性)。

在设计滑动模式时,会选择一个切换函数 ,表示状态 <matmathbf{x}</math>远离滑动曲面的程度。

  • 在滑动平面外的状态 会有 
  • 在滑动平面上的状态 会有 

滑动模式控制律会依照上述距离的正负号在二种不同的状态之间进行切换。因此滑动模式控制就类似一个硬的压力,将系统轨迹移到 的滑动模式上。理想的 会接触到滑动平面,而且因为控制律不连续(当轨迹越过滑动曲面时,控制律会由一个状态切换到另一个状态),轨迹会在有限时间内到达滑动平面。只要轨迹碰到平面之后,会沿著滑动平面滑动,而且会往原点 移动。因此切换函数类似地形图,有恒定高度的轮廓,而轨迹会限制在恒定高度的轮廓上移动。

滑动(超)曲面的维度是 ,其中 是状态 的个数,而 是输入信号(也就是控制信号) 的个数。针对每个 ,有 的滑动曲面,方程式为

 
 

滑动模式控制主要关键是选择控制律,使得滑动模式(也就是 曲面)存在,而且其他的系统轨迹可以进入滑动模式。滑动模式控制的原则是透过适当的控制策略,强迫性的限制系统在滑动曲面上,让系统可以有理想的特性。当系统受滑动控制所限制,维持在滑动曲面上时,系统的动态特性可以用方程式(2)所得的降阶系统所描述。

为了强迫系统状态 满足 ,需要:

  1. 确认系统可以从任意的初始条件到达 
  2. 在到达 后,可以透过控制行为让系统维持在 

闭回路解的存在

此控制律不是连续函数,也不会是利普希茨连续,因此无法用柯西-利普希茨定理确保闭回路解的存在及唯一性。这个解需要用Filippov英语Aleksei Fedorovich Filippov的架构来理解。[1][6]。 大致上,沿著 的闭回路系统可以用会平滑的动态  来近似,不过实际上不一定有这样平滑的特性。高速的脉波振幅调变ΔΣ调变产生的输出是两个状态组成而成,但其有效的输出会在连续的运动范围内摆动。若是使用其他具有连续特性的非线性控制设计可以避免这类的问题。有些情形下,滑动模式控制的设计可以用其他连续控制器来近似。[5]

理论基础

以下定理是滑动模式控制的基础。

定理1:滑动模式的存在

考虑以下的李亚普诺夫候选函数

 
 

其中

 欧几里德范数(也就是说, 是距离滑动流形 的距离)。

针对由方程式(1)及方程式(1)的滑动曲面组成的系统,滑动模式存在的充份条件是

 

 曲面的邻域都成立。

简单来说(例如针对 纯量控制应用),为了要使 ,需选择回授控制律 使  有相反的符号,因此

  •  为正时, 会使 为负。
  •  为负时, 会使 为正。

注意

 

因此回授控制律 会直接影响 

可达性:可以在有限时间内到达滑动流形

为了要确保可以在有限时间内进入滑动模式  需要比零小很多。若此数值很快的就归零,就只能以渐近收敛的方式进入到滑动模式。若要在有限时间内进入滑动模式[7]

 

其中  均为常数。

比较引理的说明

引理的条件确认在滑动模式 的邻域,下式成立

 

因此,针对 ,下式成立

 

根据链式法则(也就是 ,而 ),下式也会成立

 

其中

  狄尼上导数英语Dini derivative
 代表比例

因此将上式和曲线 比较(初始条件  微分方程 的对应曲线)。可得 在所有 下成立。而且,因为  必需在有限时间达到 ,表示 必需在有限时间达到 (也就是进入滑动模式)[5]。因为 和切换函数 的欧几里德范数 成正比,因此接近滑动模式的速率比定大于零。

定理2:吸引区域

针对方程式 (1)的系统,以及方程式 (2)的滑动曲面, 表面的子空间有可达性的条件是

 

也就是说,当初始条件完全由这个空间出发时,李亚普诺夫候选函数 李亚普诺夫函数,而且 轨迹确定会往滑动模式表面 前进。而且,若定理1的可达性条件满足,滑动模式会完全进入 在有限时间远离0的区域。因此会在有限时间内进入滑动模式 

定理3:滑动运动

 

非奇异的,也就是说,系统有某种可控制性使得永远存在一种控制方式可以让轨迹更靠近滑动模式。只要达到了滑动模式 ,系统会维持在滑动模式上。沿著滑动模式轨迹, 为定值,因此滑动模式轨迹可以用以下的微分方程来描述

 .

若相对微分方程在 -平衡稳定的,则系统会沿著滑动模式表面往平衡点移动。

滑动模式下的“等效控制律”可以透过求解下式求得

 

等效控制律为 ,也就是说

 

因此等效控制

 

也就是说,就算实际的控制 连续,在滑动模式  两侧的快速切换会强迫系统的行为类似在连续模式下驱动的行为。

类似的,在滑动模式上的系统轨迹类似

 

所得的系统符合滑动模式的微分方程

 

只要滑动模式表面 李雅普诺夫稳定性,从到达相位的轨迹条件可以简化为上述较简单的条件。因此系统在找到滑动模式后,会经过一些初始的暂态,之后就可以假定为符合较简单的 条件。若等式 只是近似成立,系统的动态仍可以近似为上述的特性。

依照上述定理,滑动运动对于由进入系统时足够小的扰动是不敏感的,只要控制项大到足以满足  ,而且 均匀有界的远离0,滑动模式的运作就如同系统没有扰动时一样。滑动模式控制对特定扰动及模型不确定性的不敏感是很具吸引力的特点,满足鲁棒控制

如同以上提到的,滑动模式控制律会维持以下的限制

 

目的是为了让以下型态的任意系统可以渐近的稳定

 

其中 为有限的上界,此例中,滑动模式为

 

(也就是说, )。若系统限制在此条件下,会类似一个稳定线性系统,因此在 )位置是全域指数稳定的平衡点。

控制设计的例子

  • 考虑一个由方程(1)描述的受控体,有单一输入 (也就是说, )。其切换函数选择为以下的线性组合
 
 
其中的加权 ,对所有的 都成立。滑动曲面是单纯形 。若轨迹强迫在曲面上滑行,
 
因此
 
这是降阶系统(新系统的阶数为 ,因为会限制在 -维的滑动模式单纯形上)。这个表面有理想的性质(当受控体被强制在滑动曲面上滑动,会趋向原点 )。取方程(3)中李亚普诺夫函数的导数,可得
 
为了要确保 负定函数(也就是 ,在 表面上有李雅普诺夫稳定性),需选择回授控制律 使下式成立
 
因此 因为是一个正数及负数的累积。注意到
 
 
控制律 可以选择使下式成立
 
其中
  •  是某种极端的控制(正转或是打开),使得方程(5)  为负值。
  •  是另一种极端的控制(反转或是关闭),使得方程(5)  为正值。
所得的轨迹会往滑动曲面 前进。因为实际系统会有时间延迟,滑动模式的轨迹不会是平滑的沿著滑动曲面滑动,而会在滑动曲面两侧反复的切跳(chatter),不过若离开滑动曲面,会很快又回到滑动曲面。
 
可以用二维的状态空间(其中with   )表示:
 
也假设 (也就是说 有一个已知有限的上限 ),对于此系统,选择切换函数
 
在之前的例子中,必须选择回授控制律 使得 ,在此处
 
  •  (也就是 ),要让 ,需选择控制律使 成立
  •  (也就是 ),要让 ,需选择控制律使 成立
不过,因为三角不等式
 
依照 的假设,
 
因此系统可以利用以下的控制律进行回授稳定(回到滑动模式)
 
可以表示为以下的解析解
 
假设系统轨迹会受限制,因此 ,则
 
因此只要系统进入滑动模式,系统的二维动态特性会像一维的系统,而且在 会有一个全域指数稳定的驻点

自动化设计的解

在设计滑动模式的控制系统时,虽然有许多不同的理论,不过没有一个高效率的设计方法论,原因因为解析方法及数值方法实务上的困难。像是基因演算法之类可复用的方式,可以用来将最佳设计英语Optimal design中不可解的问题,转换成实务上可解的非确定性多项式问题。这有助于滑动模式控制的电脑自动化设计[8]

相关条目

注解

  1. ^ 其他脉冲调变的技术像是ΔΣ调变

参考资料

  1. ^ 1.0 1.1 Zinober, A.S.I. (编). Deterministic control of uncertain systems. London: Peter Peregrinus Press. 1990. ISBN 978-0-86341-170-0. 
  2. ^ Utkin, Vadim I. Sliding Mode Control Design Principles and Applications to Electric Drives. IEEE Transactions on Industrial Electronics (IEEE). 1993, 40 (1): 23–36. doi:10.1109/41.184818. 
  3. ^ "Autonomous Navigation and Obstacle Avoidance of Unmanned Vessels in Simulated Rough Sea States - Villanova University". [2017-07-11]. (原始内容存档于2021-02-04). 
  4. ^ Mahini; et al. An experimental setup for autonomous operation of surface vessels in rough seas. Robotica. 2013, 31 (5): 703–715. doi:10.1017/s0263574712000720. 
  5. ^ 5.0 5.1 5.2 5.3 Khalil, H.K. Nonlinear Systems 3rd. Upper Saddle River, NJ: Prentice Hall. 2002 [2017-08-09]. ISBN 0-13-067389-7. (原始内容存档于2017-07-25). 
  6. ^ Filippov, A.F. Differential Equations with Discontinuous Right-hand Sides. Kluwer. 1988. ISBN 978-90-277-2699-5. 
  7. ^ Perruquetti, W.; Barbot, J.P. Sliding Mode Control in Engineering. Marcel Dekker Hardcover. 2002. ISBN 0-8247-0671-4. 
  8. ^ Li, Yun; et al. Genetic algorithm automated approach to the design of sliding mode control systems (PDF). International Journal of Control. 1996, 64 (3): 721–739. doi:10.1080/00207179608921865.