Safety Analysis and Safety-critical Control of Nonlinear Systems: Barrier Function Approach
-
摘要: 近年来, 非线性系统的安全分析与控制已成为控制领域中的热门研究方向, 而障碍函数则是该方向的一种重要工具. 基于障碍函数的安全分析与控制方法具有计算效率高、鲁棒性强等优点. 本文首先从多个角度介绍了基于障碍函数的非线性系统安全性分析的理论成果, 并进一步综述了障碍函数方法在非线性系统安全控制中的最新进展. 最后, 简要地介绍了当前基于障碍函数的安全分析与控制理论中一系列尚未解决的问题, 并指出了未来可能发展的一些研究方向.Abstract: Safety analysis and safety-critical control of nonlinear systems have been important issues in the control society. The barrier function is a promising tool for the safety analysis and safety-critical control of nonlinear systems. This methodology has the advantages of high computation efficiency and strong robustness. In this paper, we first review the theoretical results on barrier function based safety analysis from different viewpoints, and then summarize some recent advances of the barrier function theory in the safety-critical control of nonlinear systems. Finally, we outline a series of open questions in the barrier function theory and point out some possible research directions.
-
Key words:
- Safety analysis /
- safety-critical control /
- barrier functions /
- nonlinear systems
-
机器是改造世界的工具, 仪器是认识世界的工具, 而认识世界往往是改造世界的先导.仪器是测量技术的载体, 测量技术是机械制造的"眼睛".随着机械制造业智能数字化、交叉综合化、柔性集成化以及精密微型化的发展总趋势, 使得测量技术的范围越来越广, 精度要求越来越高, 面临的挑战越来越大[1-2].测量参数的定义更加复杂, 被测对象的尺寸小到纳米、原子量级, 大到几十米甚至几百米, 形貌也从简单型面扩展到复杂型面.计量模式从非现场离线计量发展到现场在线计量, 从传统的静态计量到现在的静态与动态同步计量.计量形态也从简单信息到多信息融合.传统的计量方式和量值溯源方法受到极大挑战.
传统的量值溯源方式是利用高精度标准计量器具实现测量系统的量值传递.譬如, 齿轮测量系统通采用渐开线样板、螺旋线样板, 来验证相关测量任务的正确性[3], 利用球面样板[4], 楔形样板[5]等实现齿轮齿距、齿形、齿向的测量溯源.然而对于弧齿锥齿轮、环面蜗杆、齿轮刀具等复杂工件, 其高精度实物样板难以制造, 目前工程上仍然采用上述简单样板作为替代物来校准测量系统.这种替代作法, 难以证明测量系统对复杂工件的测量结果是实际工件误差的真实反映, 不能满足复杂工件的测量溯源要求.由于缺少实物标准器, 复杂测量系统的测量结果溯源问题亟待解决.
针对复杂系统, 王飞跃提出了平行系统的思想, 通过构造实际系统与人工系统并行互动的平行系统, 借助人工系统使复杂问题简单化, 以此实现复杂系统的控制与管理[6].平行系统主要通过整合人工社会, 计算实验和平行执行等方法, 形成新的计算研究体系[7-11].目前, 平行系统已经在经济、能源、交通、机器学习、视觉计算等领域取得了大量的成果, 并不断丰富和完善起来[12-34].我们尝试将平行系统的思想扩展并引入到测量领域建立复杂测量系统的一种新型理论框架, 构建与物理测量系统平行执行的人工测量系统, 将物理测量系统能够溯源至人工测量系统.用人工测量系统验证物理测量系统, 以复杂验证复杂, 而不是简单替代复杂的方式, 解决传统方法无法解决的复杂测量系统的测量溯源问题.
1. 人工测量系统的提出
1.1 复杂测量系统的溯源研究现状
量值溯源是通过一条具有规定不确定度的不间断的比较链, 使测量结果或测量标准的值能够与规定的参考标准(通常是国家计量基准或国际计量基准)联系起来的特性.溯源的过程也是测量结果不确定度的评定过程.目前, 复杂测量系统的测量不确定度评定主要采用以下三种方法:校准工件法, 灵敏系数分析法(GUM法)和计算机仿真法[35].
对于一般形位误差的测量, 通常采用量块、量规、标准球等标准器具实现测量结果的溯源.通过采用与被测工件形状相似、尺寸接近的校准工件, 校准测量系统, 从而确定该测量任务的精度.在同一测量条件下, 利用该测量系统对与校准工件相似的被测工件进行测量.因为校准工件已溯源至国际单位, 所以通过校准工件法可以实现被测工件测量结果的溯源[36].该方法要求被测件与校准工件几乎相同, 校准工件的精度要远远高于被测工件和测量系统自身的精度.
对于无校准工件的测量任务, 可利用高精度仪器对复杂测量系统的各个误差成分进行检测或经验估计, 建立不确定度传递函数的数学表达式, 利用GUM法合成实现测量结果的不确定度评定[37].该方法适用于所有具有明确解析表达式且一阶可微的测量模型, 并且要求尽可能完全地罗列出所有的不确定度来源[38].此时, 溯源依赖于误差成分的检测方法以及不确定度传递函数的正确性.
针对无法建立解析表达式的复杂测量模型, 研究学者们用计算机仿真法实现测量结果的不确定度评定.该方法是根据输入量与输出量的关系建立测量过程的数学模型, 比如德国联邦物理技术研究院(Physikalisch-Technische Bundesanstalt, PTB)建立的虚拟坐标测量机(Virtual coordinate measuring machine, VCMM)[39]、日本建立的虚拟齿轮检查仪(Virtual gear checker, VGC)[40]、北京工业大学建立的虚拟坐标测量机[41]等.通过对复杂测量系统的各个误差分量进行检测, 经验估计其误差概率分布, 将实际测量点或工件理论模型、真实测量过程中获取的误差分布作为输入; 采用蒙特卡洛法产生特定误差分布的随机数, 通过测量过程的数学模型进行大量重复仿真, 由仿真结果的统计特性评定测量结果的不确定度.该方法实现的溯源依赖于各个误差分量的检测, 人为概率分布的假设以及测量过程数学模型等的准确性.
1.2 人工测量系统提出的必要性
复杂测量系统的溯源研究现状说明, 校准工件法, 灵敏系数分析法无法满足对无解析表达式、无校准工件的复杂工件测量任务的溯源要求, 计算机仿真法相对于其他方法具有一定的优势.然而, 复杂测量系统的测量过程是一个复杂的动态过程, 不确定度来源囊括测量系统硬件、软件、被测工件、安装、环境、人员等方面的误差.这些误差非常复杂且相互耦合, 各项误差的确定、人为概率分布假设以及不确定度传递函数的正确性难以评价, 从而使复杂测量系统无校准工件时的测量溯源的正确性难以保证.
另外, 计算机仿真法是以离线、静态、辅助的形式应用于实际测量系统的评估.该方法涵盖大量测量误差原始数据的获取及统计概率分布的假定, 并通过虚拟系统产生大量误差数据, 虽然有数据驱动的影子, 但其属于确定论或概率方法、需要事先设置、是"程式化"的设计, 并不能满足目前测量系统的实时动态的运行需求.
若要实现复杂测量系统的溯源, 必须将测量系统及测量过程都溯源至标准国际单位制SI上.我们尝试借助平行系统的思想, 构建与物理测量系统"等价"的人工测量系统, 人工测量系统与物理测量系统实现测量过程的平行执行, 将物理测量系统及其测量过程溯源至人工测量系统的理论模型上, 用人工测量系统的计算实验和平行执行特性验证物理测量系统, 解决传统方法无法解决的复杂测量系统的测量溯源问题.
2. 平行测量系统
2.1 基于方法的平行测量理论框架
ACP (Artificial societies, computational experiments, and parallel execution)的核心就是把复杂系统中"虚"的部分, 分解成可定量、可计算、可执行的过程.针对复杂的物理测量系统, 构造人工测量系统, 使来自物理、社会及信息社会的知识形式化、计算化、可视化, 以在线嵌入和实时反馈的方式实现描述解析、预测解析和诱导解析的功能.目标就是促使实际测量过程趋向人工测量过程, 即主动控制技术.通过计算和比较发现更优化的运行状态, 引导实际系统逼近人工系统, 从而借助人工系统减少实际坐标测量系统相关目标的不确定性, 化多样为归一, 使复杂变简单, 以此实现复杂测量系统的溯源要求.
ACP步骤:利用人工测量系统(A)对复杂测量问题建模; 利用计算实验(C)对复杂测量任务进行各种情况下的大量模拟、分析和评估, 优化得到有效的解决方案; 将人工测量系统和实际测量系统并举, 通过一定的方式进行虚实互动, 以平行执行(P), 引导和管理物理测量过程.平行测量系统的理论框架如图 1所示.
2.2 平行测量系统构建
平行测量系统是由物理测量系统与人工测量系统构成的一个虚实互动、平行执行的系统.人工系统能反映并引导物理测量系统优化运行, 同时人工系统基于数据驱动, 引导人工系统运行.人工测量系统(虚拟空间)是实际测量系统(物理空间)的伴生系统.它集成了外部物理世界的大数据资源和虚拟人工世界的内部信息系统的数据和模型, 实时跟踪记录信息, 按需描述系统的状态.
通过认识实际系统各要素间的联系和演化规律, 抽象出数学模型, 建立与实际系统测量特性"等价"的人工系统, 根据实际测量信息数据驱动人工测量系统进行计算实验, 然后对具体的测量方案进行全面、准确、及时的评估和修正.最后将人工系统与实际系统相结合, 通过平行执行实施优化控制和管理.平行测量系统的基本架构如图 2所示.
1) 人工测量系统
人工测量系统是物理测量系统在虚拟空间的映射, 是通过对物理测量系统的探索与研究, 抽象出来的一个或多个模型组成的系统.一个完整的物理测量系统主要包括四大要素:测量设备、测量方法、测量人员和被测对象.对上述要素进行抽象, 采用数据驱动和语义建模, 构建信息和行为之间的反馈.人工测量系统的架构主要由基础架构层, 数据、知识层(A), 计算实验层(C)和平行执行层(P)四层组成.
建立人工测量系统的前提是对实际测量系统的运行数据进行获取、存储和建模.建模初期, 人工测量系统在时间上落后于实际测量系统的运行, 处于被动地位; 通过不断的数据更新、模型完善, 追赶实际测量系统, 直至与实际测量系统对应起来; 最后处于主导地位, 使实际测量系统逼近人工测量系统, 并以人工测量系统来引导实际测量系统的运行.
由于复杂测量系统"不可分不可知"[10]的本质, 因此不存在"一劳永逸"的解决方案, 必须要引入一个会学习且可自适应变化的人工测量系统, 不断地学习处在变化和发展之中的物理测量系统.学习人工的经验知识, "感知"环境和测量系统的动态变化, 反映测量系统特性的变化, 存储与分析历史大数据, 形成能够平行地反映物理测量系统状态发展和变化的人工测量系统.
人工测量系统的构建采用计算机图形学、虚拟现实、机器学习、知识自动化等技术.其测量场景可借鉴"平行视觉"[16]的技术方法, 被测对象的三维重构采用光学图像采集和数据处理[42-43]、高精度重构技术[44]等, 人员的建模可基于代理控制的智能体"平行学习"[13]技术, 误差数据库的建立采用激光干涉仪等静态误差测量仪器或装置[45-46]、动态误差采集装置[47-48]、温度湿度传感器等完成误差数据的采集, 通过蒙特卡洛方法模拟随机误差的分布[49-50].
2) 计算实验
评价一个测量系统的特性主要考察其稳定性、偏倚、线性、重复性和再现性, 且评价是在统计条件下进行[51].利用人工测量系统计算实验的可设计性以及可反复进行的特点, 我们可以对实际测量系统进行各种关于性能可靠性、方案鲁棒性、测量结果可靠性及正确性等同一条件下短时间内的大量反复测量实验、"极限"实验等, 而这些"实验"一般无法用于实际测量系统, 特别是正在运行的实际测量系统, 或无条件, 或经济成本巨大.
利用人工测量系统的计算实验优化测量策略.研究某一测量策略对测量精度的影响时, 完全没有必要建立针对某一实际测量系统实际测量任务的精确测量模型, 因为测量系统模型相当复杂, 理论上一个测量系统的测量结果难以直接推广到另一测量系统, 而且一个合适的测量模型, 尽管并未代表任何一个实际测量系统的测量过程, 但它却能描述某一"可能测量系统"的测量过程.因此, 一项合理有效的测量策略, 必须在一个合理的测量系统模型中产生良好的效果, 否则该项策略就需改进.
利用人工测量系统实现实时动态的误差评估.人工测量系统中误差数据需要从实际中采集小数据, 然后根据误差的特性, 利用蒙特卡洛法或神经网络法产生误差的大数据, 产生与物理测量系统相同的误差特性, 并不断和物理测量系统的运行状态进行对比, 修正人工测量系统的差异, 从而实现人工测量系统和物理测量系统在误差特性上的表现的一致性.最后, 根据人工测量系统的误差仿真对实际测量系统进行误差分离、误差补偿和测量不确定度评定.这比目前的仿真系统多了修正和反馈环节, 真正实现物理测量系统的实时动态化模拟运行.
3) 平行执行
复杂测量系统属于工程复杂性较高的系统, 我们采用平行控制方法, 并以控制为主.
物理测量系统与人工测量系统平行执行.通过物理测量系统与人工测量系统的相互连接, 借助误差反馈实时修正人工测量系统, 进行离线和在线的调整, 使二者测量特性等价, 达到人工测量系统能够验证物理测量系统的目的.平行执行过程主要有两部分:离线状态更新和在线优化及评估.
a) 离线状态更新:人工测量系统执行虚拟测量时必须根据实际情况对许多信息进行更新, 其中包括测量系统中测量设备部件的磨损、维修和更换情况, 测量人员知识水平和技巧能力, 被测工件的表面数据信息, 测量方案等.
b) 在线优化及评估:人工测量系统试图尽可能地模拟物理测量系统, 同一水平的测量人员在相同的环境设置下采用相同的测量策略基于代理控制分别同时执行实际测量和虚拟测量, 对二者的测量过程和测量结果进行对比和分析, 通过观察实际测量系统与人工测量系统评估的状态之间的不同, 产生误差反馈信号, 对人工测量系统的评估方式或参数进行修正, 减少差别, 并开始分析新一轮的优化和评估.优化和评估的极限即可达到二者测量特性的完全一致, 也可根据一致性评价标准界定终止条件.
总之, 人工测量系统平行执行过程以计算实验为基础, 一方面通过接收物理测量系统感知的环境、测量设备、工件等各类信息, 对人工测量系统进行离线和在线的状态更新, 实现对物理测量系统的在线监控和评价; 另一方面可根据对物理测量系统感知信息的处理结果分析, 实现在线测量策略的制定、选择、实施及效果评估, 并通过误差反馈实现二者测量特性的一致, 最终使得物理测量系统能够溯源至人工测量系统.
3. 平行测量系统的案例
齿轮在位测量系统是典型的复杂测量系统.随着工业技术的发展, 齿轮测量在测量原理方面实现了从"比较测量"到"啮合运动测量"再到"模型化测量"; 在测量技术上, 经历了"以机械为主"到"机电结合"的过程后, 发展为现在的"光-机-电"与"信息技术"的综合集成[52]; 测量功能也远不限于齿轮, 还扩展到齿轮刀具、环面蜗杆、弧齿锥齿轮等复杂工件.被测工件的多样化, 仪器设备的复杂化, 信息的融合化, 测量的动态化等使得齿轮在位系统发展具有显著的复杂系统的特征.因此, 必须借助人工测量系统进行齿轮测量系统的设计、控制、评估和管理.
人工齿轮测量系统与物理齿轮测量系统是平行系统的两大组成部分.人工齿轮测量系统是实际齿轮测量系统在虚拟空间的映射, 包括齿轮测量设备中的控制系统硬件、软件和机械系统的仿真, 各种误差源的数据, 工件数据等.平行齿轮测量系统如图 3所示.
图 3是图 2的实例化说明.人工测量系统测量过程的仿真要求和真实测量过程具有一致的功能和特性.人工测量系统能够仿真真实齿轮测量系统的测量全过程.首先采用计算机图形学、虚拟现实技术、平行视觉技术对物理齿轮测量系统进行功能抽象, 构造人工齿轮测量系统的几何模块、运动模块、误差模块和虚拟工件模块, 并建立各模块的联系[53-57].利用传感器技术、高精度测量技术对物理齿轮测量系统的几何误差、运动误差、测头误差等误差数据进行采集, 存储至云端.通过误差大数据发现误差规律, 再利用蒙特卡洛法产生大量的误差数据, 用于测量不确定度的评定.采用光学图像采集与处理技术对被测工件表面特征数据进行获取, 利用高精度重构技术对工件模型进行重建, 确保被测工件的一致性.根据真实测量过程中的实时误差采集数据对人工测量系统进行修正, 使二者拥有一致的误差特性.
人工齿轮测量系统与物理齿轮测量系统采用同一测量软件系统, 即实际测量软件既能驱动物理齿轮测量系统, 也能不做修改地驱动人工齿轮测量系统.人工齿轮测量系统在数据驱动与测量软件控制下与物理测量系统平行执行, 根据计算实验产生大量数据, 根据数据挖掘技术, 产生有效决策, 优化物理齿轮测量系统.
1) 测量方案优化应用
当有新的测量任务到达时, 人工齿轮测量系统首先模拟多个齿轮测量方案, 通过分析模拟运行结果, 将最优的测量方案发送给物理齿轮测量系统, 物理齿轮测量系统在测量齿轮的过程中, 将运行的状况实时反馈给人工齿轮测量系统, 人工齿轮测量系统以物理齿轮测量系统的实时状态为初始条件, 模拟运行测量方案, 再将模拟运行结果发送给物理齿轮测量系统, 物理齿轮测量系统根据模拟运行结果实时调整测量参数, 实现物理齿轮测量系统的测量方案优化.
2) 软件误差溯源应用
实际齿轮测量软件可同时驱动物理测量系统和人工齿轮测量系统, 根据这一特性通过人工齿轮测量系统的仿真运行和计算实验来测试和分析齿轮测量软件的误差.通过构建误差已知的数字化工件[58], 导入至人工齿轮测量系统中进行仿真测量, 根据仿真测量结果与已知的工件误差, 检验齿轮测量软件的误差.将检验结果反馈回物理齿轮测量系统, 指导物理齿轮测量系统测量软件的修正.
3) 复杂工件的测量溯源应用
对于无校准工件的复杂工件, 利用人工齿轮测量系统和数字化工件的仿真测量实验指导复杂工件的校准工件设计与研制, 并在物理齿轮测量系统中进行测量, 使物理齿轮测量系统逼近人工齿轮测量系统.譬如, 弧齿锥齿轮、环面蜗杆、齿轮刀具等难以制造高精度校准工件的复杂工件, 寻求利用简单曲面如球面、柱面、锥面和平面等组合的方式代替复杂曲面, 实现复杂曲面的溯源.并建立该替代曲面的数字化模型及测量策略, 在人工齿轮测量系统中进行仿真测量.并根据测量结果优化工件模型和测量策略, 从而指导复杂工件的校准工件设计、研制与测量, 最终实现复杂工件的测量溯源.
4. 结论与展望
本文分析了制造领域内测量技术随工业技术的发展现状和趋势, 总结了复杂测量系统的溯源研究现状, 指出现有的研究无法满足目前复杂测量系统的动态化测量溯源需求, 并指出了人工测量系统的必要性和传统仿真系统的不同之处.基于ACP方法提出了平行测量系统的理论框架, 研究了平行测量系统的学习培训、实验评估和管理控制的工作过程.最后将平行测量系统的理论应用于齿轮在位测量系统案例, 实现齿轮测量的优化、控制和溯源.
平行测量系统的提出, 为制造业的智能数字化、交叉综合化、柔性集成化等提供理论技术基础.未来可提出平行制造系统, 并将平行制造系统与平行测量系统进行有效的无缝连接, 实现制造与测量的真正一体化, 让测量更好地为制造服务, 使制造质量实时有标准可依, 使产品决策更加经济高效.
本文首次提出平行测量系统, 其应用研究仍处于探索阶段, 一些理论和技术仍待进一步的研究和深入.然而, 毫无疑问, 平行测量是迈向智能测量的一条有效途径.
-
[1] Isidori A. Nonlinear Control Systems. London: Springer-Verlag, 1995. [2] Khalil H K. Nonlinear Systems. Upper Saddle River: Prentice Hall, 2002. [3] 洪奕光, 程代展. 非线性系统的分析与控制. 北京: 科学出版社, 2005.Hong Yi-Guang, Cheng Dai-Zhan. Analysis and Design of Nonlinear Systems. Beijing: Science Press, 2005. [4] Aubin J P. Viability Theory. Boston: Birkhäuser, 1991. [5] Nagumo M. Über die lage der integralkurven gewöhnlicher differentialgleichungen. Proceedings of the Physico-Mathematical Society of Japan, 1942, 24(6), 551–559. [6] Clarke E M, Grumberg O, Peleg D. Model Checking. Cambridge: MIT Press, 1999. [7] Baier C, Katoen J P. Principles of Model Checking. Cambridge: MIT Press, 2008. [8] Tomlin C, Pappas G J, Sastry S. Conflict resolution for air traffic management: A study in multiagent hybrid systems. IEEE Transactions on Automatic Control, 1998, 43(4): 509–521. doi: 10.1109/9.664154 [9] Mitchell I M, Bayen A M, Tomlin C J. A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games. IEEE Transactions on Automatic Control, 2005, 50(7): 947–957. doi: 10.1109/TAC.2005.851439 [10] Gao Y, Johansson K H, Xie L. Computing probabilistic controlled invariant sets. IEEE Transactions on Automatic Control, 2021, 66(7): 3138–3151. doi: 10.1109/TAC.2020.3018438 [11] Prajna S. Optimization-based Methods for Nonlinear and Hybrid Systems Verification [Ph.D. dissertation], California Institute of Technology, USA, 2005 [12] Ames A D, Grizzle J W, Tabuada P. Control barrier function based quadratic programs with application to adaptive cruise control. In: Proceedings of the 53rd IEEE Conference on Decision and Control (CDC). Los Angeles, CA, USA: IEEE, 2014. 6271–6278 [13] Xu X, Tabuada P, Grizzle J W, Ames A D. Robustness of control barrier functions for safety-critical control. IFAC-PapersOnLine, 2015, 48(27): 54–61. doi: 10.1016/j.ifacol.2015.11.152 [14] Ames A D, Xu X, Grizzle J W, Tabuada P. Control barrier function based quadratic programs for safety critical systems. IEEE Transactions on Automatic Control, 2017, 62(8), 3861–3876. doi: 10.1109/TAC.2016.2638961 [15] Annichini A, Bouajjani A, Sighireanu M. TReX: A tool for reachability analysis of the complex systems. In: Proceedings of the International Conference on Computer Aided Verification (CAV). Paris, France: Springer, 2001. 368−372 [16] Mitchell I M. A toolbox of level set methods [Online], available: https://www.cs.ubc.ca/~mitchell/ToolboxLS, September 3, 2019 [17] Fisac J F, Chen M, Tomlin C J, Sastry S S. Reach-avoid problems with time-varying dynamics, targets and constraints. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC). New York, USA: ACM, 2015. 11−20 [18] Herbert S L, Chen M, Han S, Bansal S, Fisac J F, Tomlin C J. FaSTrack: A modular framework for fast and guaranteed safe motion planning. In: Proceedings of the 56th IEEE Conference on Decision and Control (CDC). Melbourne, Australia: IEEE, 2017. 1517−1522 [19] Bajcsy A, Bansal S, Bronstein E, Tolani V, Tomlin C J. An efficient reachability-based framework for provably safe autonomous navigation in unknown environments. In: Proceedings of the 58th IEEE Conference on Decision and Control (CDC). Nice, France: IEEE, 2019. 1758−1765 [20] Boyd S, Vandenberghe L. Convex Optimization. Cambridge: Cambridge University Press, 2004. [21] Glavaski S, Papachristodoulou A, Ariyur K. Safety verification of controlled advanced life support system using barrier certificates. In: Proceedings of the International Workshop on Hybrid Systems: Computation and Control (HSCC). Zurich, Switzerland: Springer, 2005. 306−321 [22] Wang L, Ames A D, Egerstedt M. Safety barrier certificates for collisions-free multirobot systems. IEEE Transactions on Robotics, 2017, 33(3): 661–674. doi: 10.1109/TRO.2017.2659727 [23] Xu X, Grizzle J W, Tabuada P, Ames A D. Correctness guarantees for the composition of lane keeping and adaptive cruise control. IEEE Transactions on Automation Science and Engineering, 2017, 15(3): 1216–1229. [24] Prajna S, Jadbabaie A. Safety verification of hybrid systems using barrier certificates. In: Proceedings of the International Workshop on Hybrid Systems: Computation and Control (HSCC). Philadelphia, PA, USA: Springer, 2004. 477−492 [25] Prajna S, Jadbabaie A, Pappas G J. A framework for worst-case and stochastic safety verification using barrier certificates. IEEE Transactions on Automatic Control, 2007, 52(8): 1415–1428. doi: 10.1109/TAC.2007.902736 [26] Prajna S, Rantzer A. Convex programs for temporal verification of nonlinear dynamical systems. SIAM Journal on Control and Optimization, 2007, 46(3): 999–1021. doi: 10.1137/050645178 [27] Wongpiromsarn T, Topcu U, Lamperski A. Automata theory meets barrier certificates: Temporal logic verification of nonlinear systems. IEEE Transactions on Automatic Control, 2015, 61(11): 3344–3355. [28] Wisniewski R, Sloth C. Converse barrier certificate theorems. IEEE Transactions on Automatic Control, 2015, 61(5): 1356–1361. [29] Ratschan S. Converse theorems for safety and barrier certificates. IEEE Transactions on Automatic Control, 2018, 63(8): 2628–2632. doi: 10.1109/TAC.2018.2792325 [30] Liu J. Converse barrier functions via lyapunov functions. IEEE Transactions on Automatic Control, 2021, 67(1): 497–503. [31] Maghenem M A, Sanfelice R G. On the converse safety problem for differential inclusions: Solutions, regularity, and time-varying barrier functions. IEEE Transactions on Automatic Control, 2022: 1–16 doi: 10.1109/TAC.2022.3148226, to be published. [32] Jankovic M. Robust control barrier functions for constrained stabilization of nonlinear systems. Automatica, 2021, 96(x): 359–367. [33] Ngo K B, Mahony R, Jiang Z P. Integrator backstepping using barrier functions for systems with multiple state constraints. In: Proceedings of the 44th IEEE Conference on Decision and Control (CDC). Seville, Spain: IEEE, 2005. 8306−8312 [34] Tee K P, Ge S S, Tay E H. Barrier Lyapunov functions for the control of output-constrained nonlinear systems. Automatica, 2009, 45(4): 918–927. doi: 10.1016/j.automatica.2008.11.017 [35] Wang X, Lyu Z, Dong Y. A unified approach for safety critical control problem via output regulation theory and barrier function. In: Proceedings of the 41st Chinese Control Conference (CCC). Hefei, China: IEEE, 2022. 833−837 [36] Kong H, He F, Song X, Hung W N, Gu M. Exponential-condition-based barrier certificate generation for safety verification of hybrid systems. In: Proceedings of the International Conference on Computer Aided Verification (CAV). Saint Petersburg, Russia: Springer, 2013. 242−257 [37] Lin Y, Sontag E D, Wang Y. A smooth converse Lyapunov theorem for robust stability. SIAM Journal on Control and Optimization, 1996, 34(1): 124–160. doi: 10.1137/S0363012993259981 [38] Li A, Wang L, Pierpaoli P, Egerstedt M. Formally correct composition of coordinated behaviors using control barrier certificates. In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Madrid, Spain: IEEE, 2018. 3723−3729 [39] Glotfelter P, Cortés J, Egerstedt M. Nonsmooth barrier functions with applications to multi-robot systems. IEEE Control Systems Letters, 2017, 1(2): 310–315. doi: 10.1109/LCSYS.2017.2710943 [40] Ahmadi M, Singletary A, Burdick J W, Ames A D. Safe policy synthesis in multi-agent pomdps via discrete-time barrier functions. In: Proceedings of the 58th IEEE Conference on Decision and Control (CDC). Nice, France: IEEE, 2019. 4797−4803 [41] Sontag E D, Wang Y. On characterizations of the input-to-state stability property. Systems & Control Letters, 1995, 24(5): 351–359. [42] Romdlony M Z, Jayawardhana B. On the new notion of input-to-state safety. In: Proceedings of the 55th IEEE Conference on Decision and Control (CDC). Las Vegas, NV, USA: IEEE, 2016. 6403−6409 [43] Romdlony M Z, Jayawardhana B. Robustness analysis of systems' safety through a new notion of input-to-state safety. International Journal of Robust and Nonlinear Control, 2019, 29(7): 2125–2136. doi: 10.1002/rnc.4482 [44] Kolathaya S, Ames A D. Input-to-state safety with control barrier functions. IEEE Control Systems Letters, 2018, 3(1): 108–113. [45] Lyu Z, Xu X, Hong Y. Small-gain theorem for safety verification of interconnected systems. Automatica, 2022, 139: Article No. 110178 [46] Krstic M. Inverse optimal safety filters [Online], available: https://arxiv.org/abs/2112.08225, February 20, 2023 [47] Taylor A J, Ong P, Cortés J, Ames A D. Safety-critical event triggered control via input-to-state safe barrier functions. IEEE Control Systems Letters, 2020, 5(3): 749–754. [48] Long L, Wang J. Safety-critical dynamic event-triggered control of nonlinear systems. Systems & Control Letters, 2022, 162: Article No. 105176 [49] Li X, Yin X, Li S. Cooperative event triggered control for multi-robot systems with collision avoidance. In: Proceedings of the 40th Chinese Control Conference (CCC). Shanghai, China: IEEE, 2021. 5460−5465 [50] Cortez W S, Dimarogonas D V. Correct-by-design control barrier functions for Euler-Lagrange systems with input constraints. In: Proceedings of the American Control Conference (ACC). Denver, CO, USA: IEEE, 2020. 950−955 [51] Shi L, Singh S K. Decentralized adaptive controller design for large-scale systems with higher order interconnections. IEEE Transactions on Automatic Control, 1992, 37(8): 1106–1118. doi: 10.1109/9.151092 [52] Lyu Z, Xu X, Hong Y. Small-gain theorem for safety verification under high-relative-degree constraints [Online], available: https://arxiv.org/abs/2204.04376, February 20, 2023 [53] Nguyen Q, Sreenath K. Exponential control barrier functions for enforcing high relative-degree safety-critical constraints. In: Proceedings of the American Control Conference (ACC). Boston, MA, USA: IEEE, 2016. 322−328 [54] Xu X. Constrained control of input-output linearizable systems using control sharing barrier functions. Automatica, 2018, 87(x): 195–201. [55] Xiao W, Belta C. High order control barrier functions. IEEE Transactions on Automatic Control, 2021: 1–8 doi: 10.1109/TAC.2021.3105491, to be published. [56] Tan X, Cortez W S, Dimarogonas D V. High-order barrier functions: Robustness, safety, and performance-critical control. IEEE Transactions on Automatic Control, 2021, 67(6): 3021–3028. [57] Parrilo P A. Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization [Ph.D. dissertation], California Institute of Technology, USA, 2000 [58] Prajna S, Papachristodoulou A, Parrilo P A. Introducing SOSTOOLS: A general purpose sum of squares programming solver. In: Proceedings of the 41st IEEE Conference on Decision and Control (CDC). Las Vegas, NV, USA: IEEE, 2002. 741–746 [59] Papachristodoulou A, Prajna S. A tutorial on sum of squares techniques for systems analysis. In: Proceedings of the American Control Conference (ACC). Portland, OR, USA: IEEE, 2005. 2686−2700 [60] Seiler P. SOSOPT: A toolbox for polynomial optimization [Online], available: https://arxiv.org/abs/1308.1889, February 20, 2023 [61] Willems J C. Dissipative dynamical systems part i: General theory. Archive for Rational Mechanics and Analysis, 1972, 45(5): 321–351. doi: 10.1007/BF00276493 [62] Desoer C A, Vidyasagar M. Feedback Systems: Input-Output Properties. New York: Academic Press, 1975. [63] Hill D J. A generalization of the small-gain theorem for nonlinear feedback systems. Automatica, 1991, 27(6): 1043–1045. doi: 10.1016/0005-1098(91)90140-W [64] Jiang Z P, Teel A R, Praly L. Small-gain theorem for ISS systems and applications. Mathematics of Control, Signals and Systems, 1994, 7(2): 95–120. doi: 10.1007/BF01211469 [65] Teel A R. A nonlinear small gain theorem for the analysis of control systems with saturation. IEEE Transactions on Automatic Control, 1996, 41(9): 1256–1270. doi: 10.1109/9.536496 [66] Huang X, Lyu Z, Hong Y. Safety verification of large-scale nonlinear systems: A cyclic-small-gain approach. In: Proceedings of the 17th International Conference on Control & Automation (ICCA). Naples, Italy: IEEE, 2022. 459−462 [67] Jagtap P, Swikir A, Zamani M. Compositional construction of control barrier functions for interconnected control systems. In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (HSCC). New York, USA: ACM, 2000. 1−11 [68] Yin X, Li S. Recent advances on formal methods for safety and security of cyber-physical systems. Control Theory and Technology, 2020, 18(4): 459–461. doi: 10.1007/s11768-020-00008-w [69] Belta C, Yordanov B, Gol E A. Formal Methods for Discrete-Time Dynamical Systems. Berlin: Springer, 2017. [70] Tian D, Fang H, Yang Q, Wei Y. Decentralized motion planning for multiagent collaboration under coupled LTL task specifications. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2022, 52(6): 3602–3611. doi: 10.1109/TSMC.2021.3073105 [71] Wieland P, Allgöwer F. Constructive safety using control barrier functions. IFAC Proceedings Volumes, 2007, 40(12): 462–467. doi: 10.3182/20070822-3-ZA-2920.00076 [72] Artstein Z. Stabilization with relaxed controls. Nonlinear Analysis: Theory, Methods & Applications, 1983, 7(11): 1163–1173. [73] Sontag E D. A ùniversal' construction of Artstein's theorem on nonlinear stabilization. Systems & Sontrol Letters, 1989, 13(2): 117–123. [74] Hsu S C, Xu X, Ames A D. Control barrier function based quadratic programs with application to bipedal robotic walking. In: Proceedings of the American Control Conference (ACC). Chicago, IL, USA: IEEE, 2015. 4542−4548 [75] Krstic M, Kokotovic P V, Kanellakopoulos I. Nonlinear and Adaptive Control Design. New York: Wiley and Sons, 1995. [76] Romdlony M Z, Jayawardhana B. Uniting control Lyapunov and control barrier functions. In: Proceedings of the 53rd IEEE Conference on Decision and Control (CDC). Los Angeles, CA, USA: IEEE, 2014. 2293−2298 [77] Wu C, Fang H, Yang Q, Zeng X, Wei Y, Chen J. Distributed cooperative control of redundant mobile manipulators with safety constraints. IEEE Transactions on Cybernetics, 2022: 1–13 doi: 10.1109/TCYB.2021.3104044, to be published. [78] Raman V, Donzé A, Maasoumy M, Murray R M. Model predictive control with signal temporal logic specifications. In: Proceedings of the 53rd IEEE Conference on Decision and Control (CDC). Los Angeles, CA, USA: IEEE, 2014. 81−87 [79] Wu S, Liu T, Jiang Z P. Continuous safety control of mobile robots in cluttered environments. IEEE Robotics and Automation Letters, 2022, 7(3): 8012–8019. doi: 10.1109/LRA.2022.3187492 [80] Nguyen Q, Sreenath K. Safety-critical control for dynamical bipedal walking with precise footstep placement. IFAC-PapersOnLine, 2015, 48(27): 147–154. doi: 10.1016/j.ifacol.2015.11.167 [81] Khan M, Zafar M, Chatterjee A. Barrier functions in cascaded controller: Safe quadrotor control. In: Proceedings of the American Control Conference (ACC). Denver, CO, USA: IEEE, 2020. 1737−1742 [82] Wang L, Theodorou E A, Egerstedt M. Safe learning of quadrotor dynamics using barrier certificates. In: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA). Brisbane, Australia: IEEE, 2018. 2460−2465 [83] Wu G, Sreenath K. Safety-critical control of a 3D quadrotor with range-limited sensing. In: Proceedings of the ASME Dynamic Systems and Control Conference (DSCC). Minneapolis, MN, USA: ASME, 2016. 1−11 [84] Xiao W, Mehdipour N, Collin A, Bin-Nun A Y, Frazzoli E, Tebbens R D, et al. Rule-based optimal control for autonomous driving. In: Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems (ICCPS). New York, NY, USA: ACM/IEEE, 2021. 143−154 [85] Glotfelter P, Cortés J, Egerstedt M. Boolean composability of constraints and control synthesis for multi-robot systems via nonsmooth control barrier functions. In: Proceedings of the IEEE Conference on Control Technology and Applications (CCTA). Copenhagen, Denmark: IEEE, 2018. 897−902 [86] Glotfelter P, Cortés J, Egerstedt M. A nonsmooth approach to controller synthesis for boolean specifications. IEEE Transactions on Automatic Control, 2020, 66(11): 5160–5174. [87] Lindemann L, Dimarogonas D V. Control barrier functions for signal temporal logic tasks. IEEE Control Systems Letters, 2018, 3(1): 96–101. [88] Manna Z, Pnueli A. Temporal Verification of Reactive Systems: Safety. New York: Springer Verlag, 1995. [89] Tian D, Fang H, Yang Q, Guo Z, Cui J, Liang W, Wu Y. Two-phase motion planning under signal temporal logic specifications in partially unknown environments. IEEE Transactions on Industrial Electronics, 2022: 1–10 doi: 10.1109/TIE.2022.3203752, to be published. [90] Li X, Serlin Z, Yang G, Belta C. A formal methods approach to interpretable reinforcement learning for robotic planning. Science Robotics, 2019, 4(37): 1–15. [91] Gundana D, Kress-Gazit H. Event-based signal temporal logic synthesis for single and multi-robot tasks. IEEE Robotics and Automation Letters, 2021, 6(2): 3687–3694. doi: 10.1109/LRA.2021.3064220 [92] Maler O, Nickovic D. Monitoring temporal properties of continuous signals. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, 2004: 152−166 [93] Huang X, Li L, Chen J. Multi-agent system motion planning under temporal logic specifications and control barrier function. Control Theory and Technology, 2020, 18(3): 269–278. doi: 10.1007/s11768-020-0110-6 [94] Jagtap P, Soudjani S, Zamani M. Formal synthesis of stochastic systems via control barrier certificates. IEEE Transactions on Automatic Control, 2020, 66(7): 3097–3110. [95] Srinivasan M, Coogan S. Control of mobile robots using barrier functions under temporal logic specifications. IEEE Transactions on Robotics, 2020, 37(2): 363–374. 期刊类型引用(7)
1. 周毅,张浩,施孟佶,林伯先,石磊. 未知环境中基于控制障碍函数的机器人安全控制研究综述. 电子科技大学学报. 2025(01): 29-38 . 百度学术
2. 李佳音,张会. 具有未知参数的拉格朗日系统的安全跟踪控制. 烟台大学学报(自然科学与工程版). 2024(03): 262-272 . 百度学术
3. 王海静,彭金柱,张方方. 基于控制障碍函数的受限非线性系统安全控制研究进展. 郑州大学学报(理学版). 2024(06): 1-8 . 百度学术
4. 姚绍杰,闫帅明,张浩,石磊,石华光,周毅. 无人机系统安全控制研究综述:控制障碍函数. 控制与决策. 2024(10): 3169-3180 . 百度学术
5. 董鹤翔,张会. 有界不确定扰动下四旋翼无人机的避障跟踪控制. 鲁东大学学报(自然科学版). 2024(04): 334-342 . 百度学术
6. 林相泽,黄景新,程佳妮,李世华. 有输出约束的二阶切换系统固定时间输出反馈镇定. 中国科学:信息科学. 2024(11): 2642-2656 . 百度学术
7. 陈仲秋,刘勇华,苏春翌. 基于滤波控制障碍函数的严格反馈系统安全控制. 自动化学报. 2024(12): 2474-2486 . 本站查看
其他类型引用(12)
-
计量
- 文章访问数: 6004
- HTML全文浏览量: 900
- PDF下载量: 1228
- 被引次数: 19