运用栅栏函数验证连续系统的有界时间安全性

• 作者: 夏壁灿 甘庭
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 连续系统 安全性验证 栅栏函数 半定规划 平方和
• 年，卷（期）: 2016,（3）
• 所属期刊栏目: 软件形式化方法与应用专题
• 页码范围: 645-654
• 页数: 10页
• 分类号: TP301
• 字数: 7988字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004986

摘要

栅栏函数在连续系统验证方面有着广泛的应用,其主要想法在于:在可达集和非安全集之间寻找一个栅栏,从初始区域出发的路径不会越过这个栅栏,而非安全区域在栅栏的另外一端.这样,就可以通过寻找栅栏函数来验证一个系统的安全性.近年来,已有一些工作讨论连续系统在无界时间情况下的栅栏函数生成.但是对于有些系统,人们可能只关心其在有界时间内的安全性.因为在无界时间内不安全并不能说明在给定时间内也是不安全的,所以对于这类问题,无界时间栅栏函数方法并不适用.受无界时间栅栏函数方法的启发,针对有界时间的情况,给出有界时间栅栏函数生成方法.首先给出有界时间栅栏函数的一些充分条件,对于多项式系统,将多项式非负的条件做平方和松弛后利用平方和规划工具求解这些充分条件得到栅栏函数;对于初等系统(包含一些初等函数),先将该初等系统转化为一个多项式系统,然后求解对应多项式系统的栅栏函数.对一些无界时间不安全的实例,演示了该方法在验证有界时间安全性问题上的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	夏壁灿	北京大学数学科学学院	6	33	3.0	5.0
2	甘庭	北京大学数学科学学院	1	3	1.0	1.0