摘要
P.J.Meyer、A.Girard和E.Witrant,“使用重叠符号模型的成分抽象和安全合成” IEEE自动控制汇刊 ,第63卷,第6期,第1835-1841页,2017年。 谷歌学者 交叉引用 G.Pola、P.Pepe和M.Di Benedetto,“控制系统网络的符号模型” IEEE自动控制汇刊 ,第61卷,第11期,第3663-3668页,2016年11月。 谷歌学者 交叉引用 A.Swikir和M.Zamani,“系统网络有限抽象的合成:小收益方法” Automatica公司 ,第107卷,第11期,第551-5612019页。 谷歌学者 交叉引用 A.Swikir和M.Zamani,“交换系统网络符号模型的合成” IEEE控制系统信件 ,第3卷,第4期,第1056--1061页,2019年10月。 谷歌学者 交叉引用 A.D.Ames、X.Xu、J.W.Grizzle和P.Tabuada,“安全关键系统基于控制屏障函数的二次规划” IEEE自动控制汇刊 ,第62卷,第8期,第3861-38762016页。 谷歌学者 交叉引用 A.D.Ames、S.Coogan、M.Egerstedt、G.Notomista、K.Sreenath和P.Tabuada,《控制屏障功能:理论和应用》,摘自 第18届欧洲控制会议(ECC) 2019年6月,第3420-3431页。 谷歌学者 L.Lindemann和D.V.Dimarogonas,“信号时序逻辑任务下耦合多智能体系统的分散控制屏障功能” 2019年第18届欧洲控制会议(ECC) 2019年6月,第89-94页。 谷歌学者 L.Lindemann和D.V.Dimarogonas,“冲突本地信号时序逻辑任务下多智能体系统的控制屏障功能” IEEE控制系统信件 ,第3卷,第3期,第757-762页,2019年7月。 谷歌学者 交叉引用 P.Jagtap、S.Soudjani和M.Zamani,“通过控制屏障证书对随机系统进行形式化综合” arXiv预印本:1905.04585 , 2019. 谷歌学者 P.Jagtap、S.Soudjani和M.Zamani,“使用屏障证书对随机系统进行时序逻辑验证”,in 核查和分析自动化技术国际研讨会。 施普林格,2018,第177-193页。 谷歌学者 T.Wongpiromsarn、U.Topcu和A.Lamperski,“自动机理论符合障碍证明:非线性系统的时序逻辑验证,” IEEE自动控制汇刊 ,第61卷,第11期,第3344-3355页,2015年。 谷歌学者 交叉引用 P.A.Parrilo,“半代数问题的半定规划松弛” 数学编程 ,第96卷,第2期,第293--320页,2003年。 谷歌学者 交叉引用 H.Ravanbakhsh和S.Sankaranarayanan,“一类控制证书,以确保交换系统的可达性保持”,载于第六次研讨会论文集 合成 ,德国海德堡,2017年7月22日,ser。 《理论计算机科学电子论文集》,D.Fisman和S.Jacobs编辑,第260卷。 开放出版协会,2017年,第44-61页。 谷歌学者 C.Löding,“确定性弱的有效最小化 ω -自动机” 信息处理信件 ,第79卷,第3期,第105-109页,2001年。 谷歌学者 数字图书馆 Z.Manna和A.Pnueli, 反应式和并发系统的时序逻辑:规范。 施普林格科学与商业媒体,2012年。 谷歌学者 C.Dax、J.Eisinger和F.Klaedtke,“机械化有限等级的动力装置结构 ω -自动机,“in 核查和分析自动化技术国际研讨会。 施普林格,2007年,第223-236页。 谷歌学者 A.Duret-Lutz、A.Lewkowicz、A.Faucille、T.Michaud、E.Renault和L.Xu,“现场2.0——LTL和 ω -自动操作,“in 核查和分析自动化技术国际研讨会。 Springer,2016年,第122-129页。 谷歌学者 C.Baier、J.-P.Katoen和K.G.Larsen, 模型检查原则。 伦敦:麻省理工学院出版社,2008年。 谷歌学者 数字图书馆 S.J.Russell、P.Norvig、J.F.Canny、J.M.Malik和D.D.Edwards, 人工智能:一种现代方法。 Prentice hall Upper Saddle River,2003年,第2卷。 谷歌学者 I.Tkachev、A.Mereacre、J.-P.Katoen和A.Abate,“非自治随机混合系统基于定量自动机的控制器综合”,in 第16届混合系统国际会议论文集:计算与控制。 ACM,2013年,第293--302页。 谷歌学者 S.Dashkovskiy、B.Rüffer和F.Wirth,“大系统的小增益定理和ISS Lyapunov函数的构造” SIAM控制与优化杂志 ,第48卷,第6期,第4089-4118页,2010年。 谷歌学者 交叉引用 S.Dashkovskiy、B.Rüffer和F.Wirth,“一般网络的ISS小增益定理,” “控制、信号和系统数学 ,第19卷,第2期,第93-122页,2007年5月。 谷歌学者 交叉引用 B.C.Eaves,“计算不动点的同伦” 数学规划 ,第3卷,第1期,第1-22页,1972年。 谷歌学者 数字图书馆 B.S.Ruffer,“单调动力系统、图和大规模互联系统的稳定性” 德国不来梅大学Mathematik und Informatik Fachbereich 3博士论文 , 2007. 谷歌学者 Z.-P.Jiang、I.M.Y.Mareels和Y.Wang,“互联ISS系统非线性小增益定理的Lyapunov公式” Automatica公司 ,第32卷,第1期,第1211-1215页,1996年。 谷歌学者 数字图书馆 A.Swikir、A.Girard和M.Zamani,“从耗散理论到符号模型的合成” 第四届印度控制会议记录 2018年,第30-35页。 谷歌学者 A.Papachristodoulou、J.Anderson、G.Valmorbida、S.Prajna、P.Seiler和P.A.Parrilo, SOSTOOLS:MATLAB的平方和优化工具箱 , http://arxiv.org/abs/1310.4716 , 2013. 谷歌学者 J.F.Sturm,“使用SeDuMi 1.02,一个用于对称锥体优化的MATLAB工具箱,” 优化方法和软件 ,第11卷,第1-4期,第625-653页,1999年。 谷歌学者 L.de Moura和N.Bjorner,“Z3:高效SMT求解器”,in 系统构建和分析的工具和算法 ,序列号。 《计算机科学讲义》,C.R.Ramakrishnan和J.Rehof,柏林:施普林格出版社,2008年,第4963卷,第337-340页。 谷歌学者 数字图书馆 A.Cimatti、A.Griggio、B.J.Schaafsma和R.Sebastiani,《Mathsat 5 smt solver》,in 系统构造和分析工具和算法国际会议。 施普林格,2013年,第93-107页。 谷歌学者 S.Gao、S.Kong和E.M.Clarke,“dReal:超现实非线性理论的SMT求解器” 自动扣除-CADE-24 ,序列号。 LNCS子图书馆:SL 7-人工智能,M.P.Bonacina,Ed.Heidelberg:Springer,2013年,第7898卷,第208-214页。 谷歌学者 P.Jagtap和M.Zamani,“QUEST:符号控制器无状态空间量化合成的工具”,in 系统定量评价国际会议。 施普林格,2017年,第309-313页。 谷歌学者 G.B.Ermentrout和N.Kopell,“耦合神经振荡器系统中的多脉冲相互作用和平均” 数学生物学杂志 ,第29卷,第3期,第195-217页,1991年1月。 谷歌学者 交叉引用 Y.Wang和F.J.Doyle,“有起搏器时Kuramoto振荡器的指数同步率,” IEEE自动控制汇刊 ,第58卷,第4期,第989-994页,2013年4月。 谷歌学者 交叉引用 D.J.Klein、P.Lee、K.A.Morgansen和T.Javidi,《使用离散时间Kuramoto模型实现广播网络上多车辆协调的通信和控制集成》 2007年第46届IEEE决策与控制会议 2007年12月,第13-19页。 谷歌学者 F.Dörfler和F.Bullo,“电力网络和非均匀Kuramoto振荡器中的同步和瞬态稳定性”,in 2010年美国控制会议记录 2010年6月,第930-937页。 谷歌学者 P.S.Skardal和A.Arenas,“应用微电网技术控制耦合振荡器网络” 科学进步 ,第1卷,第7期,第e1500339页,2015年。 谷歌学者 交叉引用
建议
将Büchi自动机降为非确定性二阶的幂集构造 布其自动机是有限自动机,它接受无限长字符串的语言,即所谓的@w语言。 众所周知,与有限字符串不同,确定性和非确定性Buchi自动机接受不同的@w语言类,。。。 利用控制李亚普诺夫函数和控制障碍函数进行控制的安全学习:综述 摘要 现实世界中的自治系统通常使用传统的基于模型的控制方法进行控制。 但如果系统的准确模型不可用,这些方法可能不合适。 对于许多安全关键系统,例如机器人系统。。。 基于模糊Lyapunov-Krasovskii泛函的时滞模糊互联系统稳定性分析与分散H∞控制 本文研究时变时滞连续模糊互联系统的稳定性分析和H∞模糊控制器设计。 模糊互联系统由N个互联时滞Takagi-SugenoT-S模糊控制器组成。。。