×
白、云君;甘婷;焦、李;夏碧灿;薛、白;詹乃军

扰动下时滞混合系统的切换控制器综合。 （英语） Zbl 07807676号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第3号论文，第11页（2021年）。

MSC公司：

65年第68季度 形式语言和自动机
60年第68季度 规范和验证（程序逻辑、模型检查等）
93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统）

关键词：

延迟微分方程;延迟混合系统;微分不变量;安全;开关控制器

软件：

d到达
PDF格式BibTeX公司 XML格式引用
\textit{Y.Bai}等人，in：《第24届ACM混合系统国际会议论文集：计算与控制》，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第3号论文，第11页（2021；Zbl 07807676）
全文： 内政部 arXiv公司

参考文献：

[1] 马提亚斯。阿尔托夫和德米特里。格雷本尤克。2016。区间算术在CORA 2016中的实现。过程中。第三届连续和混合系统应用验证国际研讨会。
[2] Rajeev Alur、Costas Courcoubetis、Nicolas Halbwachs、Thomas A.Henzinger、Pei-Hin Ho、Xavier Nicollin、Alfredo Olivero、Joseph Sifakis和Sergio Yovine。1995年。混合系统的算法分析。西奥。计算。科学。138, 1 (1995), 3-34. 10.1016/0304-3975（94）00202-T·Zbl 0874.68206号
[3] 尤金·阿萨林（Eugene Asarin）、奥利维尔·伯内斯（Olivier Bournez）、托当（Thao Dang）、奥德·马勒（Oded Maler）和埃米尔·普努利（Amir Pnueli）。线性系统开关控制器的有效综合。程序。IEEE 88，7（2000），1011-1025·Zbl 0938.93502号
[4] 白云君、甘婷、李娇、夏碧灿、白雪和詹乃君。2021.扰动下时滞混合系统的开关控制器综合。arXiv:2103.11565[eess.SY]
[5] 白云君、甘婷、李娇、白雪和詹乃君。2021.时滞混合系统的开关控制器综合。《科学中国数学》51，1（1-2）（2021），97-114。中文·Zbl 1499.93032号
[6] Calin Belta、Boyan Yordanov和Ebru Aydin Gol。2017.离散时间动力系统的形式化方法。斯普林格·Zbl 1409.93003号
[7] 亚伯拉罕·伯曼和罗伯特·普莱蒙斯。数学科学中的非负矩阵。第9卷。暹罗·Zbl 0815.15016号
[8] 陈明帅（Mingshuai Chen）、马丁·弗伦泽（Martin Fränzle）、李杨佳（Yangjia Li）、彼得·莫萨德（Peter N Mosaad）和詹乃军（Naijun Zhan）。2016.延迟微分动力学验证的基于仿真的验证。FM 2016（LNCS，第9995卷）。137-154. ·Zbl 1427.68163号
[9] 陈明帅（Mingshuai Chen）、马丁·弗伦泽（Martin Fränzle）、李杨佳（Yangjia Li）、彼得·纳齐尔·莫萨德（Peter Nazier Mosaad）和詹乃军（Naijun Zhan）。2018.未来仍然不确定-合成具有延迟交互弹性的控制器。ATVA 2018（LNCS，第11138卷）。56-74. ·Zbl 1520.91077号
[10] 陈明帅（Mingshuai Chen）、马丁·弗伦泽尔（Martin Fränzle）、李杨佳（Yangjia Li）、彼得·莫萨德（Peter N.Mosaad）和詹乃军（Naijun Zhan）。2020年。不确定性和延迟是失败的根源——通过综合延迟控制从算法上加以控制。《信息学报》（2020）。10.1007/s00236-020-00374-7·Zbl 1528.68214号
[11] 冯胜华（Shenghua Feng）、陈明帅（Ming Shuai Chen）、詹乃军（Naijun Zhan）、马丁·弗伦泽尔（Martin Fränzle）和白雪（Bai Xue）。2019.控制动力系统中的延迟。CAV 2019（LNCS，第11561卷）。施普林格，650-669。
[12] Ahmed A.Al Ghafli和Hassan J.Al Salman。2020年。空间扩展捕食者-食饵相互作用模型有限元近似的最佳误差界。《数值算法》85，1（2020），209-229。10.1007/s11075-019-00810-x·兹比尔1453.65307
[13] 安托万·吉拉德。2012.通过近似互模拟实现安全性和可达性的控制器综合。Automatica 48，5（2012），947-953·Zbl 1246.93045号
[14] 埃里克·古堡和西尔维·普特。2019.控制系统验证的内部和外部可达性。。在HSCC中。11-22. ·Zbl 07120136号
[15] 托马斯·汉津格（Thomas A Henzinger）、彼得·科普克（Peter W Kopke）、阿努杰·普里（Anuj Puri）和普拉文·瓦莱亚（Pravin Varaiya）。1995.混合自动机的决定因素是什么？技术报告。康奈尔大学·Zbl 0978.68534号
[16] Le Van Hien和Hieu Minh Trinh。2014.具有时滞和有界扰动的线性时变系统状态边界的新方法。Automatica 50，6（2014），1735-1738。10.1016/j.自动.2014.04.025·Zbl 1296.93046号
[17] Kyle Hsu、Rupak Majumdar、Kaushik Mallik和Anne-Kathrin Schmuck。2018.连续时间系统基于多层抽象的控制器综合。在HSCC’18中。美国医学会，120-129·Zbl 1417.93061号
[18] 黄振琪、范楚楚和萨彦密特拉。2017.时滞非线性网络动态系统的有界不变量验证。非线性分析：混合系统23（2017），211-229·Zbl 1353.37173号
[19] Susmit Jha、Sanjit A Seshia和Ashish Tiwari，2011年。混合系统最优开关逻辑的综合。在EMSOFT 2011中。107-116.
[20] 孔顺浩（Soonho Kong）、高思春（Sicun Gao）、陈伟（Wei Chen）和埃德蒙·克拉克（Edmund M.Clarke），2015年。dReach：Δ-混合系统的可达性分析。在TACAS 2015（LNCS，第9035卷）中，Christel Baier和Cesare Tinelli（编辑）。斯普林格，200-205。
[21] 罗恩·科曼斯。1990.使用度量时态逻辑指定实时属性。实时系统。2，4（1990），255-299。
[22] 李延庆、张龙和滕志东。2017.在Gompertz和Logistic增长和脉冲扰动之间交替的季节演替下的单谱模型。GEM-国际地球数学杂志8，6（2017），241-260。2007年10月17日/13137-017-0092-9·Zbl 1390.92115号
[23] 亚历山大·米哈伊洛维奇·利亚普诺夫。1992年，运动稳定性的一般问题。国际。《控制杂志》55，3（1992），531-534。10.1080/00207179208934253 ·Zbl 0786.70001号
[24] 奥德·马勒和德扬·尼科维奇。2004.监测连续信号的时间特性。在FORMATS 2004+FTRTFT（LNCS，第3253卷）中，Yassine Lakhnech和Sergio Yovine（编辑）。斯普林格，152-166·Zbl 1109.68518号
[25] Petter Nilsson、Necmiye Ozay和Jun Liu。2017.作为控制合成抽象的增强有限转换系统。离散事件动态系统27，2（2017），301-340·Zbl 1379.93050号
[26] 佐丹诺·波拉（Giordano Pola）、皮尔多梅尼科·佩佩（Pierdomenico Pepe）和玛丽亚·多梅尼卡·迪贝内代托（Maria Domenica Di Benedetto）。2015.通过交替近似互模拟的时变时滞系统符号模型。《国际鲁棒和非线性控制杂志》25，14（2015），2328-2347·Zbl 1328.93051号
[27] 佐丹诺·波拉（Giordano Pola）、皮尔多梅尼科·佩佩（Pierdomenico Pepe）、玛丽亚·迪·贝内代托（Maria D Di Benedetto）和保罗·塔布阿达（Paulo Tabuada）。2010.使用近似互模拟的非线性时滞系统的符号模型。《系统与控制快报》59，6（2010），365-373·Zbl 1197.93090号
[28] 斯蒂芬·普拉纳（Stephen Prajna）和阿里·贾巴比（Ali Jadbabaie）。2005.时滞系统的安全验证方法。CDC 2005年。4348-4353.
[29] 冈特·雷西格（Gunther Reissig）、亚历山大·韦伯（Alexander Weber）和马蒂亚斯·伦格（Matthias Rungger）。2017.符号控制器合成的反馈优化关系。IEEE传输。自动化。控制62，4（2017），1781-1796·Zbl 1366.93363号
[30] 法卡斯布·理查德·基辛亚（Farkasb Richard Kicsinya）。2012年，改进了太阳能加热系统的差动控制。太阳能86，11（2012），3489-3498。
[31] 保罗·塔布阿达。2009年，混合动力系统的验证和控制：一种象征性的方法。斯普林格·Zbl 1195.93001号
[32] Ankur Taly和Ashish Tiwari，2010年。可达性的开关逻辑综合。在EMSOFT 2010中。美国医学会，19-28。
[33] Claire J Tomlin、John Lygeros和S Shankar Sastry。2000.混合系统控制器设计的博弈论方法。程序。IEEE 88，7（2000），949-970。
[34] 白雪、彼得·纳齐尔·莫萨德、马丁·弗伦泽、陈明帅、李杨佳和詹乃军。2017.时滞微分方程可达集的安全过逼近和欠逼近。格式2017（LNCS，第10419卷）。施普林格，281-299·Zbl 1497.93100号
[35] 白雪、王秋叶、冯胜华和詹乃军。2021.扰动时滞微分方程的过逼近和欠逼近可达集。IEEE传输。自动化。控制66，1（2021），283-290·Zbl 07320148号
[36] 赵恒军（Hengjun Zhao）、詹乃军（Naijun Zhan）和卡普尔（Deepak Kapur）。2013年，通过生成不变量为混合系统合成切换控制器。在程序设计理论和形式方法。施普林格，354-373·兹比尔1390.68316
[37] Liang Zou、Martin Fränzle、Naijun Zhan和Peter Nazier Mosaad。2015.延迟微分方程稳定性和安全性的自动验证。CAV 2015（LNCS，第9207卷）。338-355. ·Zbl 1381.68188号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。