《自动化学报》2024年50卷2期目录

虹膜呈现攻击检测综述

王财勇, 刘星雨, 房美玲, 赵光哲, 何召锋, 孙哲南

虹膜识别技术因唯一性、稳定性、非接触性、准确性等特性广泛应用于各类现实场景中. 然而, 现有的许多虹膜识别系统在认证过程中仍然容易遭受各种攻击的干扰, 导致安全性方面可能存在风险隐患. 在不同的攻击类型中, 呈现攻击(Presentation attacks, PAs)由于出现在早期的虹膜图像获取阶段, 且形式变化多端, 因而虹膜呈现攻击检测(Iris presentation attack detection, IPAD)成为虹膜识别技术中首先需要解决的安全问题之一, 得到了学术界和产业界的广泛重视. 本综述是目前已知第一篇虹膜呈现攻击检测领域的中文综述, 旨在帮助研究人员快速、全面地了解该领域的相关知识以及发展动态. 总体来说, 本文对虹膜呈现攻击检测的难点、术语和攻击类型、主流方法、公共数据集、比赛及可解释性等方面进行全面归纳. 具体而言, 首先介绍虹膜呈现攻击检测的背景、虹膜识别系统现存的安全漏洞与呈现攻击的目的. 其次, 按照是否使用额外硬件设备将检测方法分为基于硬件与基于软件的方法两大类, 并在基于软件的方法中按照特征提取的方式作出进一步归纳和分析. 此外, 还整理了开源方法、可申请的公开数据集以及概括了历届相关比赛. 最后, 对虹膜呈现攻击检测未来可能的发展方向进行了展望.

王财勇, 刘星雨, 房美玲, 赵光哲, 何召锋, 孙哲南. 虹膜呈现攻击检测综述. 自动化学报, 2024, 50(2): 241−281

Wang Cai-Yong, Liu Xing-Yu, Fang Mei-Ling, Zhao Guang-Zhe, He Zhao-Feng, Sun Zhe-Nan. A survey on iris presentation attack detection. Acta Automatica Sinica, 2024, 50(2): 241−281

一类具有复杂执行器动态的双曲线型偏微分方程输出调节

肖宇, 徐晓东, 阳春华

本文研究了一类具有边界执行器动态特性的双曲线型偏微分方程(Partial differential equation, PDE)系统的输出调节问题. 特别地, 执行器由一组非线性常微分方程(Ordinary differential equation, ODE)描述, 控制输入出现在执行器的一端而非直接作用在PDE系统上, 这使得控制任务变得相当困难. 基于几何设计方法和有限维与无限维反步法, 本文提出了显式表达的输出调节器, 实现了该类系统的扰动补偿及跟踪控制. 并且我们采用Lyapunov稳定性理论严格证明了闭环系统及跟踪误差在范数意义上的指数稳定性. 仿真实例对比验证了所提出控制方法的有效性.

肖宇, 徐晓东, 阳春华. 一类具有复杂执行器动态的双曲线型偏微分方程输出调节. 自动化学报, 2024, 50(2): 295−307

Xiao Yu, Xu Xiao-Dong, Yang Chun-Hua. Output regulation for a class of hyperbolic PDEs with complex actuator dynamics. Acta Automatica Sinica, 2024, 50(2): 295−307

基于高仿生形态布局的仿鸽扑翼飞行机器人系统设计

王久斌, 贺威, 孟亭亭, 邹尧, 付强

针对现有扑翼飞行机器人存在的飞行形态与实际鸟类相差较大, 以及翅膀、尾翼布局和俯仰、转向控制方式仿生度较低的问题, 提出一种形态布局与鸽子相仿的扑翼飞行机器人系统设计及实现方案. 通过设计弧面−折翼−后掠翅膀、仿鸟扇形尾翼以及尾翼挨近翅膀后缘布置的布局方式, 使扑翼机器人飞行形态更加接近真实鸟类, 提高扑翼机器人的形态仿生度. 在此基础上, 设计结合下扑角调控无需尾翼大角度上翘的俯仰控制方式, 以及不依赖于尾翼的翅膀收缩转向控制方式, 在提高仿生度的同时保证飞行控制的有效性. 在具体设计过程中, 首先参考鸽子翅膀型式选择不同类型翅膀并进行风洞测试, 确定出下扑角变化时仍能保持较优升推力性能的翅膀设计方案; 其次, 对各种尾翼型式进行分析和比较, 结合鸽子尾翼特点进行仿鸽尾翼及俯仰、转向控制机构设计, 并通过风洞测试验证; 最后, 设计飞控系统并装配整机, 进行外场飞行测试, 验证仿鸽扑翼飞行机器人平台的稳定性和可控性.

