报告题目：基于网络分解与半定规划的复杂网络同步分析
报告人：佘志坤 教授（北京航空航天大学）
报告时间：2022年11月8日（星期二） 14:30-16:00
报告地点：腾讯会议 会议号：808181140
校内联系人：杨洁 副教授 联系电话：84708351-8089
报告摘要：复杂网络是一类相互作用的个体组成的网络。复杂网络同步是复杂网络的研究热点之一。由于网络节点动力学与网络拓扑结构相互影响，使得复杂网络的同步研究相当困难。本报告主要基于网络分解与半定规划对复杂网络同步展开研究：基于不变集，对复杂网络同步轨进行了数学刻画，从而给出同步的必要条件；进一步，基于不变集，把原网络等价地分解成一个由两层低维子网络组成的网络，并构建了相应的同步准则；最后，基于平方和分解和半定规划，给出了复杂网络同步的机械化验证。
报告人简介：北京航空航天大学教授、博导，中国数学会理事兼数学竞赛委员会副主任及全国大学生数学竞赛工作组组长。主要从事混成系统自动验证、智能系统协同控制等方面的研究。在ACM汇刊、IEEE汇刊、SIAM期刊等国际期刊和CAV、HSCC、AAAI等国际会议上发表学术论文80余篇。研究成果获得包含1位图灵奖获得者、1位哥德尔奖获得者、3位自动推理杰出成就奖获得者、15位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用。由图灵奖获得者Edmund M. Clarke等编著并于2018年出版的《Handbook of Model Checking》在第30章“Verification of Hybrid Systems”的第七节“Verification Tools”介绍了其开发的验证工具HSolver。
