系统的输入到状态稳定性

概念引入

稳定性是控制理论的核心概念。最近通过阅读Applied Nonlinear Control和Nonlinear Systems两本书系统学习Lyapunov稳定性理论,想粗读这部分内容可参考这个材料。本文介绍比较少见的输入到状态稳定性(input-to-state stability)。

对于一般的控制系统

假设它满足微分方程解存在和唯一的条件。当没有外部输入时,假设如下非强迫系统(unforced system)

有一个全局一致渐进稳定(globally uniformly asymtotically stable)的平衡点。但是,当给定一个有界的外部输入时,系统的状态有可能是无界的。举个例子,如下的非线性系统

时,容易验证系统有一个全局指数稳定(globally exponentially stable)的原点。但是,当初值条件且外部输入时,微分方程方程的解是无界的。

由此可知,经典的Lyapunov稳定性理论主要针对平衡点附近的稳定性,无法应对外部输入作用下系统的稳定性。Eduardo Sontag在1989年提出的输入到状态稳定性解决了这个问题。

稳定性定义

输入到状态稳定性的定义:对于系统,如果存在一个类函数和一个类函数,使得对任意初始状态和任意有界输入,存在解对所有的都满足

则称系统是输入到状态稳定的。

一些论文将定义为类函数,其实差别不大。为了理解上述定义,需要了解比较函数(comparision function)的概念。

比较函数

下面给出类函数、类函数和类函数的定义:

  1. 连续函数类函数,如果是严格递增函数且。所以,类函数的图像从原点出发,严格单调递增。
  2. 连续函数类函数,如果类函数,且有类函数与类函数主要是定义域的区别。
  3. 连续函数类函数,如果对于固定的,函数类函数;对于固定的,函数关于严格递减,且当

物理意义

零输入响应

讨论系统的零输入响应,即假设系统无输入信号,,则有,那么式变为

分析可得如下结论:

  1. 对于固定的初值条件关于时间严格递减,且时,,则系统状态值随时间推移单调递减趋于零,这种情况下,输入到状态稳定与全局渐进稳定是等价的
  2. 对于固定的时间类函数,所以关于单调递增;且有,则系统初始值越大,状态值越大,初始值为零,任意时刻的状态值也为零

零状态响应

讨论系统的零状态响应,即假设系统初始状态为零,,那么对于某个特定时刻,所以时刻的状态值满足不等式

可得到如下结论:函数严格递增,且输入时,,则系统输入的幅值为零时状态值也趋于零,而且状态值与输入的幅值成正比,此时的称为增益。

参考资料

  1. Input-to-state stability
  2. Nonlinear Systems - Khalil
  3. Class kappa-ell function
  4. Input-to-State Stabilizing Control Under Denial-of-Service