王久斌, 贺威, 孟亭亭, 邹尧, 付强. 基于高仿生形态布局的仿鸽扑翼飞行机器人系统设计. 自动化学报, 2024, 50(2): 308−319

Wang Jiu-Bin, He Wei, Meng Ting-Ting, Zou Yao, Fu Qiang. System design of dove-like flapping-wing flying robot based on highly bionic morphological layout. Acta Automatica Sinica, 2024, 50(2): 308−319

考虑执行器非线性的固定时间全局预设性能车辆队列控制

高振宇, 孙振超, 郭戈

针对含有执行器非线性的车辆队列控制系统, 提出一种固定时间全局预设性能控制(Global prescribed performance control, GPPC) 控制方法. 首先, 设计一种平滑等效变换, 在同一框架下解决死区及饱和问题, 同时消除执行器非线性固有拐点问题. 其次, 构造两个新型性能函数, 并基于此提出一种全局预设性能控制算法, 实现如下目标: 1) 保证跟踪误差在固定时间内收敛到预定稳态区域; 2) 消除初始误差必须已知的限制; 3) 减小误差的超调量. 然后, 基于上述等效变换及预设性能控制算法, 设计一种固定时间滑模队列容错控制方案, 实现固定时间单车稳定及队列稳定. 最后, 通过 MATLAB 仿真实验, 验证了所提算法的有效性.

高振宇, 孙振超, 郭戈. 考虑执行器非线性的固定时间全局预设性能车辆队列控制. 自动化学报, 2024, 50(2): 320−333

Gao Zhen-Yu, Sun Zhen-Chao, Guo Ge. Fixed-time global prescribed performance control for vehicular platoons with actuator nonlinearities. Acta Automatica Sinica, 2024, 50(2): 320−333

外部干扰和随机DoS攻击下的网联车安全H∞ 队列控制

宋秀兰, 李洋阳, 何德峰

针对网联车队列系统易受到干扰和拒绝服务(Denial of service, DoS)攻击问题, 提出一种外部干扰和随机DoS攻击作用下的网联车安全H∞ 队列控制方法. 首先, 采用马尔科夫随机过程, 将网联车随机DoS攻击特性建模为一个随机通信拓扑切换模型, 据此设计网联车安全队列控制协议. 然后, 采用线性矩阵不等式(Linear matrix inequality, LMI)技术计算安全队列控制器参数, 并应用Lyapunov-Krasovskii稳定性理论, 建立在外部扰动和随机DoS攻击下队列系统稳定性充分条件. 在此基础上, 分析得到该队列闭环系统的弦稳定性充分条件. 最后, 通过7辆车组成的队列系统对比仿真实验, 验证该方法的优越性.

宋秀兰, 李洋阳, 何德峰. 外部干扰和随机DoS攻击下的网联车安全H∞ 队列控制. 自动化学报, 2024, 50(2): 348−355

Song Xiu-Lan, Li Yang-Yang, He De-Feng. Secure H∞ platooning control for connected vehicles subject to external disturbance and random DoS attacks. Acta Automatica Sinica, 2024, 50(2): 348−355

基于全驱系统方法的高阶严反馈系统时变输出约束控制

蔡光斌, 肖永强, 胡昌华, 杨小冈, 凡永华

