澳门新葡新京,澳门新葡新京娱乐场

您当前所在位置: 澳门新葡新京 > 科学研究 > 学术交流 > 正文
学术交流

学术报告三十六:A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation

澳门新葡新京:

作者:

时间:2020-07-03 23:23  次

澳门新葡新京学术报告[2020] 036

(高水平大学建设系列报告389)

报告题目: A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation

报告人:杨争峰 教授(华东师范大学)

报告时间:202075 15:00-15:50

直播平台及链接: 腾讯会议(会议ID682 336 686

报告内容:

Barrier certi?cates generation is widely used in verifying safety properties of hybrid systems because of the relatively low computational complexity it costs. Under sum of squares (SOS) relaxation, the problem of barrier certi?cate generation is equivalent to that of solving a bilinear matrix inequality (BMI) with a particular type. In this talk, we reveal the special feature of the problem, and adopt it to build a novel computational method. The proposed method introduces a sequential iterative scheme that is able to ?nd analytical solutions, rather than the nonlinear solving procedure to produce numerical solutions used by general BMI solvers and thus is more e?cient than them. In addition, di?erent from popular LMI solving based methods, it does not make the veri?cation conditions more conservative, and thus reduces the risk of missing feasible solutions. Bene?tting from these two appealing features, it can produce barrier certi?cates not amenable to existing methods, which is supported by a complexity analysis as well as the experiment on some benchmarks.

报告人简历:

杨争峰,华东师范大学软件工程学院教授。2006年于中国科学院数学与系统科学研究院获博士学位。主要从事符号计算、形式化方法、软件工程等研究,在CAVEMSOFTFMISSACCVPR等国际会议和JSCACM TECSIEEE TCAD等国际期刊上发表学术论文40余篇。

欢迎感兴趣的师生参加!


                          澳门新葡新京

                         202073

  • 友情链接 :澳门新葡新京娱乐场
  • 深大内部网
  • 深大信息中心
  • 中国数学会

Copyright ©版权所有:澳门新葡新京

邮编:518060

电话:0755-26534791

Copyright ? 澳门新葡新京

旧官网入口:点击进入

互联网品牌服务:西安博达软件

XML 地图 | Sitemap 地图