广州数学大讲坛第五期

第四十九讲—北京航空航天大学佘志坤教授学术报告

题目：基于可达性分析的实际可稳定PID控制

时间：10月30日（周五）下午16：00

地点：理学实验楼314

报告人：佘志坤 教授

摘要：研究一类n维控制系统的实际可稳定性问题（到达-停留控制问题），引入PID控制实现该目标。构建2n维系统使其可达集在前n维空间的投影为原系统可达集；引入演化函数精确描述2n维系统可达集并给出级数表示（视为关于参数P、I、D的级数函数）；引入Zonotope表示法和多起点局部优化方法以任意精度近似演化函数，提高算法效率；使用基于障碍证书的方法进行到达-停留验证，并因PID控制提出特定障碍证书模板和基于极坐标变换的验证方法；提出基于粒子群优化（PSO）的方法迭代计算尽可能小稳定时间对应的PID控制，实现n维系统的实际可稳定性。已实现该方法并在基准测试中对比实验，结果表明该方法性能良好，且PID控制相较P控制、PI控制和PD控制具有优势。

报告人简介：

佘志坤，北京航空航天大学教授、博导，中国数学会理事兼全国大学生数学竞赛工作组组长，《全国大学生数学竞赛丛书》主编。主要从事混成系统自动验证、智能系统协同控制等方面研究。在ACM汇刊、IEEE汇刊、SIAM期刊等国际期刊和CAV、AAAI等国际会议上发表学术论文100余篇。研究成果获得包含1位图灵奖获得者、1位哥德尔奖获得者、3位自动推理杰出成就奖获得者、15位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用。