为AI时代智能控制系统奠定基础:科学家构建全新数据驱动分析框架,推动设计范式从模型驱动到数据驱动变革

   日期:2024-12-21    作者:ira0v 浏览:74    移动:http://w.yusign.com/mobile/quote/2414.html

来源:DeepTech深科技

人工智能的蓬勃发展,离不开数据这一核心支柱。

近年来,随着人工智能技术的广泛应用,以数据为核心的系统表征方法迅速渗透到控制领域,控制系统的设计方法正迎来一场从模型驱动向数据驱动的范式变革,即从传统的模型驱动控制(modelic control,即model-driven control)到数据驱动控制(datatic control,即data-driven control)。

对于控制系统而言,系统的稳定性、可控性及标准型是控制理论的基本问题。数据驱动控制不依赖于被控对象的数学模型,而是直接通过输入/输出(I/O,Input /Output)数据与控制器连接,并根据 I/O 数据对系统状态进行调整。

其优点是控制器的设计不依赖于复杂的系统模型,但却无法保证控制系统的稳定性和鲁棒性。因此,需要构建基于数据的控制性能定义和分析方法,以进一步完善数据驱动控制的理论框架。

近年,清华大学李升波教授课题组在数据驱动控制系统(datatic control system)的特性分析方面,取得了一系列原创性理论成果 [1-3]。

  • 系统稳定性方面,提出了首个适用于数据驱动控制系统的稳定性判定算法 η-检验,解决了数据描述方式空间不连续造成的稳定性判定难题:利用系统动力学的利普希茨连续性(Lipschitz continuity),将离散数据点上的状态转移信息延拓到未知的连续空间,并据此计算出李雅普诺夫(Lyapunov)函数的导数上界,从而判定系统的李雅普诺夫稳定性。

  • 数据标准型方面,提出了一种基于数据的系统描述新形式,每个标准形式的样本由转移和属性组成,分别用于描述系统变化规律和人为定义特征。适当增加的属性组分,不仅便于提升系统描述的准确性,还能提升最优控制策略的训练效率,为数据驱动控制算法的高效实现提供新的思路。

  • 系统可控性方面,提出了用于数据驱动控制系统的“微域可控性”概念,将传统的点对点可控性拓展到点对区域的形式,进而将状态转移信息从离散数据点延拓到数据点之间的连续空间中。基于这一原理,该研究团队提出了首个数据驱动控制系统的可控性检验算法 MECS(maximum expansion of controllable subset),通过树搜索迭代寻找系统的微域可控状态。

自动控制技术的发展,与社会的进步息息相关。

第一次工业革命通过普及机械化技术,为后来的自动化奠定了基础。第二次工业革命通过电气化和通信技术,初步实现了模拟自动化。

在第三次工业革命中,借助于计算机与半导体技术,通过数字信号实现自动化的技术趋于成熟。进入第四次工业革命后,以人工智能为核心技术,融合大数据、云计算和物联网等技术,实现了从感知到决策的智能飞跃。

为AI时代智能控制系统奠定基础:科学家构建全新数据驱动分析框架,推动设计范式从模型驱动到数据驱动变革

自动控制领域的理论发展历史悠久,在传统的模型驱动控制范式下,已形成了一套全面且普适的基础理论。

然而,在人工智能时代,自动控制系统的设计范式已发生变革,从使用传递函数、状态空间为基础的控制器设计与优化,过渡到使用数据训练和优化以参数化函数为基础的控制器。

李升波指出,“以自动驾驶领域为例,由于车辆模型非线性,车辆之间交互随机,车辆行驶场景复杂,很难使用一个特定的动力学模型对其进行精确描述。因此,自动驾驶的感知、决策和规划在数据驱动范式下进行研究会有更好的效果。”

首先,模型驱动范式理论使用模型来描述,在复杂系统下存在建模误差,而数据驱动范式则通过离散的状态转移数据点对系统进行精确描述,但数据点之间存在着间隙,这导致数据点之间的系统信息无法直接得到。

其次,在理论层面,传统模型驱动范式下的控制算法设计以矩阵分析为基础,而数据驱动范式下的算法以迭代优化理论为基础。

除此之外,二者的控制策略承载体也存在差距,前者依赖于显式的控制方程 (如黎卡提方程),而后者依赖于参数化的神经网络。

系统的稳定性是控制器设计的首要考量因素,稳定性判定理论是闭环控制的基石。

在模型驱动的控制系统中,稳定性判定理论已较为成熟。早期的理论包括劳斯-赫尔维茨(Routh-Hurwitz)判据和奈奎斯特(Nyquist)判据,它们是经典控制理论的重要基础。

此后,由俄国数学家亚历山大·米哈伊洛维奇·雅普诺夫Aleksandr Mikhailovich Lyapunov提出的李雅普诺夫稳定性及其判定理论是应用最为广泛的稳定性理论,这也为现代控制理论的崛起奠定了基础。

模型驱动的稳定性判定理论依赖已知的系统动力学模型。例如,判定李雅普诺夫稳定性需要利用动力学模型计算连续空间中,李雅普诺夫函数对时间的导数。

然而,在数据驱动的控制系统中,数据点只能提供空间上离散的系统描述,因此数据点之间的描述缺失导致模型驱动的稳定性判定理论不适用于数据驱动的系统。

