德米特里·奥夫桑尼科夫(Dmitri Ovsyannikov,Aleksandrovich);科蒂娜、埃琳娜·德米特里夫纳 轨道梁程序控制的若干问题。二、。 (俄语。英文摘要) Zbl 07832080号 伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 47, 3-11 (2024).MSC公司:49公里15 78A35型 94A08型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Ovsyannikov}和\textit{E.D.Kotina},Izv。伊尔库茨克。戈斯。州立大学。材料47,3--11(2024;Zbl 07832080) 全文: DOI程序 链接
华国栋 某些序列上尖点形状系数的确定性比较。 (英语) Zbl 07823301号 拉马努扬J。 63,第4期,1089-1107(2024).MSC公司:11楼 11楼30 2006年11月 11号37 11楼66 PDF格式BibTeX公司 XML格式引用 \textit{G.Hua},Ramanujan J.63,第4号,1089--1107(2024;Zbl 07823301) 全文: DOI程序
左正康;曾志成;苏伟;黄,清;柯玉涵;刘增新;王长静;梁伟 基于分区递归求精规则的函数程序生成规范转换方法。 (英语) Zbl 07831789号 信息科学。 633, 613-632 (2023).MSC公司:68倍 90倍X PDF格式BibTeX公司 XML格式引用 \textit{Z.Zuo}等人,《信息科学》。633、613--632(2023;Zbl 07831789) 全文: DOI程序
坦马·坎代特;阿尼鲁德·钱德拉特;瓦尔斯坦·巴普蒂斯塔;朱利亚·佩德里利;乔治·费内科斯 演示摘要:在微软飞行模拟器上通过伪造分析CPS安全性。 (英语) Zbl 07807971号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第30号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Khandait}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第30号论文,第2页(2023;Zbl 07807971) 全文: DOI程序
阿什瓦尼·阿南德;纳亚克、萨蒂亚·普拉卡什;安妮·凯瑟琳·施穆克 海报摘要:战略调整的许可性。 (英语) Zbl 07807970号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第29号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Anand}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第29号论文,第2页(2023;Zbl 07807970) 全文: DOI程序
鲁帕克·马朱姆达尔;考希·马利克;马特乌斯·里奇里基;安妮·凯瑟琳·施穆克;苏德贾尼,萨代格 海报摘要:用于加速符号控制的工具链。 (英语) Zbl 07807969号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第28号文件,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。论文编号28,第2页(2023;Zbl 07807969) 全文: DOI程序
卢卡斯·内维斯·埃吉迪奥;纳亚克、萨蒂亚·普拉卡什;罗萨、马蒂奥·德拉;安妮·凯瑟琳·施穆克;拉斐尔·琼格斯 海报摘要:迈向混合控制的无缝反应。 (英语) Zbl 07807968号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第27号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.N.Egidio}等人,《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第27号论文,第2页(2023;Zbl 07807968) 全文: DOI程序
安德烈亚·佩鲁福;Manuel jun,马祖。 海报:ReLU网络的凸场景优化。 (英语) Zbl 07807967号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第26号文件,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Peruffo}和\textit{M.Mazo jun.},in:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS-IoT周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第26号论文,第2页(2023;Zbl 07807967) 全文: DOI程序
何其恒;罗兰·伊利斯;桑伯格,扎卡里;Morteza拉希贾尼扬 海报摘要:基于采样的方法,用于不确定复杂系统的鲁棒STL综合。 (英语) Zbl 07807966号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第25号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Q.H.Ho}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第25号论文,第2页(2023;Zbl 07807966) 全文: DOI程序
鲁亚·卡拉古勒;尼科斯·阿雷奇加;最好的,安德鲁;乔纳森·迪卡斯特罗;内克米耶Ozay 海报摘要:自动驾驶汽车的安全保障偏好学习方法。 (英语) Zbl 07807965号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第24号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Karagulle}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第24号论文,第2页(2023;Zbl 07807965) 全文: DOI程序
拉兹,达芙娜;杨利仁;布赖恩·乌姆伯格;内克米耶Ozay 海报摘要:坐姿到站姿期间人体稳定性的可达性和受控不变性。 (英语) Zbl 07807964号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第23号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{D.Raz}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。论文编号23,第2页(2023;Zbl 07807964) 全文: DOI程序
奥利弗·舍恩;Van Huijgevoort,比尔吉特;苏菲·海瑟特;苏德贾尼,萨代格 海报摘要:参数随机系统的数据驱动的正确设计控制。 (英语) Zbl 07807963号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第22号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{O.Schön}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第22号论文,第2页(2023;Zbl 07807963) 全文: DOI程序 链接
达斯,斯潘丹;帕维特拉·普拉巴卡 海报摘要:平面概率分段常微分系统的稳定性分析。 (英语) Zbl 07807962号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第21号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Das}和\textit{P.Prabhakar},in:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS-IoT周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第21号论文,第2页(2023;Zbl 07807962) 全文: DOI程序
Stephen Chong先生;拉诺特、拉格罗;马西莫·梅里奥;西蒙·蒂尼;向、健 网络物理系统传感器攻击的定量稳健性分析。 (英语) Zbl 07807961号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第20号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Chong}等人,在:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)。第20号论文,第12页(2023;Zbl 07807961) 全文: DOI程序
瓦尔·法塔斯西;海塔姆·凯德;瓦伦·山本;亚瑟·舒克利 Bern-NN:使用Bernstein多项式区间算法的神经网络紧界传播。 (英语) Zbl 07807960号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第19号论文,第11页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{W.Fatnassi}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第19号论文,第11页(2023;Zbl 07807960) 全文: DOI程序 arXiv公司
托拜厄斯·拉德纳;马蒂亚斯·阿尔特霍夫 使用灵敏度分析的神经网络验证中的自动抽象细化。 (英语) 兹伯利07807959 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第18号论文,第13页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Ladner}和\textit{M.Althoff},in:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第18号论文,第13页(2023;Zbl 07807959) 全文: DOI程序 链接
罗、二台;尼古拉斯·科奇杜普尔;斯坦利·巴克 利用多项式分区图对具有不确定参数的线性系统进行可达性分析。 (英语) Zbl 07807958号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第17号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Luo}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第17号论文,第12页(2023;Zbl 07807958) 全文: DOI程序
巴博特、贝诺特;尼古拉斯·巴塞特;亚历山大·顿泽 Wordgen:一个定时单词生成工具。 (英语) Zbl 07807957号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第16号论文,第7页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Barbot}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第16号论文,第7页(2023;Zbl 07807957) 全文: DOI程序 哈尔
阿尼鲁德·钱德拉特;托马斯·埃尔南德斯·阿科斯塔;坦马·坎代特;朱利亚·佩德里利;乔治·费内科斯 将窃取攻击形式化为伪造CPS安全性的STL公式。 (英语) Zbl 07807956号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第15号论文,第8页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Chandratre}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第15号论文,第8页(2023;Zbl 07807956) 全文: DOI程序
阿克谢·马姆巴卡姆;尤金·亚萨林;尼古拉斯·巴塞特;Thao Dang先生 参数定时正则表达式的模式匹配和参数识别。 (英语) Zbl 07807955号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第14号论文,第13页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Mambakam}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第14号论文,第13页(2023;Zbl 07807955) 全文: DOI程序 哈尔
Van Huijgevoort,比尔吉特;奥利弗·舍恩;苏德贾尼,萨代格;苏菲·海瑟特 SySCoRe:通过随机耦合关系进行合成。 (英语) Zbl 07807954号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第13号文件,第11页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Van Huijgevoort}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。论文编号13,第11页(2023;Zbl 07807954) 全文: DOI程序 arXiv公司
吉安尼斯·德尔姆帕尔塔基斯;Morteza拉希贾尼扬;Manuel jun,马祖。;卢卡·劳伦蒂 具有连续动作空间的区间马尔可夫决策过程。 (英语) 兹伯利07807953 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第12号论文,第10页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Delimpaltadakis}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第12号论文,第10页(2023;Zbl 07807953) 全文: DOI程序 arXiv公司
伊本·格拉西亚;迪米特里斯·博斯科斯;卢卡·劳伦蒂;Manuel jun,马祖。 切换随机系统的分布鲁棒策略综合。 (英语) Zbl 07807952号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第11号论文,第10页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{I.Gracia}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第11号论文,第10页(2023;Zbl 07807952) 全文: DOI程序 arXiv公司
阿曼·费尔多西;马蒂亚斯·福格尔;托马斯·诺瓦克;乌尔里希·施密德 阈值模式开关ODE和数字电路延迟模型的连续性。 (英语) 兹伯利07807951 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第10号论文,第11页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Ferdowsi}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第10号论文,第11页(2023;Zbl 07807951) 全文: DOI程序 arXiv公司
迈赫达德·扎里安;安妮·凯瑟琳·施穆克 基于状态的安全规范的符号输出反馈控制器的延迟综合。 (英语) Zbl 07807950号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第9号论文,第7页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Zareian}和\textit{A.-K.Schmuck},《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)。第9号论文,第7页(2023;Zbl 07807950) 全文: DOI程序
弗吉尼亚州德鲍什;Della Rossa,马特奥;拉斐尔·琼格斯 使用附加闭合模板的路径完整稳定性证书的排序特征。 (英语) Zbl 07807949号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第8号论文,第10页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{V.Debauche}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第8号文件,第10页(2023;Zbl 07807949) 全文: DOI程序
阿文德·阿迪穆兰;因德拉尼尔·萨哈;Thao Dang先生 基于预计算可达性序列的安全自触发控制。 (英语) Zbl 07807948号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第7号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Adimoolam}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第7号论文,第12页(2023;Zbl 07807948) 全文: DOI程序 哈尔
Tran,Hoang Dung村;Choi、Sung Woo;杨晓东;山口,富古屋;巴德省霍克萨;丹尼尔·普罗霍罗夫 具有星可达性的递归神经网络的验证。 (英语) Zbl 07807947号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第6号论文,第13页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.D.Tran}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第6号论文,第13页(2023;Zbl 07807947) 全文: DOI程序
马克·韦兹林格;尼古拉斯·科奇杜普尔;斯坦利·巴克;马蒂亚斯·阿尔特霍夫 使用支持函数的可达性分析对线性系统进行全自动验证。 (英语) Zbl 07807946号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第5号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Wetzlinger}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第5号论文,第12页(2023;Zbl 07807946) 全文: DOI程序 链接
Tran,Hoang-Dung村;Choi、Sungwoo;冈本秀树;巴德省霍克萨;乔治·费内科斯;丹尼尔·普罗霍罗夫 使用probstars对神经网络进行定量验证。 (英语) Zbl 07807945号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第4号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Tran}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第4号论文,第12页(2023;Zbl 07807945) 全文: DOI程序
古斯塔沃·卡多纳。;Kamale,迪莎;克里斯蒂安·瓦西莱 加权信号时序逻辑控制综合的混合整数线性规划方法。 (英语) Zbl 07807944号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第3号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Cardona}等人,在:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)。第3号论文,第12页(2023;Zbl 07807944) 全文: DOI程序
陈洪凯;斯科特·斯莫尔卡。;尼古拉·保莱蒂;林,珊 基于STL的网络物理系统弹性控制方法。 (英语) 兹伯利07807943 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第2号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.Chen}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第2号论文,第12页(2023;Zbl 07807943) 全文: DOI程序 arXiv公司
弗朗西丝卡·凯罗利;尼古拉·保莱蒂;卢卡·博托卢西 随机过程STL需求的保形定量预测监测。 (英语) Zbl 07807942号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第1号论文,第11页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{F.Cairoli}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第1号论文,第11页(2023;Zbl 07807942) 全文: DOI程序 arXiv公司
德米特里·奥夫桑尼科夫(Dmitri Ovsyannikov,Aleksandrovich);科蒂娜、埃琳娜·德米特里夫纳 轨道梁程序控制的若干问题。一、。 (俄语。英文摘要) Zbl 07792279号 伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 46, 51-65 (2023).MSC公司:94A08型 92 C55 49公里21 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Ovsyannikov}和\textit{E.D.Kotina},Izv。伊尔库茨克。戈斯。州立大学。材料46、51-65(2023;Zbl 07792279) 全文: DOI程序 链接
华国栋;陈斌;潘丽晶;陈晓芳 关于特定稀疏序列上对称平方函数的Dirichlet系数的高阶矩。 (英语) Zbl 07783243号 伦德。循环。马特·巴勒莫(2) 72,编号8,4195-4208(2023).MSC公司:11楼30 11楼66 11楼 PDF格式BibTeX公司 XML格式引用 \textit{G.Hua}等人,Rend。循环。马特·巴勒莫(2)72,编号8,4195--4208(2023;Zbl 07783243) 全文: DOI程序
马修·科尔布鲁克。;安德斯·汉森。 通过可解性复杂性指数层次结构进行谱计算的基础。 (英语) Zbl 07774915号 《欧洲数学杂志》。社会(JEMS) 25,第12号,4639-4718(2023).MSC公司:2015年第68季度 47A10号 46号40 第35页第15页 65升15 65N25型 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Colbrook}和\textit{A.C.Hansen},J.欧洲数学。Soc.(JEMS)25,No.12,4639--4718(2023;Zbl 07774915) 全文: DOI程序 arXiv公司
第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。 (英语) Zbl 1530.68008号 纽约州纽约市:计算机协会(ACM)(ISBN 979-8-4007-0033-0)。xi,30篇文章,未连续页码(2023年)。MSC公司:68-06 93-06 65年第68季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)(2023;Zbl 1530.68008) 全文: DOI程序
华国栋 尖点形式傅里叶系数误差项的积分均方估计。 (英语) Zbl 1523.11069号 程序。印度科学院。科学。,数学。科学。 133,第2号,第17号论文,第19页(2023年).MSC公司:11楼 11楼30 11楼66 PDF格式BibTeX公司 XML格式引用 \textit{G.Hua},程序。印度科学院。科学。,数学。科学。133,第2号,第17号论文,第19页(2023年;Zbl 1523.11069) 全文: DOI程序
华国栋 涉及平方核函数的傅里叶系数移位卷积的高阶矩。 (英语) Zbl 1519.11022号 拉马努扬J。 60,第3号,585-596(2023). 审核人:Ahmet Tekcan(布尔萨) MSC公司:11楼 11楼30 11楼66 PDF格式BibTeX公司 XML格式引用 \textit{G.Hua},Ramanujan J.60,第3号,585--596(2023年;Zbl 1519.11022) 全文: DOI程序
傅军;李欢 具有自由切换序列的状态相关切换系统的动态优化。 (英语) Zbl 1507.93113号 自动化 148,文章ID 110747,12 p.(2023).MSC公司:93立方 49甲15 93年第35季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Fu}和\textit{H.Li},Automatica 148,文章ID 110747,第12页(2023;Zbl 1507.93113) 全文: DOI程序
山口,Masaomi;松田和川;克里斯蒂娜·大卫;王蒙 同步位:使用单向草图合成双向程序。 (英语) Zbl 07815089号 形式方法系统。设计。 61,编号2-3,198-247(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Yamaguchi}等人,《形式方法系统》。设计。61,编号2-3198-247(2022;Zbl 07815089) 全文: DOI程序 arXiv公司 OA许可证
圣地亚哥Jimenez Leudo;里卡多·桑费利斯 两层零和混合对策的最优性和渐近稳定性。 (英语) Zbl 07807738号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第30号论文,第2页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Jimenez Leudo}和\textit{R.Sanfelice},《第25届ACM混合系统国际会议论文集:计算和控制》,HSCC 2022,CPS-IoT周的一部分,意大利米兰和虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第30号论文,第2页(2022;Zbl 07807738) 全文: DOI程序
阿尼鲁德·普兰克;乔蒂莫·德斯穆赫;尼古拉伊迪斯、斯特凡诺斯 海报摘要:从时间逻辑的演示中学习。 (英语) Zbl 07807737号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第29号论文,第2页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Puranic}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第29号论文,第2页(2022;Zbl 07807737) 全文: DOI程序
莫纳尔·纳拉西姆哈默西;桑卡拉纳拉亚南,斯里拉姆 海报摘要:解码离散时间线性混合系统的输出序列。 (英语) Zbl 07807736号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第28号文件,第2页(2022)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Narasimhamurthy}和\textit{S.Sankaranarayanan},摘自:第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周的一部分,意大利米兰与虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。论文编号28,第2页(2022;Zbl 07807736) 全文: DOI程序
阿波法兹·拉瓦伊;路易吉·迪·利洛;玛格丽塔·阿泽伊;安德烈·塞西;埃米利奥·弗雷佐利 海报摘要:具有正式保证的自动车辆碰撞风险的数据驱动估计。 (英语) Zbl 07807735号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第27号论文,第2页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人,在:第25届ACM混合系统国际会议论文集:计算和控制,HSCC 2022,CPS物联网周的一部分,意大利米兰和虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第27号论文,第2页(2022;Zbl 07807735) 全文: DOI程序
阿南德·巴拉克里希南;斯特凡·雅克西奇;埃德加·阿吉拉尔;德扬·尼科维奇;乔蒂莫·德斯穆赫 海报摘要:符号自动机编码目标的无模型强化学习。 (英语) Zbl 07807734号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第26号论文,第2页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Balakrishnan}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周的一部分,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第26号论文,第2页(2022;Zbl 07807734) 全文: DOI程序
钟、冰卓;阿波法兹·拉瓦伊;马吉德·扎马尼;马可·卡卡莫 海报摘要:通过近似概率关系进行非线性随机游戏的控制器综合。 (英语) Zbl 07807733号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第25号论文,第2页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Zhong}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第25号论文,第2页(2022;Zbl 07807733) 全文: DOI程序
伯恩德·芬克贝纳;考希·马利克;路过,Noemi;马尔特·施莱德朱夫斯基;安妮·凯瑟琳·施穆克 BOCoSy:小型但功能强大的符号输出反馈控制。 (英语) Zbl 07807732号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第24号论文,第11页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人,in:第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周的一部分,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第24号论文,第11页(2022;Zbl 07807732) 全文: DOI程序
詹姆斯·费雷兹;海塔姆·凯德;亚瑟·舒克利 Fast BATLLNN:二级格型神经网络的快速盒分析。 (英语) Zbl 07807731号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第23号论文,第11页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.Ferlez}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。论文编号23,第11页(2022;Zbl 07807731) 全文: DOI程序 arXiv公司
亚瑟·克莱维尔;劳拉·阿尔蒂莉·桑巴托洛美;埃里克·阿塞林;克里斯托夫·加里昂;克莱尔·佩吉蒂 基于机器学习的网络物理系统的验证:一项比较研究。 (英语) Zbl 07807730号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第22号论文,第16页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Clavière}et al.,in:第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周的一部分,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第22号论文,16页(2022;Zbl 07807730) 全文: DOI程序 哈尔
亚当·索普;Meeko Oishi先生 SOCKS:使用核方法的随机最优控制和可达性工具箱。 (英语) Zbl 07807729号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第21号论文,第12页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Thorpe}和\textit{M.Oishi},in:第25届ACM混合系统国际会议论文集:计算和控制,HSCC 2022,CPS-IoT周的一部分,意大利米兰和虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第21号论文,第12页(2022;Zbl 07807729) 全文: DOI程序 arXiv公司
吉安尼斯·德尔姆帕尔塔基斯;加布里埃尔·德·阿尔伯克基·格莱泽;伊沃·范斯特拉伦;Manuel jun,马祖。 ETMetera:超出事件触发控制。 (英语) Zbl 07807728号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第20号论文,第11页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Delimpaltadakis}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周的一部分,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第20号论文,第11页(2022;Zbl 07807728) 全文: DOI程序 arXiv公司
亚历山大·韦伯;伊利赛·马科维奇克(Elisei Macoveiciuc);冈瑟·雷西格 ABS:一种用于空间效率符号合成的正式正确的软件工具。 (英语) Zbl 07807727号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第19号论文,第10页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Weber}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第19号论文,第10页(2022;Zbl 07807727) 全文: DOI程序
圣地亚哥Jimenez Leudo;里卡多·桑费利斯(Ricardo G.Sanfelice)。 两层零和混合对策最优性和渐近稳定性的充分条件。 (英语) Zbl 07807726号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第18号论文,第11页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Jimenez Leudo}和\textit{R.G.Sanfelice},《第25届ACM混合系统国际会议论文集:计算和控制》,HSCC 2022,CPS-IoT周的一部分,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第18号论文,第11页(2022;Zbl 07807726) 全文: DOI程序
胡萨姆·阿巴斯;理查德·佩弗莱 时序逻辑的多分辨率分析。 (英语) Zbl 07807725号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第17号论文,第10页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.Abbas}和\textit{R.Pelphrey},in:第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周的一部分,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第17号文件,第10页(2022;Zbl 07807725) 全文: DOI程序
德奥利维拉·奥利维拉,马特乌斯;奥尔加·特维雷蒂纳 死亡率和边到边的可达性在表面上是可以决定的。 (英语) Zbl 07807724号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第16号论文,第10页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.de Oliveira Oliveirea}和\textit{O.Tveretina},摘自:第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周的一部分,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第16号论文,第10页(2022;Zbl 07807724) 全文: DOI程序
穆罕默德·马盖内姆;阿德纳·索乌德;安东尼奥·洛里亚 分布式混合梯度算法及其在协作自适应估计中的应用。 (英语) Zbl 07807723号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第15号论文,第10页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Maghenem}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第15号论文,第10页(2022;Zbl 07807723) 全文: DOI程序 哈尔
弗吉尼亚州德鲍什;Della Rossa,马特奥;拉斐尔·荣格斯。 路径完备Lyapunov方法的模板依赖排序的充要条件。 (英语) Zbl 07807722号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第14号论文,第10页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{V.Debauche}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第14号论文,第10页(2022;Zbl 07807722) 全文: DOI程序 链接
乔治·阿赞;安托万·吉拉德;保罗·梅森;卢卡·格雷科 具有(ω)-正则切换序列的离散时间切换线性系统的稳定性。 (英语) Zbl 07807721号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第13号论文,第7页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Aazan}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。论文编号13,第7页(2022;Zbl 07807721) 全文: DOI程序 哈尔
阿南德,马哈地;毗湿奴·穆拉利;阿舒托什·特里维迪;马吉德·扎马尼 随机系统的k-感应势垒证明。 (英语) Zbl 07807720号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第12号论文,第11页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Anand}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第12号论文,第11页(2022;Zbl 07807720) 全文: DOI程序
盖·谢尔;萨德拉·萨德拉迪尼;俄罗斯·特德雷克;Kress-Gazit,哈达斯 具有信号时序逻辑规范的随机系统概率验证的椭圆切片采样。 (英语) Zbl 07807719号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第11号论文,第11页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Scher}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第11号论文,第11页(2022;Zbl 07807719) 全文: DOI程序 arXiv公司
林德曼,拉尔斯;阿莱娜·罗迪奥诺娃;乔治·帕帕斯 随机信号的时间鲁棒性。 (英语) Zbl 07807718号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第10号论文,第11页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Lindemann}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第10号论文,第11页(2022;Zbl 07807718) 全文: DOI程序 arXiv公司
毛元奇;白塞州阿基姆;皮埃尔·洛伊·卡洛什;亚历山大·查普托 用信号时序逻辑规范实现最优控制的逐次凸化。 (英语) Zbl 07807717号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第9号论文,第7页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mao}等人,《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第9号论文,第7页(2022;Zbl 07807717) 全文: DOI程序 链接
奎西·拉特利奇;内克米耶Ozay 使用双线性优化对未知线性系统进行正确构造的探索和开发。 (英语) Zbl 07807716号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第8号论文,第11页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{K.Rutledge}和\textit{N.Ozay},in:第25届ACM混合系统国际会议论文集:计算和控制,HSCC 2022,CPS-IoT周的一部分,意大利米兰和虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第8号论文,第11页(2022;Zbl 07807716) 全文: DOI程序
加布里埃尔·德·阿尔伯克基·格莱泽;库什拉伊·马德纳尼;Manuel jun,马祖。 一个更简单的替代方案:最小化过渡系统模交替模拟等效性。 (英语) 兹伯利07807715 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第7号论文,第11页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.de A.Gleizer}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周的一部分,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第7号论文,第11页(2022;Zbl 07807715) 全文: DOI程序 arXiv公司
莫纳尔·纳拉西姆哈默西;桑卡拉纳拉亚南,斯里拉姆 离散时间线性混合系统的输出序列解码。 (英语) Zbl 07807714号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第6号论文,第7页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Narasimhamurthy}和\textit{S.Sankaranarayanan},摘自:第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周的一部分,意大利米兰与虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第6号文件,第7页(2022;Zbl 07807714) 全文: DOI程序
巴西姆·戈尔贝尔;维纳亚克·帕布 单变量TPTL的线性时间监控。 (英语) Zbl 07807713号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第5号论文,第11页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Ghorbel}和\textit{V.Prabhu},in:第25届ACM混合系统国际会议论文集:计算和控制,HSCC 2022,CPS-IoT周的一部分,意大利米兰和虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第5号论文,第11页(2022;Zbl 07807713) 全文: DOI程序
利登·埃德兰,约翰;亚历山大·唐泽;克努特·奥凯森 使用集中伪造的多要求测试。 (英语) Zbl 07807712号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第4号论文,第11页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.Lidén Eddeland}等人,《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周的一部分,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第4号论文,第11页(2022;Zbl 07807712) 全文: DOI程序 链接
赵庆叶;陈欣;赵卓瑜;张一凡;唐恩毅;李宣东 使用神经网络验证神经网络控制系统。 (英语) Zbl 07807711号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第3号论文,第11页(2022年)。MSC公司:60年第68季度 68T05型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Q.Zhao}等人,《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第3号论文,第11页(2022;Zbl 07807711) 全文: DOI程序
Tan,Yong Kiam先生;斯特凡·米奇;安德烈·普拉泽 用逻辑验证切换系统的稳定性。 (英语) Zbl 07807710号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第2号论文,第11页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Y.K.Tan}等人,《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第2号论文,第11页(2022;Zbl 07807710) 全文: DOI程序 arXiv公司
阿文德·阿迪穆兰;因德拉尼尔·萨哈 在可达性分析中使用并的交集最小化多向线性化误差。 (英语) Zbl 07807709号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第1号论文,第11页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Adimoolam}和\textit{I.Saha},in:第25届ACM混合系统国际会议论文集:计算和控制,HSCC 2022,CPS-IoT周的一部分,意大利米兰和虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第1号论文,第11页(2022;Zbl 07807709) 全文: DOI程序
兰吉特·贾拉 嵌入式领域特定验证器。 (英语) Zbl 1528.68227号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 535-553 (2022).MSC公司:60年第68季度 68甲18 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Jhala},莱克特。注释计算。科学。13660、535--553(2022年;Zbl 1528.68227) 全文: DOI程序
帕特里克·库索 混合轨迹语义之间的异步对应。 (英语) Zbl 1528.68180号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 131-159 (2022).MSC公司:65年第68季度 68问题55 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot},莱克特。注释计算。科学。13660、131--159(2022年;Zbl 1528.68180) 全文: DOI程序 arXiv公司
Maycon J.J.阿玛罗。;塞缪尔·费托萨。;罗德里戈·里贝罗。 将一般递归编译为有限深度模式匹配的合理策略。 (英语) Zbl 1528.68050号 利马,卢卡斯(编辑)等人,《形式方法:基础和应用》。第25届巴西研讨会,SBMF 2022,虚拟活动,2022年12月6日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13768, 39-54 (2022).MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.J.J.Amaro}等人,Lect。注释计算。科学。13768,39-54(2022;Zbl 1528.68050) 全文: DOI程序
孙权;张伟;王超;刘志明 Simulink的基于契约的语义和细化。 (英语) Zbl 1528.68236号 董伟(编辑)等,可靠软件工程。理论、工具和应用。第八届国际研讨会,SETTA 2022,中国北京,2022年10月27日至29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13649, 134-148 (2022).MSC公司:60年第68季度 68问题55 93-10 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Q.Sun}等人,Lect。注释计算。科学。13649、134--148(2022年;Zbl 1528.68236) 全文: DOI程序
米里亚姆·加西亚·索托;托马斯·亨辛格(Thomas A.Henzinger)。;克里斯蒂安·席林 从时间序列合成参数混合自动机。 (英语) Zbl 1522.68318号 Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,ATVA 2022,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13505, 337-353 (2022).MSC公司:60年第68季度 65年第68季度 93亿B50 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.García Soto}等人,Lect。注释计算。科学。13505337--353(2022年;Zbl 1522.68318) 全文: DOI程序 arXiv公司
朱利叶斯·阿德尔特;丹尼尔·布雷特施奈德;保拉·赫伯 混合系统中强化学习安全集成的可重用契约。 (英语) Zbl 1522.68292号 Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,ATVA 2022,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13505, 58-74 (2022).MSC公司:60年第68季度 68T05型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.Adelt}等人,Lect。注释计算。科学。13505,58-74(2022;Zbl 1522.68292) 全文: DOI程序
恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克 自动机理论强化学习是不可能的结果。 (英语) Zbl 1522.68269号 Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,ATVA 2022,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13505, 42-57 (2022).MSC公司:65年第68季度 68问题32 68T05型 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人,Lect。注释计算。科学。13505,42-57(2022;Zbl 1522.68269) 全文: DOI程序 链接
Masaki和加;埃泽奎尔·卡斯特拉诺;萨西内·普鲁克普拉塞特;斯特凡·克里科维茨;Toru Takisaka公司;一郎·哈索 动态屏蔽,用于黑盒环境中的强化学习。 (英语) Zbl 1522.68351号 Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,ATVA 2022,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13505, 25-41 (2022).MSC公司:60年第68季度 68问题32 65年第68季度 68T05型 90立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Waga}等人,Lect。注释计算。科学。13505,25-41(2022;Zbl 1522.68351) 全文: DOI程序 arXiv公司
华国栋 关于尖点形状系数在两个平方和上的高阶矩。 (英语) Zbl 07655785号 捷克的。数学。J。 72,第4期,1089-1104(2022).MSC公司:11楼 11楼30 11楼66 PDF格式BibTeX公司 XML格式引用 \textit{G.Hua},捷克语。数学。J.72,第4号,1089--1104(2022;Zbl 07655785) 全文: DOI程序
华国栋 正整数稀疏序列上Hecke特征值的平均行为。 (英语) Zbl 1497.11101号 Res.数论 8,第4号,第95号论文,20页(2022年).MSC公司:11楼 11楼30 11楼66 PDF格式BibTeX公司 XML格式引用 \textit{G.Hua},《数论研究》8,第4期,第95号论文,20页(2022年;Zbl 1497.11101) 全文: DOI程序
维克托·科兹亚金 提供矩阵乘积最大增长率的非随机矩阵序列。 (英语) Zbl 1498.93299号 自动化 145,文章ID 110574,10 p.(2022).MSC公司:93二氧化碳 93立方 93年2月25日 第15页第99页 PDF格式BibTeX公司 XML格式引用 \textit{V.Kozyakin},Automatica 145,文章ID 110574,10 p.(2022;Zbl 1498.93299) 全文: DOI程序 arXiv公司
Hoai An Le Thi;Van Ngai Huynh;Dinh,Tao Pham先生;Hoang Phuc Hau Luu 非凸规划凸函数算法的随机差分。 (英语) Zbl 1501.90074号 SIAM J.Optim公司。 32,第3号,2263-2293(2022).MSC公司:90C26型 90摄氏52度 90立方厘米 4.95亿 46N10号 PDF格式BibTeX公司 XML格式引用 \textit{H.A.Le Thi}等人,SIAM J.Optim。32,第3号,2263--2293(2022;Zbl 1501.90074) 全文: DOI程序
雅敏阿伊特阿默尔;塞尔吉·博戈莫洛夫;纪尧姆·杜邦;尼拉杰·库马尔·辛格;保利乌斯·斯坦凯蒂斯 混合Event-B模型的可达性分析和模拟。 (英语) Zbl 1502.68175号 ter Beek,Maurice H.(编辑)等,《综合形式方法》。2022年6月7日至10日,第17届国际会议,IFM 2022,瑞士卢加诺。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13274, 109-128 (2022).MSC公司:60年第68季度 93立方 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Aít-Ameur}等人,Lect。注释计算。科学。13274,109-128(2022;Zbl 1502.68175) 全文: DOI程序
第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。 (英语) Zbl 1492.68007号 纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-9196-2)。xii,30篇文章,未连续页码(2022年)。MSC公司:68-06 93-06 65年第68季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)(2022;Zbl 1492.68007) 全文: DOI程序
Michikazu Hirata;Minamide、Yasuhiko;佐藤,铁杉 Isabelle/HOL中高阶概率程序的程序逻辑。 (英语) 兹伯利07570114 Hanus,Michael(编辑)等人,《函数和逻辑编程》。第16届国际研讨会,FLOPS 2022,日本京都,2022年5月10日至12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13215, 57-74 (2022).MSC公司:68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Hirata}等人,Lect。注释计算。科学。13215,57-74(2022;Zbl 07570114) 全文: DOI程序
弗雷登·沙希迪;威廉·索库尔斯基 关于约化幺半群的分解和γ因子的乘法性。 (英语) Zbl 1503.11084号 J.数论 240, 404-438 (2022). 审核人:Yuval Z.Flicker(耶路撒冷) MSC公司:11楼70 11楼66 14E15号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Shahidi}和\textit{W.Sokurski},J.数论240,404--438(2022;Zbl 1503.11084) 全文: DOI程序 arXiv公司
瑞安·卡瓦纳 会话类型语言的公平性和基于通信的语义。 (英语) Zbl 1504.68030号 Inf.计算。 285,B部分,文章ID 104892,77 p.(2022).MSC公司:68甲15 68甲18 68甲19 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kavanagh},信息计算。285,B部分,文章ID 104892,77页(2022;Zbl 1504.68030) 全文: DOI程序 arXiv公司
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;朱莉娅·萨皮娜 重温了有序等式推广算法。 (英语) Zbl 07517439号 安。数学。Artif公司。智力。 90,第5期,499-522(2022).MSC公司:68N17号 68甲18 2012年第68季度 60年第68季度 68T20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《数学年鉴》。Artif公司。智力。90,编号5,499-522(2022;兹bl 07517439) 全文: DOI程序 链接
陈海波;高欣 数学和软件验证。 (英语) 兹比尔1497.68110 廖恒(编辑)等,《未来计算与通信数学》。剑桥:剑桥大学出版社。54-73 (2022). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68号30 03B70号 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Chen}和\textit{X.Gao},in:未来计算和通信的数学。剑桥:剑桥大学出版社。54-73(2022年;Zbl 1497.68110) 全文: DOI程序 链接
汉娜·贡默施塔特;贾利民;弗兰克·芬宁 会话类型的并发合同。 (英语) Zbl 1487.68165号 J.日志。阿尔盖布。方法计划。 124,文章ID 100731,24 p.(2022). 审核人:安蒂·瓦尔马里(Jyväskylä) MSC公司:68问题85 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Gommerstadt}等人,J.Log。阿尔盖布。方法计划。124,文章ID 100731,24 p.(2022;Zbl 1487.68165) 全文: DOI程序 链接
弗兰克·杰姆;阿迪蒂亚·祖奇;乌富克托普库 飞行中未知系统的数据驱动可达性分析和控制:F-16飞机案例研究。 (英语) Zbl 07807708号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第35号论文,第2页(2021年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{F.Djeumou}等人,in:第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。第35号论文,第2页(2021;Zbl 07807708) 全文: DOI程序
阿内尔·坦瓦尼 通过随机通信的网络进行过滤。 (英语) Zbl 07807707号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第34号论文,第2页(2021年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Tanwani},in:第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。第34号论文,第2页(2021;Zbl 07807707) 全文: DOI程序 哈尔
马哈茂德·哈立德;马吉德·扎马尼 OmegaThreads:常规目标的符号控制器设计。 (英语) Zbl 07807706号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第33号论文,第2页(2021年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Khaled}和\textit{M.Zamani},in:第24届ACM混合系统国际会议论文集:计算和控制,HSCC 2021,CPS-IoT周的一部分,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。论文编号33,2页(2021;Zbl 07807706) 全文: DOI程序
纳亚克、萨蒂亚·普拉卡什;丹尼尔·奈德;马丁·齐默尔曼 rLTL游戏的自适应策略。 (英语) Zbl 07807705号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第32号论文,第2页(2021年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Nayak}et al.,in:第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。第32号论文,第2页(2021;Zbl 07807705) 全文: DOI程序
格罗·曼(Gerrit Großmann);迈克尔·巴肯克勒;维雷娜·沃尔夫 流行病的过度传播加强了流动限制的有效性。 (英语) Zbl 07807704号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第31号论文,第2页(2021年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Großmann}等人,in:《第24届ACM混合系统国际会议论文集:计算与控制》,HSCC 2021,CPS-IoT周的一部分,美国田纳西州纳什维尔,2021年5月19日至21日。纽约州纽约市:计算机协会(ACM)。第31号论文,第2页(2021;Zbl 07807704) 全文: DOI程序
项伟明 用神经网络设计动态系统的区间观测器。 (英语) Zbl 07807703号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第30号论文,第2页(2021年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{W.Xiang},in:第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。第30号论文,第2页(2021;Zbl 07807703) 全文: DOI程序
阿波法兹·拉瓦伊;阿梅内·内贾蒂;普什巴克·贾格塔普;马吉德·扎马尼 未知连续时间系统的正式安全验证:数据驱动方法。 (英语) Zbl 07807702号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第29号论文,第2页(2021年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人,in:第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。第29号论文,第2页(2021;Zbl 07807702) 全文: DOI程序
阿波法兹·拉瓦伊;阿梅内·内贾蒂;苏德贾尼,萨代格;马吉德·扎马尼 估计具有形式误差界的随机系统的无穷小生成器:一种数据驱动方法。 (英语) Zbl 07807701号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第28号论文,第2页(2021年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人,in:第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。论文编号28,第2页(2021;Zbl 07807701) 全文: DOI程序
尼古拉·贝尔尼尼;米哈伊尔·贝萨;雷米·德尔马;金,亚瑟;埃里克·古堡;罗曼·佩内克;Sylvie推杆;弗朗索瓦·西利翁 四翼机姿态控制强化学习中的几点经验教训。 (英语) Zbl 07807700号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第27号论文,第11页(2021年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Bernini}等人,in:《第24届ACM混合系统国际会议论文集:计算与控制》,HSCC 2021,CPS-IoT周,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。第27号论文,第11页(2021;Zbl 07807700) 全文: DOI程序 哈尔