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

发布时间：2017-06-17 02:10

  本文关键词：运用栅栏函数验证连续系统的有界时间安全性，由笔耕文化传播整理发布。

【摘要】：栅栏函数在连续系统验证方面有着广泛的应用,其主要想法在于:在可达集和非安全集之间寻找一个栅栏,从初始区域出发的路径不会越过这个栅栏,而非安全区域在栅栏的另外一端.这样,就可以通过寻找栅栏函数来验证一个系统的安全性.近年来,已有一些工作讨论连续系统在无界时间情况下的栅栏函数生成.但是对于有些系统,人们可能只关心其在有界时间内的安全性.因为在无界时间内不安全并不能说明在给定时间内也是不安全的,所以对于这类问题,无界时间栅栏函数方法并不适用.受无界时间栅栏函数方法的启发,针对有界时间的情况,给出有界时间栅栏函数生成方法.首先给出有界时间栅栏函数的一些充分条件,对于多项式系统,将多项式非负的条件做平方和松弛后利用平方和规划工具求解这些充分条件得到栅栏函数;对于初等系统(包含一些初等函数),先将该初等系统转化为一个多项式系统,然后求解对应多项式系统的栅栏函数.对一些无界时间不安全的实例,演示了该方法在验证有界时间安全性问题上的有效性.
【作者单位】： 北京大学数学科学学院;
【关键词】： 连续系统 安全性验证 栅栏函数 半定规划 平方和
【基金】：国家自然科学基金(11271034,11290141)~~
【分类号】：TP368.1
【正文快照】： 嵌入式系统是一种完全嵌入到受控制器件的内部,为该器件的某一特定应用而设计的专用计算机系统.近几年,随着计算机、互联网和通信技术的不断发展,嵌入式系统也不断地应用到社会的各个领域,比如工业控制中的数字机床、过程控制、电网设备监控,环境工程中的防洪体系、地震监测网

【共引文献】

中国期刊全文数据库 前1条

1 LIN Wang;WU Min;YANG ZhengFeng;ZENG ZhenBing;;Exact safety verification of hybrid systems using sums-of-squares representation[J];Science China(Information Sciences);2014年05期

中国博士学位论文全文数据库 前2条

1 林望;基于符号数值混合计算的混成系统可信分析与验证研究[D];华东师范大学;2013年

2 邓辉;基于符号与数值混合计算的多项式变迁系统近似互模拟[D];北京交通大学;2014年

【相似文献】

中国期刊全文数据库 前10条

1 方晨;;广义连续系统的鲁棒H_∞控制及仿真[J];计算机仿真;2011年05期

2 周喜华;胡彩红;梁开福;;基于连续代数Lyapunov方程解的研究[J];湘潭师范学院学报(自然科学版);2008年02期

3 孙希平;王永骥;钱新恩;;一类MIMO状态可测的非线性连续系统的激励辨识方法[J];自动化学报;2007年10期

4 谢艳云;王飞;;一类连续系统的混沌反控制[J];齐齐哈尔大学学报;2008年02期

5 张志钢;赵洪国;焉杰;;观测时滞连续系统的白噪声H_2估计[J];山东大学学报(工学版);2009年03期

6 张力军;钱山;蔡洪;张士峰;;Kalman滤波中连续系统离散化的计算机实现[J];飞行器测控学报;2010年02期

7 贺尚红,钟掘;基于小波调制的连续系统模型辨识[J];信息与控制;2002年06期

8 冯冬青,谢宋和;连续系统线性二次型期望极点配置问题的研究[J];信息与控制;1999年06期

9 孙先仿,张志方;连续系统的模型参考自适应辨识新方法[J];自动化学报;1996年01期

10 龙飞;刘桥;;MATLAB在LTI连续系统响应分析中的应用[J];四川理工学院学报(自然科学版);2006年03期

中国重要会议论文全文数据库 前3条

1 孙先仿;张志方;;不稳定连续系统的模型参考自适应辨识[A];1993中国控制与决策学术年会论文集[C];1993年

2 赵勇;王柏祥;冯纯伯;;时变最优化信息处理技术及其应用第二部分:在线辨识连续系统[A];1997中国控制与决策学术年会论文集[C];1997年

3 孙先仿;张志方;;连续系统的模型参考自适应辨识新方法[A];1993年控制理论及其应用年会论文集[C];1993年

  本文关键词：运用栅栏函数验证连续系统的有界时间安全性，由笔耕文化传播整理发布。

，

本文编号：457073