为解决该问题,研究人员提出首个适用于数据驱动控制系统的稳定性判定算法 η-检验。

标准型是数据描述方式的一个新问题,对后续算法的效率具有重要影响。

以强化学习为例,训练算法往往涉及大量的迭代计算,如果没有关注数据样本的内在特性(例如因果性、局部性等),往往导致每步训练迭代都会重复计算一些所需信息(例如各样本之间的范数距离等),增加了不必要的计算负担。

该研究工作的第一作者、清华大学博士生占国建解释说:“因果性是指状态转移与控制动作的动态依赖性,每一步的动作都影响了下一步的状态,而下一步的状态又决定了未来的状态,这种因果关系链贯穿于整个状态转移和控制动作的序列。局部性是指每步的控制动作至多依赖于有限的历史交互信息,这允许了在线采样过程高效计算与存储训练所需的信息。”

利用数据样本的这两个内在特性,研究人员为数据驱动控制系统提出了“数据标准型”的全新概念。

李升波表示:“研究提出的数据标准型用少量的存储空间换取了显著的时间优势,填补了基于数据的系统描述标准形式的空缺,为提高数据驱动算法效率提供了新的方向。”

可控性是控制系统的一项基本属性,判断一个系统是否具有可控制性是控制理论研究的核心问题之一。在模型驱动的系统中,已有广泛的研究关注可控性判定理论。

该研究工作的作者之一、清华大学博士生陶乐天表示,尽管模型驱动的控制系统在可控性检验的理论方面已经趋近成熟,但由于数据驱动的控制系统只能依赖于离散的数据点,这限制了对系统行为的完整描述。因此,传统基于模型的可控性检验方法对于数据驱动的控制系统来说并不适用。

为解决上述问题,研究人员第一次提出“微域可控性”概念和其检验方法,用于解决数据驱动控制系统空间描述不完整的可控性检验难题。

传统的可控性是指系统状态能在有限时间内从任何初始点精确地转移到目标状态,又称精确可控性。

“有了微域可控性的概念,我们就可以纯粹靠数据来检验一个系统对象是否具有可控性,而在此之前这是无法实现的。之前的方法需要先建立一个显式的系统动力学模型,然后再依据该模型来检验系统的可控性。很明显,如果模型不准确,系统的可控性检验也是不准确的。”该工作的共同研究者、清华大学博士生杨雨杰说。

自动驾驶技术是人工智能领域的一大突破,具有提升日常出行安全性、效率性和便捷性的巨大潜力。

然而,传统方法往往依赖于精确模型和人工规则,难以利用数据实现性能提升,在面对未知或复杂交通场景时智能性受到限制,通常只能实现 L1 或 L2 级辅助驾驶功能。

相比之下,端到端自动驾驶系统通过全模块神经网络化,直接利用高维特征向量,实现原始感知数据到车辆控制指令的信息传递。

这不仅显著减少了从传感器到执行器的信息损失,而且还给系统赋予了数据驱动的闭环迭代能力,为实现更高级别自动驾驶开辟了新路径。

实现安全高效端到端自动驾驶系统的一个核心挑战是:如何对该类数据驱动的系统进行标准形式的描述,并在确保系统稳定性和可控性的前提下实现性能的持续提升。

此前,该领域研究尚未得到充分探索。李升波课题组构建的数据驱动分析框架成功填补了这一空白,为端到端自动驾驶技术提供了核心理论支持。

通过深入研究和应用这一理论框架,该团队成功开发了国内首套端到端自动驾驶系统 iDrive,涵盖了“感知-预测-决控”的全链路环节,并率先完成了中国城市工况的开放道路验证。

2.Guojian Zhan, Ziang Zheng, Shengbo Eben Li. Canonical Form of Datatic Description in Control Systems. arXiv:2403.01768, 2024.

3.Yujie Yang, Letian Tao, Likun Wang, Shengbo Eben Li. Controllability Test for Nonlinear Datatic Systems. arXiv:2405.09317,2024.

4. Hyungjin Choi, Umesh Vaidya, Yongxin Chen.A Convex Data-Driven Approach for Nonlinear Control Synthesis. Mathematics 2021, 9(19), 2445. 

5. Derong Liu, Pengfei Yan,Qinglai Wei. Data-Based Controllability and Observability Analysis of Linear Discrete-Time Systems. Information Sciences 288, 20, 2014, 314-329.

6. Henk J. van Waarde, Jaap Eising, Harry L. Trentelman, M. Kanat Camlibel. Data informativity: a new perspective on data-driven analysis and control.arXiv:1908.00468, 2019.

7.https://www.tsinghua.edu.cn/info/1175/110869.htm

本文地址:http://w.yusign.com/quote/2414.html    述古往 http://w.yusign.com/static/ , 查看更多

特别提示:本信息由相关用户自行提供,真实性未证实,仅供参考。请谨慎采用,风险自负。


举报收藏 0评论 0
0相关评论
相关行情
推荐行情
点击排行
{
网站首页  |  关于我们  |  联系方式  |  用户协议  |  隐私政策  |  版权声明  |  网站地图  |  排名推广  |  广告服务  |  积分换礼  |  网站留言  |  RSS订阅  |  违规举报  |  鄂ICP备2020018471号