1. 引言
脉冲微分方程是一种混合动力系统,它表现出连续动力(由微分方程建立)和脉冲(在一系列离散时刻的状态跳跃或重置)。在过去的20年中,许多作者近年来在理论研究和应用方面对冲动微分方程进行了广泛的研究 [1] [2] 。在脉冲的作用下,许多真实的物理系统,特别是非线性非自治动力系统,有时并没有平衡点。因此,讨论脉冲系统的吸引力和不变集是一个有趣的话题。在确定连续微分系统(包括常微分方程、偏微分方程和时滞微分方程)的不变量和吸引集的技术和方法方面取得了一些重要进展 [3] [4] [5] [6] 。
在现实世界中,系统通常包含时滞,因此导致系统的未来状态是按照完整的历史时刻的状态,而不仅仅是当前的状态。延迟可以是恒定的,也可以是时变的,这类系统的例子包括网络控制、通信和机械工程 [7] 。当状态变量取决于历史时刻的状态时,自然要考虑动态系统脉冲中的时滞效应。例如,一个控制器使用脉冲来控制一个动态系统,它需要一定的时间来采样、处理和传输脉冲信息。在 [8] [9] 的脉冲协议中,离散和分布式延迟被单独考虑,以确保多智能系统的一致性。采样和传输延迟在安全通信中也是不可避免的 [10] 。由于时滞会大大降低系统的性能 [11] ,因此,时滞系统的最优控制一直是一个活跃的研究课题。由于延时的普遍性,文献中对脉冲时滞系统的稳定性进行了广泛的研究 [12] [13] [14] 。对于具有恒定延迟的系统,一些关键的最优控制工具包括最优性的必要条件 [15] 、动态编程和数字解的控制参数化 [16] 。对于时变时滞系统, [17] 和 [18] 得出了必要的最优条件。虽然时滞系统的最优控制已经得到了广泛的研究,但这一领域的绝大多数研究都必须在时域的每一点上都是不变的。然而具有时滞脉冲微分方程的相应问题,在这项工作之前还没有人研究过。基于上述讨论,本文的目标是确定一类具有脉冲效应的非线性非自治广义微分系统的不变集和全局吸引集,并探讨具有时滞的脉冲微分方程的最优控制问题。为了避免在求解哈密尔顿–雅可比–贝尔曼(HJB)方程的稳定状态时进行复杂的计算,HJB方程的稳定状态是通过构造一个成本函数,它取决于动态系统、李亚普诺夫函数并得到一个稳定的最优反馈控制器。
据我们所知,在现有的脉冲系统的优化控制结果中,时滞效应只考虑到了连续动力学 [19] 或脉冲 [20] 。相比之下,现有的最优控制结果都不适用于具有连续动力学和脉冲的时滞的脉冲系统,在连续动力学和脉冲中都有时间延迟的脉冲系统(具有依赖时间延迟的脉冲的时滞系统)在本文中,我们给出了具有时滞相关脉冲效应的非线性时滞系统的最优反馈控制结果。本文所提出的最优反馈控制器概括了关于无脉冲时滞的系统 [19] 和关于有脉冲时滞的系统 [20] 的结果,并可用于有时滞的系统。本文的其余部分将组织如下,第2节介绍了一些预备知识,在第3节中我们给出了具有脉冲效应的非线性时滞系统的最优反馈控制的主要结果,并给出了问题的一些充分条件,第4节提供了一些例子来证明结果的有效性。
2. 预备知识
在本节中,介绍一些基本的定义和符号,以及回顾一些稳定性定理。N表示所有正整数集,R表示所有实数,
表示非负实数集,用欧几里得范数
表示n维实空间
,
表示
实矩阵,
表示以
为中心x为半径的开球,
表示矩阵A的转置,
表示
单位矩阵。对于
或着
,
(
)表示对应元素
满足相应不等式
(
)。特别的,如果
称A为非负矩阵,如果
称x为正定向量。
对于
,
表示连续映射的空间从
到
,且范数
,对于任意
,
,
,
分别表示连续映射的空间
到
,
到
,拓扑空间X到拓扑空间Y,对于任意的
,
,任意
,
,其中
,
,
,
。
如果函数
是连续的,严格递增的且
则称
为K函数,记为
;如果
且满足当
时,
,则称
是
函数,记为
;
和
分别表示a和b中最大和最小的一个。
现在考虑一个时变非线性时滞系统
(1)
其中
是一个连续函数且
,
表示
,
以及
是一个有限延迟。
定义1 [21] 如果当
时
且满足系统(1)的初始条件
以及
那么函数
称为系统(1)通过
的解。
我们总是假定对于任何
,系统(1)通过
至少有一个解,表示为
或者
(
或者
不应该发生错乱),
。
定义2 [21] 如果下列条件成立:(i) 当
时,对于任意的
,存在一个
(不依赖于
),使得
,意味着
,(ii) 当
时,对于任意
,存在一个
使得对于任意的
,有一个
使得
意味着
,那么系统(1)是一致渐近稳定。
定义3 [22] 当
时,如果任意的初始值
,解
,那么集合
称为系统(1)的正不变集。
定义4 [22] 如果对于任何初始值
,当
时,解
满足
,其中
,
。
定义5 [22] 矩阵
且
以及
,如下条件与命题“
是一个非奇异M-矩阵”是等价的:(i)
的所有主子式是正定的;(ii)
存在
;(iii) 存在一个正定向量
使得
或者
;(iv)
以及
其中
,
,
表示矩阵的谱半径。
3. 时滞脉冲微分方程的最优控制
在本节中,为了解决最优反馈控制问题,我们首先介绍下面的引理
引理1令
,
,满足
(2)
其中
,
(
),
,以及
,假设
,正定向量
满足
(3)
如果以下条件成立:
(4)
那么
证明:当
时,记
,由(3)式可以得到
,结合定义5和
非对角项的负性,可以得到
存在以及
,接下
来由于(2)式和(4)式,可以得到
(5)
以及
(6)
因此(6)式在
上成立,下面将证明(6)式在上也成立,为了证明这个,首先我们将证明对于任意
,有
(7)
假设(7)式不成立,那么存在一个常数
和一些
使得
(8)
以及
(9)
由(5)式和(7)到(9)式,我们有
(10)
由(3)式,我们可以得到
(11)
那么(10)式可以改写为
(12)
这就与(8)式产生矛盾,因此(7)式成立,令(7)式中
,我们可以得到
(13)
证明完成。
下面考虑一个脉冲函数微分方程
(14)
其中
,初始函数
,
,
,
是一个连续函数,
是一类反馈控制,
表示
的右导数,状态跳跃描述为
,其中
和
分别表示x在t处的右极限和左极限,脉冲时间序列
是严格递增的以及
(称为脉冲时刻)。
在本文中,假设状态x在每一个脉冲时刻都是右连续的,对于任意的初始函数
,系统(14)有一个唯一的解
。
给定一个控制率
和一个反馈控制率
,其中
,
是系统(14)的解,那么系统(14)有如下的形式
(15)
我们定义一组控制器
是可容许的,
由系统(14)给出且满足
。
下面引入性能积分
有如下形式
(16)
其中
,
以及
。
定理1考虑非线性动态系统(14)且性能函数为
(17)
其中
是(14)的解,
是可容许控制,假设存在一个
和一个函数
使得对任意
和
,有如下条件成立:
(i)
,
(ii)
,
(iii)
,
(iv)
当
时,
(v)
以及
其中
,
,
,
,
,
。那么
是系统(15)的一个全局吸引集,闭环系统(15)的零解
是全局渐进稳定的(
),反馈控制率
(18)
性能函数(17)且
(19)
在某种意义上最小化,
(20)
最后,
(21)
证明:令哈密顿函数有如下形式:
(22)
其中
。由(16)式,反馈控制率(18)可以由
得到,即
由条件(v)和引理1,我们可以得到
是系统(15)的全局吸引集,(当K = 0时)系统(15)的零解是全局渐进稳定的,由(18),(19)和(22)我们可得
(23)
那么,由条件(18),(22)和(23)可以得到
(24)
对于任意的
,令
,其中
是系统(15)的解,那么我们有
(25)
因此,由(22),(23)和(25),我们可以得到
(26)
对(26)式从 到 积分,可以得到
(27)
由条件(i)和引理1,令
,由(27)式可得
(28)
对于任意的
以及
,令
为系统(14)的解,那么我们有
(29)
由(22)和(29),我们有
(30)
类似于(27)和(28),由(24)和(30)以及
可得
可以得到(20),证明完成。
4. 实例分析
在本节中,我们给出一个实例,为了证明定理1的结果优于没有时滞的线性系统,下面这个例子给出了具有时滞的线性系统。
考虑一个二维脉冲时滞系统
(31)
其中
且
以及
,令
,
,
,由定理1的条件
(v)我们可以很容易的验证
令性能被积的条函数为
,当
时,
其中
,以及
,
满足定理1的条件(iii),那么由(18)和(19),我们可以得到
(32)
以及
(33)
最后,我们有
定理1的条件满足。由引理1,具有反馈控制率(32)的闭环系统(31)的零解
是全局渐进稳定的。
5. 结论
在本文中,我们提出了一个框架来分析和设计具有时滞的脉冲线性系统的反馈控制器,为了避免求解Hamilton-Jacobi-Bellman (HJB)方程稳态时的复杂计算,设计了一种灵活的代价函数,该代价函数依赖于动力系统、Lyapunov泛函以及求解HJB方程稳态时得到的稳定反馈控制律。根据我们的结果,导出了具有时滞系统中最优反馈控制问题的相应结果。最后,通过数值仿真验证了所提方法的有效性。目前还没有关于具有时滞的脉冲微分方程的最优控制问题,因此本文提出的最优控制理论进一步地完善了具有时滞的脉冲微分方程的最优控制问题。