×
吕子良;徐向茹;洪一光

互联系统安全验证的小增益定理。 （英语） Zbl 1485.93504号

Automatica公司 139，文章ID 110178，6 p.（2022）.
小结：本文发展了屏障函数公式中的小增益定理，用于互连系统的安全验证。该结果有助于从单个ISSf屏障功能中编码的安全信息验证互连系统的输入-状态安全性（ISSf）。此外，它还可以用于从两个低维空间的安全集中获得高维空间的一个安全集。

引用于2文件

MSC公司：

93D25号 控制理论中的输入输出方法
93B70型 网络控制
93立方35 多变量系统、多维控制系统

关键词：

输入到状态安全;屏障功能;互联系统;小凯恩定理
PDF格式BibTeX公司 XML格式引用
\textit{Z.Lyu}等人，Automatica 139，文章ID 110178，6 p.（2022；Zbl 1485.93504）
全文： DOI程序 arXiv公司

参考文献：

[1] 艾姆斯，A.D。；Grizzle，J.W。；Tabuada，P.，基于控制障碍函数的二次规划及其在自适应巡航控制中的应用，（第53届IEEE决策与控制会议（2014年），IEEE），6271-6278
[2] 艾姆斯，A.D。；Xu，X。；Grizzle，J.W。；Tabuada，P.，安全关键系统基于控制屏障函数的二次规划，IEEE自动控制汇刊，62，8，3861-3876（2016）·Zbl 1373.90092号
[3] 巴拉昌德兰，S。；Ozay，N。；Atkins，E.M.，《验证引导下的起飞飞行安全评估和管理系统改进》，《航空航天信息系统杂志》，13，9，357-369（2016）
[4] 布兰基尼，F。；Miani，S.，《控制中的集合理论方法》，123（2008），Springer·Zbl 1140.93001号
[5] 克拉克，E.M。；格伦伯格，O。；Kroening，D。；贝利德，D。；Veith，H.，模型检验（2018），麻省理工学院出版社·Zbl 1423.68002号
[6] 库根，S。；Arcak，M.，互联系统安全验证的耗散性方法，IEEE自动控制汇刊，60，6，1722-1727（2014）·Zbl 1360.93309号
[7] 江，Z.-P。；马利尔斯，I.M。；Wang，Y.，互联ISS系统非线性小收益定理的Lyapunov公式，Automatica，32，8，1211-1215（1996）·兹比尔0857.93089
[8] 江，Z.-P。；特尔，A.R。；Praly，L.，ISS系统的小增益定理及其应用，控制数学，信号与系统，7，2，95-120（1994）·Zbl 0836.93054号
[9] 科拉塔亚，S。；Ames，A.D.，带控制屏障功能的输入到状态安全，IEEE控制系统快报，3，1，108-113（2018）
[10] Long，L。；赵，J.，切换互联非线性系统的小增益定理及其应用，IEEE自动控制汇刊，59，4，1082-1088（2013）·Zbl 1360.93558号
[11] Manna，Z。；Pnueli，A.，《反应系统的时间验证：安全》（2012），施普林格科学；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；商业媒体
[12] 米切尔，I.M。；Bayen，A.M。；Tomlin，C.J.，连续动态博弈可达集的含时Hamilton-Jacobi公式，IEEE自动控制汇刊，50，7，947-957（2005）·Zbl 1366.91022号
[13] 奈西奇，D。；Teel，A.R.，混合ISS系统基于Lyapunov的小收益定理，（第47届IEEE决策与控制会议（2008），IEEE），3380-3385
[14] Nguyen，Q。；Sreenath，K.，用于实施高相对度安全关键约束的指数控制屏障函数，（2016年美国控制会议（2016年），IEEE），322-328
[15] Prajna，S。；Jadbabaie，A。；Pappas，G.J.，使用屏障证书进行最坏情况和随机安全验证的框架，IEEE自动控制交易，52，8，1415-1428（2007）·Zbl 1366.93711号
[16] Romdlony，M.Z。；Jayawardhana，B.，《关于输入到状态安全的新概念》，（第55届IEEE决策与控制会议（2016年），IEEE），6403-6409
[17] Sontag，E.D。；Wang，Y.，关于紧集的输入-状态稳定性特征，（非线性控制系统设计，1995）。非线性控制系统设计1995，IFAC印后卷（1995），佩加蒙：佩加蒙牛津），203-208
[18] Sontag，E.D。；Wang，Y.，关于输入-状态稳定性质的刻画，系统与；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；控制信函，24，5351-360（1995）·Zbl 0877.93121号
[19] 三通，K.P。；Ge，S.S。；Tay，E.H.，输出约束非线性系统控制的Barrier Lyapunov函数，Automatica，45，4，918-927（2009）·Zbl 1162.93346号
[20] Wang，L。；艾姆斯，医学博士。；Egerstedt，M.，无碰撞多机器人系统的安全屏障证书，IEEE机器人学报，33，3，661-674（2017）
[21] 维兰德，P。；Allgöwer，F.，《使用控制屏障功能的建设性安全》，IFAC论文集第40卷，第12卷，第462-467页（2007年）
[22] Xu，X.，使用控制共享屏障函数的输入-输出线性化系统的约束控制，Automatica，87，195-201（2018）·Zbl 1378.93032号
[23] Xu，X。；Grizzle，J.W。；Tabuada，P。；Ames，A.D.，车道保持和自适应巡航控制组成的正确性保证，IEEE自动化科学与工程学报，15，3，1216-1229（2017）
[24] Xu，X。；Tabuada，P。；Grizzle，J.W。；Ames，A.D.，《安全关键控制的控制屏障功能鲁棒性》，IFAC-PapersOnLine，48，27，54-61（2015）
[25] Yang，G。；Liberzon，D.，互联交换系统基于Lyapunov的小收益定理，系统与；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；amp；《控制信函》，78，47-54（2015）·Zbl 1320.93071号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。