1. 引言
由于网络、通信技术、计算和控制的迅速发展,这些领域在各种系统中将网络与实际世界紧密结合起来。对这些系统的控制需要在共享通信网络上交换不受压抑且可靠的信号。从 [1] [2] [3] 可以看出,在一些资源约束下,提高系统性能和可靠性将带来挑战。
LQG系统一直具有广泛的应用,在经典的线性二次高斯(LQG)系统中,噪声是不可避免,一般而言,噪声被假设服从高斯分布。正如 [4] 所示,在无限时域的LQG系统中,作者展示了控制成本和通信数据速率之间的权衡。关于在通信约束下控制LQG系统的问题已经在多个研究中进行了探讨,如 [5] [6] 。例如, [6] 表明最优控制器并不表现出分离原则;但在 [5] 中,作者提供了控制器表现出分离原则的必要条件,但是控制器和能量选择器的最优结构尚未得到充分研究,因而,系统控制策略和能量传输功率选择策略的共同设计一直是研究的热点。。
与此同时,能量收集这一研究领域也引起了学者的广泛兴趣 [7] [8] 。Li等人 [9] 的工作探讨了使用能量收集传感器进行远程状态估计的传感器传输能量控制,采用连续时间方法和扰动分析。在此基础上,彭等人 [10] 表明了存在最优的确定性和稳态功率传输分配策略。在实践中,由于实际电路的限制,同时进行能量收集和数据包传输可能无法实现 [11] 。能量收集和信息传输的方法通常分为两个主要的常见类别:一种是功率分割,即使用接收到的部分能量进行能量收集,其余部分用于信息处理;另一种是时间切换方案,接收器在传输信息和获取能量之间切换时间 [12] 。
基于 [5] 中提出的分离原则,作者在 [13] 中提出了一个新的框架,不再设计能量选择器,而是是否可以从给定的能量选择器集合中找到最优的传输能量水平。在本文中,我们遵循这一框架,分别设计控制器和能量选择器。最后,我们考虑了一个场景,即控制系统可以从给定的能量选择器中选择最优的能量水平来传输其测量结果。
本文的贡献是:1) 通过考虑能量成本和能量收集约束,研究了具有一组能量传输水平的LQG最优控制问题;2) 利用后向归纳法研究出最优控制器结构,将控制器合成问题与能量选择问题分离;3) 将最优功率选择问题表示为约束MDP,并证明了存在最优确定性功率传输选择策略。
2. 问题定式化
让我们考虑一个定常的LQG系统:
(1)
是系统状态,
是控制信息,A和B是相容维数的常数矩阵。
是一个具有零均值高斯分布的独立同分布噪声序列
。初始状态
是一个符合
的高斯随机变量分布。
如图1所示,我们将传输能量分为M个级别,并从M个能量级别中选择传输能量
。第i个传输能量级别提供的传输能量用
表示,并且让
表示与之相关的成本。在一个无线数据包丢失通信信道上,系统进行状态估计并将估计值发送到控制器。假设无线信道是一个加性白噪声高斯信道(AWGN),其比特错误率(BER)与传输能量
的关系由 [10] 所描述:
其中
,
是一个常数,
为噪声功率的频谱密度,K为无线信道带宽。
在本文中,我们考虑一个能量受限、所需传输信息量通常较小的场景。为方便起见,我们假设每个数据包只包含一个比特(例如用于奇偶校验)。在传输过程中,如果数据包丢失,则接收端将无法正确验证奇偶校验,即数据包丢失等于比特错误率(BER)。数据检查方法可以检测数据包错误,这些方法在 [9] 中有描述。我们可以利用一个二元随机过程
来描述传输过程:如果控制器接收到的信号无误,则
,否则
(此情况可视为丢失)。传输信号的丢失概率由
表示,定义为
,其中控制器可用的测量值表示为:
(2)
对于环境无线射频信号,无线信息发射器和能量接收器分别具有两种明显不同的功率灵敏度。此外,系统需要在传输信息和收集能量之间进行时间切换。因此,在商业可用的电路中,时间切换方案优于功率分割方案,因此我们采用时间切换方案。
将从起始到步骤t结束的收集到的能量表示为
。假定能量收集过程
是一个离散时间稳态一阶齐次马尔可夫过程。将电池的最大能量存储容量表示为
。选择器不能同时收集能量和传输数据,我们有
用于传输能量选择器的新决策变量
表示如下:如果在时间t使用第i个传输能量,则
,否则
。因此,向量
,描述了在时间t的传输能量切换方案的决策。因为传输能量选择器在每个时间步只选择一个传输能量,所以我们有
对于所有
。
将集合定义为
,
,
和
,分别表示状态历史、测量历史、控制历史和传输选择历史。
控制器在时间t可以接收到的信息是
,其中
。根据先前的定义,可以发现接纳控制策略可以视为一个映射:
。我们用
来表示这样的策略。另一方面,在时间t可用于能量传输选择器的信息是
,其中
。用于选择发送器的接纳策略也可以视为一个映射:
。我们用
来表示这样的策略。因此,在一个时间步内的决策过程如下:
由控制器和能量传输选择器共同最小化的成本函数是一个有限时间段的二次准则,给出为如下:
(3)
其中,
,
,
,
,
表示整个序列
,类似地,
也类似定义。
3. 最优控制和能量选择
3.1. 基于分离原理的最优控制
为了解决前一节提出的问题,我们需要找到最小化可接受策略中成本函数(3)的最优映射
和
:
(4)
与 [6] [14] 中的基于传输反馈的控制方法不同,我们将在时间t传输
而不是
。容易发现
可以很容易地从
、
和
的值计算得出。
现在让我们定义
,称为
的预测;
,称为
的更新。因此,我们记
。
利用(1),并且
是
可测的,所以可以得到
(5)
(6)
让我们定义误差
,则有
(7)
其中
。状态估计误差
通过变量
依赖于序列
。它不依赖于控制策略
。
然而,在传输过程中发生数据包丢失时,控制器无法接收到
,我们有以下函数:
其中
。显然,
的值包含在一个可数无限集合中:
。我们可以采用随机变量
来表示从上次成功传输到时间t的持续时间,即
(8)
我们有
。
上述分析暗示了控制器和发送器选择之间的分离结构。接下来,我们将正式展示出这个问题的分离原理的出现。与成本函数(3)相关联,让我们定义值函数:
(9)
通过使用动态规划原理,表达式(9)可以重写为:
(10)
如果
和
最小化(10)的右侧,那么可得
、
。从(9)中,我们也得到:
(11)
在(11)中的期望是针对随机变量
和
进行的。为了保持后续分析中符号的简洁性,我们将
写为:
在这种情况下,
表示给定组合信息集
的条件期望。请注意,信息集
包含状态
的实现
。以下定理表征了所有
的最优策略
。
定理1:在时间k给控制器的信息为
的条件下,能最小化(10)右侧的最优控制策略为
,其具有以下结构:
(12)
更具体的表达形式如下:
(13)
对于所有的
,
(14)
证明:为了简洁起见,我们将使用
来代替
,并且使用
来代替
。该定理的证明基于动态规划原理。思路是验证与最优控制问题相关的值函数是
(15)
其中,
是状态
的实现,
如(14)所示,对于所有的
,
(16)
矩阵
和标量
由以下给出:
(17)
可以验证,
确实具有形式(15)。为了验证(15)在时间k也成立,我们使用反向归纳,并假设(15)对某个时间
成立。为此我们得到:
利用方程(1)和(14),我们可以得到:
(18)
最小化(18)的最优控制
是:
(19)
在(18)中代入来自(19)的最优控制后,我们可以得到:
因此,值函数确实具有形式(15),而时间
处的最优控制由(19)给出。
[注] 1:分离控制问题的最优反馈控制器由 [5] 中的定理1给出,它表明如果策略满足 [5] 中方程(4)的结构,则存在一个分离原理。在本文中,方程(14)与 [5] 中方程(4)的结构完全相同,这表明我们提出的最优控制策略满足分离原理。
最优控制在
中是线性的,最优增益是
,可以在不知道
的情况下离线计算。与 [13] 不同,本文考虑了延迟:
。在延迟存在的情况下,控制器可用的信息将受到影响,因为某些测量到达将被延迟,从而状态估计将受到影响。定理1考虑了延迟,并为这种情况提供了最优控制器结构:
。
3.2. 最佳能量选择和MDP
上述解决过程让人联想到马尔可夫决策过程(MDP)。接下来,我们将构建一个新的状态空间
和一个新的动作空间
,以创建一个标准的MDP问题。在每个时间t,MDP的状态被表示为
,其取值范围是状态集合
。将
表示为传输能量动作集,将
表示为状态
的可接受动作集。
定义
,如果发生数据包丢失,则
、
。因此,一个阶段的奖励是:
(20)
其中
,而(20)与传输能量动作
无关。对于当前状态
,选择器在时间t选择动作
,并获得奖励
,然后进入时间
。根据(2),如果时间t的状态之一是
,那么时间
的状态
的值只能在两个值之间选择:以概率
选择0;以概率
选择
。因此,MDP的状态转移概率可以写成:
(21)
其中
和
的定义与 [10] 中相同。
利用马尔可夫决策,前面的成本函数可以重写为:
(22)
其最优值为
。
寻找最优策略
的问题可以通过一个MDP来解决。将使用策略
的每个状态在状态空间
中的期望成本表示为一个函数
。因此,最优值可以通过贝尔曼方程( [15] , Sec. 8.4.1)解决,如下所示:
(23)
因此,最优选择策略
可以通过以下方式获得:
接下来,我们将证明这个策略的存在。
定理2:存在最优确定性稳态策略
,满足:
(24)
通过解决最优贝尔曼方程(23),我们可以获得最优策略
。
证明:让我们考虑相同的策略
,让
是一个正常数,使得
和
。定义一个函数
。因此,
,由此得到
,其中
表示矩阵的谱半径。此外,让我们定义:
其中
,并且
。存在非负整数
和
,使得
且
。
对于
,动作是
,那么可得:
由于
,我们有
。从
,可得
。因此,根据 [16] 中的Assumptions和Theorem,上述定理成立。
4. 总结
在这项工作中,我们考虑了一个经典的基于能量传输成本的LQG问题,在该模型中需要选择一个最优的能量传输选择器,以最小化传输和控制性能的综合成本。通过求解与LQG问题相关的经典黎卡蒂方程,我们计算了最优控制增益,并证明了最优控制器具有分离原理。通过建立一个马尔科夫决策过程,我们也证明了通过求解一个贝尔曼方程可以得到最优选择器。在今后的研究中,我们将考虑从能量选择器到无线的数据包丢失现象,这在实际问题中也具有重要意义。