针对输出受不对称时变约束的不确定高阶严反馈系统, 提出一种基于全驱系统方法的高阶自适应动态面输出约束控制方法. 所研究的高阶严反馈系统, 每个子系统都是高阶形式, 通过非线性转换函数将原输出约束系统转换为新的无约束系统, 从而将原系统输出约束问题转化为新系统输出有界的问题. 进一步结合全驱系统方法和自适应动态面控制, 直接将每个高阶子系统作为一个整体进行控制器设计, 而不需要将其转化为一阶系统形式, 有效简化了设计步骤; 同时通过引入一系列低通滤波器来获得虚拟控制律的高阶导数, 以代替复杂的微分运算. 基于Lyapunov稳定性理论证明闭环系统所有信号是一致最终有界的, 系统输出在满足约束的条件下能有效跟踪期望的参考信号, 且可通过调整参数使得系统跟踪误差收敛到零附近的足够小的邻域内. 最后, 通过对柔性关节机械臂系统进行仿真, 验证了所提出控制方法的有效性.

蔡光斌, 肖永强, 胡昌华, 杨小冈, 凡永华. 基于全驱系统方法的高阶严反馈系统时变输出约束控制. 自动化学报, 2024, 50(2): 372−385

Cai Guang-Bin, Xiao Yong-Qiang, Hu Chang-Hua, Yang Xiao-Gang, Fan Yong-Hua. Time-varying output constraint control of high-order strict-feedback systems based on fully actuated system approach. Acta Automatica Sinica, 2024, 50(2): 372−385

一种基于条件梯度的加速分布式在线学习算法

吴庆涛, 朱军龙, 葛泉波, 张明川

由于容易实施, 基于投影梯度的分布式在线优化模型逐渐成为一种主流的在线学习方法. 然而, 在处理大数据应用时, 投影步骤成为该方法的计算瓶颈. 近年来, 研究者提出了面向凸代价函数的分布式在线条件梯度算法, 其悔界为O(T3/4), 其中T是一个时间范围. 该算法存在两方面的问题, 一是其悔界劣于公认的悔界O(T‾‾√); 二是没有分析非凸代价函数的收敛性能, 而实际应用中代价函数大部分是非凸函数. 因此, 提出一种基于条件梯度的加速分布式在线学习算法, 使用Frank-Wolfe 步骤替代投影步骤, 避免昂贵的投影计算. 文中证明当局部代价函数为凸函数时, 所提算法达到公认的悔界O(T‾‾√); 当局部代价函数为潜在非凸函数时, 所提算法以速率O(T‾‾√)收敛到平稳点. 最后, 仿真实验验证了所提算法的性能与理论证明的结论.

吴庆涛, 朱军龙, 葛泉波, 张明川. 一种基于条件梯度的加速分布式在线学习算法. 自动化学报, 2024, 50(2): 386−402

Wu Qing-Tao, Zhu Jun-Long, Ge Quan-Bo, Zhang Ming-Chuan. An accelerated distributed online learning algorithm based on conditional gradient. Acta Automatica Sinica, 2024, 50(2): 386−402

虚假数据注入攻击下多机器人系统协同寻源

王彪新, 伍益明, 郑宁, 徐明

聚焦多机器人系统协同寻源问题, 即通过驱使多个机器人相互协同寻找未知环境中物理信号放射源的位置. 由于执行任务的机器人通常处于户外开放网络环境中, 攻击者在网络中生成的虚假数据注入攻击容易导致多机器人系统寻源任务的失败. 为在网络攻击情形下仍旧能够追寻到源点, 提出一种基于弹性向量趋同的多机器人系统协同多维寻源方法. 有别于现有文献在处理多维寻源时将向量分解成各个维度上的标量进而设计基于标量的弹性趋同协议, 所提出的多维寻源方法不仅能够有效抵御虚假数据注入攻击完成寻源任务, 而且其界定的安全区间相较于传统基于标量信息界定的安全区间更加严格和精准. 在假设f-局部有界(f-locally bounded) 虚假数据注入攻击模型下, 理论分析给出正常机器人在所设计的控制协议下追寻到源点的充分必要条件. 仿真结果表明, 该方法在分布式多机器人系统协作寻源和抵抗恶意攻击方面具有优越性.

王彪新, 伍益明, 郑宁, 徐明. 虚假数据注入攻击下多机器人系统协同寻源. 自动化学报, 2024, 50(2): 403−416

Wang Biao-Xin, Wu Yi-Ming, Zheng Ning, Xu Ming. Multi-robot system cooperative source seeking under false data injection attack. Acta Automatica Sinica, 2024, 50(2): 403−416