×
王国斌;何继峰;刘静;孙海英;丁左华;张苗苗

使用屏障证书对互连混合系统进行安全验证。 （英语） Zbl 1400.93025号

数学。问题。工程师。 2016年，文章ID 4149059，10 p.（2016）.
小结：安全验证确定从允许初始状态开始的任何轨迹是否会与一组不安全状态相交。本文基于双线性平方和规划，提出了一种验证具有状态约束的互联混合动力系统网络安全性的数值方法。安全验证是通过构建一种称为屏障证书的状态功能来进行的。我们考虑有限个满足输入-状态特性的互联混合系统和满足耗散特性的网络互联系统。通过为每个子系统构造一个屏障证书，并对互连施加类似耗散的约束，安全验证被表述为双线性平方和可行性问题。因此，互联混合系统的安全性可以通过求解优化问题而不是求解微分方程来确定。该方法可以验证互联混合系统的安全性，并通过数值算例进行了验证。

MSC公司：

93个B03 可达集，可达性
60年第68季度 规范和验证（程序逻辑、模型检查等）
65年第68季度 形式语言和自动机

软件：

SOSOPT公司;Sostools公司
PDF格式BibTeX公司 XML格式引用
\textit{G.Wang}等人，数学。问题。Eng.2016，文章ID 4149059，10 p.（2016；Zbl 1400.93025）
全文： 内政部

参考文献：

[1] Prajna，S。；Jadbabaie，A.，使用屏障证书对混合系统进行安全验证，混合系统：计算和控制：第七届国际研讨会，HSCC 2004，美国宾夕法尼亚州费城，2004年3月25日至27日。诉讼程序。混合系统：计算与控制：第七届国际研讨会，HSCC 2004，费城，宾夕法尼亚州，美国，2004年3月25-27日。计算机科学论文集，讲稿，2993477-492，（2004），德国柏林：施普林格，德国柏林·兹比尔1135.93317 ·doi:10.1007/978-3-540-24743-232
[2] 盖根，H。；Lefebvre，医学硕士。；扎伊顿，J。；Nasri，O.，《混合系统的安全验证和可达性分析》，《控制中的年度审查》，33，1，25-36，（2009）·doi:10.1016/j.arcontrol.2009.03.002
[3] 安格尔，M。；F.米兰。；Papachristodoulou，A.，电力系统稳定性分析中Lyapunov函数的算法构造，IEEE电路与系统汇刊I：常规论文，60，9，2533-2546，（2013）·Zbl 1468.93157号 ·doi:10.1109/tcsi.2013.246233
[4] Sendjaja，A.Y。；Kariwala，V.，使用平方和编程实现PID性能，过程控制杂志，19，6，1061-1065，（2009）·doi:10.1016/j.jprocont.2008.12.005
[5] 桑卡拉纳拉亚南，S。；Sipma，H.B。；Manna，Z.，《为混合系统构造不变量》，系统设计中的形式化方法，32，1，25-55，（2008）·Zbl 1133.68365号 ·doi:10.1007/s10703-007-0046-1
[6] Sankaranarayanan，S.，使用理想不动点的混合系统自动不变量生成，第13届ACM混合系统国际会议论文集：计算与控制（HSCC’10）·Zbl 1360.34082号 ·doi:10.1145/1755952.1755984
[7] 罗德里格斯-卡博内尔，E。；Tiwari，A.，《为混合系统生成多项式不变量》，《混合系统：计算与控制：第八届国际研讨会》，2005年3月9日至11日，瑞士苏黎世，HSCC 2005。诉讼程序。混合系统：计算与控制：第八届国际研讨会，HSCC 2005，瑞士苏黎世，2005年3月9日至11日。计算机科学论文集，讲稿，3414，590-605，（2005），德国柏林：施普林格，德国柏林·Zbl 1078.93026号 ·doi:10.1007/978-3-540-31954-2_38
[8] Parrilo，P.A.，结构化半定程序和鲁棒性和优化中的半代数几何方法[博士论文]，（2000），加利福尼亚理工学院
[9] Prajna，S。；Papachristodoulou，A.，切换和混合系统的分析——超越分段二次型方法，美国控制会议论文集（ACC’03），IEEE
[10] Papachristodoulou，A.，使用平方和分解分析非线性时滞系统，美国控制会议论文集（ACC’04），IEEE
[11] Papachristodoulou，A。；皮特，M.M。；Lall，S.，通过平方和分解分析时滞多项式系统，IEEE自动控制汇刊，54，5，1058-1064，（2009）·Zbl 1367.93476号 ·doi:10.10109/tac.2009.2017168
[12] Prajna，S。；Jadbabaie，A。；Pappas，G.J.，使用屏障证书进行最坏情况和随机安全验证的框架，IEEE自动控制汇刊，52，8，1415-1428，（2007）·Zbl 1366.93711号 ·doi:10.1109/tac.2007.902736
[13] 斯洛思，C。；帕帕斯，G.J。；Wisniewski，R.，使用屏障证书进行成分安全分析，第15届ACM混合系统国际会议论文集：计算与控制（HSCC’12）·Zbl 1362.68185号 ·doi:10.1145/2185632.2185639
[14] 懒惰，C。；Wisniewski，R。；Pappas，G.J.，《关于组成屏障证书的存在》，第51届IEEE决策与控制会议论文集（CDC’12）·doi:10.1109/cdc.2012.6426178
[15] Kong，H。；宋，X。；Han，D。；顾，M。；Sun，J.，混合系统安全验证的新屏障证书，《计算机杂志》，57，7，1033-1045，（2014）·doi:10.1093/comjnl/bxt059
[16] Wisniewski，R。；Sloth，C.，《逆向障碍证明定理》，IEEE第52届决策和控制年会论文集（CDC’13），IEEE·doi:10.1109/cdc.2013.6760627
[17] Alur，R.，混合系统的形式验证，嵌入式软件国际会议论文集（EMSOFT’11），IEEE
[18] 库根，S。；Arcak，M.，《使用SOS编程验证互连无源系统的安全性》，第52届IEEE决策与控制会议论文集（CDC’13）·doi:10.1109/cdc.2013.6760828
[19] 库根，S。；Arcak，M.，《互联系统安全验证的耗散性方法》，电气与电子工程师协会。《自动控制交易》，60，6，1722-1727，（2015）·Zbl 1360.93309号 ·doi:10.1109/TAC.2014.2361595
[20] 海因斯，G.H。；Arcak，M。；Packard，A.K.，《平衡相关被动性：一个新的定义和数字证明》，Automatica，47，9，1949-1956，（2011）·Zbl 1227.93045号 ·doi:10.1016/j.automatica.2011.05.011
[21] Papachristodoulou，A。；安德森，J。；Valmorbida，G。；Prajna，S。；塞勒，P。；Parrilo，P.，SOSTOOLS 3.00版MATLAB平方和优化工具箱
[22] Seiler，P.，Sosopt：多项式优化工具箱
[23] 林奇，N。；塞加拉，R。；Vaandrager，F.，混合I/O自动机，信息与计算，185，1，105-157，（2003）·Zbl 1069.68067号 ·doi:10.1016/s0890-5401（03）00067-1
[24] Jarvis-Loszek，Z。；费利，R。；Tan，W。；Sun，K。；Packard，A.，平方和编程的控制应用，控制中的正多项式，312，3-22，（2005），德国柏林：施普林格，德国柏林·Zbl 1119.93031号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。