韩洁群;胡瑞萌;龙,吉浩 学习具有一般分布依赖性的高维McKean-Vlasov前向倒向随机微分方程。 (英语) Zbl 07794520号 SIAM J.数字。分析。 62,第1号,1-24(2024).MSC公司:60时35分 68T07型 65M99型 93E20型 49纳米80 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Han}等人,SIAM J.Numer。分析。62,编号1,1-24(2024;Zbl 07794520) 全文: 内政部 arXiv公司
贝克赞·克里姆库洛夫;戴维·西什卡;斯普鲁奇,乌卡斯;张宇飞 具有测量值控制的随机控制问题的镜像下降。 arXiv公司:2401.01198 预印本,arXiv:2401.01198[math.OC](2024)。MSC公司:93E20型 4.95亿 65年第68季度 60华氏30 BibTeX公司 引用 \textit{B.Kerimkulov}等人,“测量值控制随机控制问题的镜像下降”,预打印,arXiv:2401.01198[math.OC](2024) 全文: arXiv公司 OA许可证
普布利奥·M·利马。;Lilian K·卡瓦略。;马科斯·莫雷拉五世。 使用基于事件的加密技术确保网络物理系统的机密性。 (英语) Zbl 07834465号 信息科学。 621, 119-135 (2023).MSC公司:93元65角 93磅70 65年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{P.M.Lima}等人,《信息科学》。62119--135(2023;Zbl 07834465) 全文: 内政部
桑德·瑟斯曼;米歇尔·雷尼尔斯 更正为:“演化系统的转型主管综合”。 (英语) Zbl 07823708号 离散事件动态。系统。 33,第4号,509-513(2023).MSC公司:93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Thuijsman}和\textit{M.Reniers},离散事件动态。系统。33,编号4,509--513(2023;Zbl 07823708) 全文: 内政部 OA许可证
阿尔伯特·本文尼斯特;让-巴蒂斯特·拉克勒 混合非确定性概率自动机:将图形概率模型与非确定性混合。 (英语) Zbl 07823706号 离散事件动态。系统。 第455-505号第33页(2023年).MSC公司:93元65角 93E03型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Benveniste}和\textit{J.-B.Raclet},离散事件动态。系统。33,编号4,455--505(2023;Zbl 07823706) 全文: 内政部 arXiv公司
阿萨夫·卡塞尔;谢·曼诺;阿萨夫·泽维 超越累积目标的强盗问题总体框架。 (英语) Zbl 07811858号 数学。操作。物件。 第4期第48期第2196-2232页(2023年).MSC公司:第68季度32 93E35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cassel}等人,数学。操作。第48号决议,第4号,2196--2232(2023年;Zbl 07811858) 全文: 内政部 arXiv公司
坦马·坎代特;阿尼鲁德·钱德拉特;瓦尔斯坦·巴普蒂斯塔;朱利亚·佩德里利;乔治·费内科斯 演示摘要:在微软飞行模拟器上通过伪造分析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) 全文: 内政部
阿什瓦尼·阿南德;纳亚克、萨蒂亚·普拉卡什;施穆克,安妮·凯瑟琳 海报摘要:战略调整的许可性。 (英语) 兹伯利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) 全文: 内政部
鲁帕克·马朱姆达尔;考希·马利克;马特乌斯·里奇里基;施穆克,安妮·凯瑟琳;萨代赫·苏贾尼 海报摘要:用于加速符号控制的工具链。 (英语) 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) 全文: 内政部
卢卡斯·内维斯·埃吉迪奥;纳亚克、萨蒂亚·普拉卡什;罗萨、马蒂奥·德拉;施穆克,安妮·凯瑟琳;拉斐尔·荣格斯 海报摘要:迈向混合控制的无缝反应。 (英语) 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物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)。第27号论文,第2页(2023;Zbl 07807968) 全文: 内政部
安德烈亚·佩鲁福;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) 全文: 内政部
何其恒;罗兰·伊利斯;桑伯格,扎卡里;莫特萨·拉希贾尼安 海报摘要:基于采样的方法,用于不确定复杂系统的鲁棒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) 全文: 内政部
鲁亚·卡拉古勒;尼科斯·阿雷奇加;最好的,安德鲁;乔纳森·迪卡斯特罗;内克米耶·奥扎伊 海报摘要:自动驾驶汽车的安全保障偏好学习方法。 (英语) 兹伯利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) 全文: 内政部
拉兹,达芙娜;杨利仁;布赖恩·乌姆伯格;内克米耶·奥扎伊 海报摘要:坐姿到站姿期间人体稳定性的可达性和受控不变性。 (英语) 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) 全文: 内政部
奥利弗·舍恩;Van Huijgevoort,Birgit公司;苏菲·海瑟特;萨代赫·苏贾尼 海报摘要:参数随机系统的设计控制驱动数据的正确性。 (英语) 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) 全文: 内政部 链接
达斯,斯潘丹;帕维特拉·普拉巴卡 海报摘要:平面概率分段常微分系统的稳定性分析。 (英语) 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) 全文: 内政部
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}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第20号论文,第12页(2023;Zbl 07807961) 全文: 内政部
瓦尔·法塔斯西;海塔姆·凯德;瓦伦·山本;亚瑟·舒克利 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) 全文: 内政部 arXiv公司
托拜厄斯·拉德纳;马蒂亚斯·阿尔霍夫 使用灵敏度分析的神经网络验证中的自动抽象细化。 (英语) Zbl 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) 全文: 内政部 链接
罗、二台;尼古拉斯·科奇杜普尔;斯坦利·巴克 利用多项式分区图对具有不确定参数的线性系统进行可达性分析。 (英语) 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) 全文: 内政部
巴博特、贝诺特;尼古拉斯·巴塞特;亚历山大·顿泽 Wordgen:一个定时单词生成工具。 (英语) 兹伯利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) 全文: 内政部 哈尔
阿尼鲁德·钱德拉特;托马斯·埃尔南德斯·阿科斯塔;坦马·坎代特;朱利亚·佩德里利;乔治·费内科斯 秘密攻击形式化为伪造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) 全文: 内政部
阿克谢·马姆巴卡姆;尤金·亚萨林;尼古拉斯·巴塞特;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) 全文: 内政部 哈尔
Van Huijgevoort,Birgit公司;奥利弗·舍恩;萨代赫·苏贾尼;苏菲·海瑟特 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) 全文: 内政部 arXiv公司
吉安尼斯·德尔姆帕尔塔基斯;莫特萨·拉希贾尼安;Manuel jun,马祖。;卢卡·劳伦蒂 具有连续动作空间的区间马尔可夫决策过程。 (英语) Zbl 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}等人,在:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)。第12号论文,第10页(2023;Zbl 07807953) 全文: 内政部 arXiv公司
伊本·格拉西亚;迪米特里斯·博斯科斯;卢卡·劳伦蒂;Manuel jun,马祖。 切换随机系统的分布鲁棒策略综合。 (英语) 兹伯利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) 全文: 内政部 arXiv公司
阿曼·费尔多西;马蒂亚斯·福格尔;托马斯·诺瓦克;乌尔里希·施密德 阈值模式开关ODE和数字电路延迟模型的连续性。 (英语) Zbl 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) 全文: 内政部 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) 全文: 内政部
弗吉尼亚州德鲍什;Della Rossa,马特奥;拉斐尔·荣格斯 具有附加封闭模板的路径完全稳定性证书排序的特征。 (英语) 兹伯利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) 全文: 内政部
阿文德·阿迪穆兰;因德拉尼尔·萨哈;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) 全文: 内政部 哈尔
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}等人,在:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)。第6号论文,第13页(2023;Zbl 07807947) 全文: 内政部
马克·韦兹林格;尼古拉斯·科奇杜普尔;斯坦利·巴克;马蒂亚斯·阿尔霍夫 使用支持函数的可达性分析对线性系统进行全自动验证。 (英语) 兹伯利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) 全文: 内政部 链接
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) 全文: 内政部
古斯塔沃·卡多纳。;迪沙·卡梅尔;瓦西里,克里斯蒂安·伊安 加权信号时序逻辑控制综合的混合整数线性规划方法。 (英语) 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}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第3号文件,第12页(2023;Zbl 07807944) 全文: 内政部
陈洪凯;斯科特·斯莫尔卡。;尼古拉·保莱蒂;林,珊 基于STL的网络物理系统弹性控制方法。 (英语) Zbl 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}等人,《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第2号论文,第12页(2023;Zbl 07807943) 全文: 内政部 arXiv公司
弗朗西丝卡·凯罗利;尼古拉·保莱蒂;卢卡·博托卢西 随机过程STL需求的保形定量预测监测。 (英语) 兹伯利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) 全文: 内政部 arXiv公司
奥芬,克里斯蒂安;Ober-Blöbaum,新浪 从数据和行波检测中学习变分偏微分方程的离散拉格朗日。 (英语) Zbl 07789234号 尼尔森,弗兰克(编辑)等人,《信息几何科学》。第六届国际会议,GSI 2023,法国圣马洛,2023年8月30日至9月1日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。14071569-579(2023年)。MSC公司:65立方米 68T07型 第68季度32 93B30型 35甲15 65岁15岁 2015财年65 35C07型 35B65毫米 PDF格式BibTeX公司 XML格式引用 \textit{C.Offen}和\textit{S.Ober-Blöbaum},莱克特。注释计算。科学。14071、569--579(2023;Zbl 07789234) 全文: 内政部 arXiv公司
克里斯托夫·赖辛格;沃尔夫冈·斯托金格;张宇飞 一些有限时域连续时间控制问题的策略梯度方法的线性收敛性。 (英语) Zbl 07782638号 SIAM J.控制优化。 61,第6号,3526-3558(2023).MSC公司:65年第68季度 93E20型 4.95亿 PDF格式BibTeX公司 XML格式引用 \textit{C.Reisinger}等人,SIAM J.控制优化。61,编号6,3526--3558(2023;Zbl 07782638) 全文: 内政部 arXiv公司
帕斯奎尔·安东尼特;Heath G.尼尔森。;卢卡·卡隆 感知系统的监测:确定性、概率性和基于学习的故障检测和识别。 (英语) Zbl 1530.93308号 Artif公司。智力。 325,文章ID 103998,35 p.(2023).MSC公司:93C85号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Antonante}等人,Artif。智力。325,文章ID 103998,35 p.(2023;Zbl 1530.93308) 全文: 内政部 arXiv公司
黄幼仪;魏璐 费米子高斯态的熵涨落公式。 (英语) Zbl 07761145号 安·亨利·彭卡 24,第12期,4283-4342(2023).MSC公司:第81页,共17页 81页40页 70F05型 81V74型 60G15年 70年第35季度 第68季度01 93年11月 65B10型 33二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{Y.Huang}和\textit{L.Wei},Ann.Henri Poincaré24,No.12,4283--4342(2023;Zbl 07761145) 全文: 内政部 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立方 00时25分 PDF格式BibTeX公司 XML格式引用 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)(2023;Zbl 1530.68008) 全文: 内政部
悉尼·M·卡茨。;凯尔·D·朱利安。;克里斯托弗·斯特朗。;Mykel J.Kochenderfer。 为神经网络控制器生成概率安全保证。 (英语) Zbl 1518.68211号 马赫。学习。 112,第8期,2903-2931(2023).MSC公司:60年第68季度 68T05型 93C40型 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Katz}等人,马赫。学习。112,第8号,2903--2931(2023;Zbl 1518.68211) 全文: 内政部 arXiv公司
迪克尔,Fırat 量子上下文与延迟选择方法非常一致。 (英语) Zbl 1529.81013号 国际J.Theor。物理学。 62,第6号,第116号论文,第7页(2023年).MSC公司:81第05页 第81页,共13页 93立方厘米 第81页,共15页 2006年第68季度 81页65 PDF格式BibTeX公司 XML格式引用 \textit{F.Diker},国际期刊Theor。物理学。62,第6号,第116号论文,第7页(2023年;Zbl 1529.81013) 全文: 内政部
阿里吉特·曼达尔;Shreya Banerjee;普拉桑塔·帕尼格拉希。 基于相位的量子图像混合表示。 (英语) Zbl 1529.81046号 国际J.Theor。物理学。 62,第6号,第115号论文,16页(2023年).MSC公司:81页68 93立方 35J10型 81页65 54华氏30 04年第68季度 68单位03 81-10 PDF格式BibTeX公司 XML格式引用 \textit{A.Mandal}等人,国际期刊Theor。物理学。62,第6号,第115号论文,16页(2023年;Zbl 1529.81046) 全文: 内政部
周元元;张,钱;郝永乐;赵慧涛;周崇云 通过基于李代数的变换在超导量子比特之间高效地产生纠缠态。 (英语) Zbl 1528.81099号 国际J.Theor。物理学。 62,第5期,第97号论文,第14页(2023年).MSC公司:81页68 54甲15 82D55型 81V80型 76B10型 81V10型 2006年第68季度 93C80号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhou}等人,国际期刊Theor。物理学。62,第5期,第97号论文,第14页(2023年;Zbl 1528.81099) 全文: 内政部
迪米特里·列斐伏尔;李志武;梁,叶 通过状态隔离对离散事件系统的定时模式进行诊断。 (英语) Zbl 1520.93313号 Automatica公司 153,文章ID 111045,13 p.(2023).MSC公司:93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Lefebvre}等人,Automatica 153,文章ID 111045,13 p.(2023;Zbl 1520.93313) 全文: 内政部
高井,Shigemasa 具有确定性规范的部分可观测不确定离散事件系统双相似控制的多项式时间验证。 (英语) Zbl 1519.93148号 Automatica公司 152,文章ID 110940,5 p.(2023).MSC公司:93元65角 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Takai},Automatica 152,文章ID 110940,5 p.(2023;Zbl 1519.93148) 全文: 内政部
尤里·伦斯基。;克斯特安提·凯切齐;伊戈尔·阿莱纳;金恩啊 量子比特稳定码中移动非阿贝尔任意子的图规范理论。 (英语) Zbl 1522.81058号 安·物理。 452,文章ID 169286,19 p.(2023).MSC公司:81页68 2012年第68季度 70S15型 第81季度35 93D21号 第81页第45页 14日第15天 81V27型 81页40页 81V74型 82B20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.D.Lensky}等人,《Ann.Phys.》。452,文章ID 169286,19 p.(2023;Zbl 1522.81058) 全文: 内政部 arXiv公司
李天骄;兰,光辉;阿什温·帕南贾迪 线性函数近似下的加速和实例最优策略评估。 (英语) Zbl 07669892号 SIAM J.数学。数据科学。 第5期,第1期,174-200(2023).MSC公司:62M20型 65年第68季度 90立方厘米 90C60型 93E10型 PDF格式BibTeX公司 XML格式引用 \textit{T.Li}等人,SIAM J.数学。数据科学。5,编号1,174--200(2023;Zbl 07669892) 全文: 内政部 arXiv公司
钟冰卓;阿波法兹·拉瓦伊;马吉德·扎马尼;马可·卡卡莫 随机系统基于自动机的控制器综合:基于近似概率关系的博弈框架。 (英语) Zbl 1505.93257号 Automatica公司 147,文章ID 110696,16 p.(2023).MSC公司:93E03型 93C55 93亿B50 65年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{B.Zhong}等人,Automatica 147,文章ID 110696,16 p.(2023;Zbl 1505.93257) 全文: 内政部 arXiv公司
张俊鹏;朱悦;穆碧强;钟仁新;陈天石 时空高斯过程回归的有效实现及其应用。 (英语) Zbl 1505.93269号 Automatica公司 147,文章ID 110679,14 p.(2023).MSC公司:93E11号机组 第60页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}等人,Automatica 147,文章ID 110679,14 p.(2023;Zbl 1505.93269) 全文: 内政部 arXiv公司
埃亚尔·诺伊曼;张宇飞 传播子模型的次线性回归统计学习。 arXiv公司:2301.05157 预印本,arXiv:2301.05157[q-fin.TR](2023)。MSC公司:62升05 60华氏30 91克80 第68季度32 93C73号 93E35型 62G08号 BibTeX公司 引用 \textit{E.Neuman}和\textit{Y.Zhang},“传播者模型的次线性后悔统计学习”,预印本,arXiv:2301.05157[q-fin.TR](2023) 全文: 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) 全文: 内政部
阿尼鲁德·普兰克;乔蒂莫·德斯穆赫;尼古拉伊迪斯、斯特凡诺斯 海报摘要:从时序逻辑的演示中学习。 (英语) 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) 全文: 内政部
莫纳尔·纳拉西姆哈默西;桑卡拉纳拉亚南,斯里拉姆 海报摘要:解码离散时间线性混合系统的输出序列。 (英语) 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) 全文: 内政部
阿波法兹·拉瓦伊;路易吉·迪·利洛;玛格丽塔·阿泽伊;安德烈·塞西;埃米利奥·弗拉佐利 海报摘要:具有正式保证的自动车辆碰撞风险的数据驱动估计。 (英语) 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) 全文: 内政部
阿南德·巴拉克利什南;斯特凡·雅克西奇;埃德加·阿吉拉尔;德扬·尼科维奇;乔蒂莫·德斯穆赫 海报摘要:符号自动机编码目标的无模型强化学习。 (英语) 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) 全文: 内政部
钟冰卓;阿波法兹·拉瓦伊;马吉德·扎马尼;马可·卡卡莫 海报摘要:通过近似概率关系进行非线性随机游戏的控制器综合。 (英语) 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) 全文: 内政部
伯恩德·芬克贝纳;考希·马利克;诺埃米,传球;马尔特·施莱德朱夫斯基;施穆克,安妮·凯瑟琳 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) 全文: 内政部
詹姆斯·费雷兹;海塔姆·凯德;亚瑟·舒克利 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) 全文: 内政部 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) 全文: 内政部 哈尔
亚当·索普;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) 全文: 内政部 arXiv公司
吉安尼斯·德尔姆帕尔塔基斯;加布里埃尔·德·阿尔伯克基·格莱泽;伊沃·范斯特拉伦;Manuel jun,马祖。 ETMetera:超出事件触发控制。 (英语) 兹伯利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) 全文: 内政部 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) 全文: 内政部
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) 全文: 内政部
胡萨姆·阿巴斯;理查德·佩弗莱 时序逻辑的多分辨率分析。 (英语) 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) 全文: 内政部
德奥利维拉·奥利维拉,马特乌斯;奥尔加·特维雷蒂纳 死亡率和边到边的可达性在表面上是可以决定的。 (英语) 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) 全文: 内政部
穆罕默德·马盖内姆;阿德纳·索乌德;安东尼奥·洛里亚 分布式混合梯度算法及其在协作自适应估计中的应用。 (英语) 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) 全文: 内政部 哈尔
弗吉尼亚州德鲍什;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) 全文: 内政部 链接
乔治·阿赞;安托万·吉拉德;保罗·梅森;卢卡·格雷科 具有\(\omega\)-正则切换序列的离散时间切换线性系统的稳定性。 (英语) 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) 全文: 内政部 哈尔
马哈提·阿南德;毗湿奴·穆拉利;阿舒托什·特里维迪;马吉德·扎马尼 随机系统的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) 全文: 内政部
盖·谢尔;萨德拉·萨德拉迪尼;俄罗斯·特德雷克;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) 全文: 内政部 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) 全文: 内政部 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) 全文: 内政部 链接
奎西·拉特利奇;内克米耶·奥扎伊 使用双线性优化对未知线性系统进行正确构造的探索和开发。 (英语) 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) 全文: 内政部
加布里埃尔·德·阿尔伯克基·格莱泽;库什拉伊·马德纳尼;Manuel jun,马祖。 一个更简单的替代方案:最小化过渡系统模交替模拟等效性。 (英语) Zbl 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) 全文: 内政部 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) 全文: 内政部
巴西姆·戈尔贝尔;维纳亚克·帕布 单变量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) 全文: 内政部
约翰·利登·埃德兰德;亚历山大·唐泽;克努特·奥凯森 使用集中伪造的多要求测试。 (英语) 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) 全文: 内政部 链接
赵庆叶;陈欣;赵卓瑜;张一凡;唐恩毅;李宣东 使用神经网络验证神经网络控制系统。 (英语) 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) 全文: 内政部
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) 全文: 内政部 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) 全文: 内政部
帕特里克·库索特 混合轨迹语义之间的异步对应。 (英语) 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) 全文: 内政部 arXiv公司
马吕斯·博兹加;约瑟夫·西法基斯 自动驾驶系统的规范和验证:多级语义框架。 (英语) Zbl 1528.68211号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 85-106 (2022).MSC公司:60年第68季度 03B70号 68问题55 68兰特 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozga}和\textit{J.Sifakis},莱克特。注释计算。科学。13660,85-106(2022;Zbl 1528.68211) 全文: 内政部 arXiv公司 哈尔
多哥卡里莫夫;Edon Kelmendi;约尔·瓦克宁;詹姆斯·沃雷尔 离散线性动力系统的决定因素是什么? (英语) Zbl 1528.68228号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 21-38 (2022).MSC公司:60年第68季度 03B25号 11层37 37B10号机组 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{T.Karimov}等人,Lect。注释计算。科学。13660,21-38(2022;Zbl 1528.68228) 全文: 内政部 arXiv公司
阿尔伯特·本文尼斯特;贝诺·凯劳德;马蒂亚斯·马兰丹 从混合自动机到基于DAE的建模。 (英语) Zbl 1528.68174号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 3-20 (2022).MSC公司:65年第68季度 03时10分 34A09号 93-10 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Benveniste}等人,Lect。注释计算。科学。13660,3--20(2022;Zbl 1528.68174) 全文: 内政部 哈尔
孙权;张伟;王超;刘志明 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。注释计算。科学。13649134-148(2022年;兹比尔1528.68236) 全文: 内政部
M.穆尼。;蒂利奥瓦,M。 微磁学模型的神经网络近似。 (英语) Zbl 1524.78009号 非线性动力学。系统。理论 22,编号4,432-446(2022).MSC公司:78A25型 60年第35季度 35B40码 93-10 第68季度32 68T05型 68T09号 82D40型 35A20型 49米41 68T07型 35卢比 PDF格式BibTeX公司 XML格式引用 \textit{M.Moumni}和\textit{M.Tilioua},非线性动力学。系统。理论22,No.4,432--446(2022;Zbl 1524.78009) 全文: 链接
米里亚姆·加西亚·索托;托马斯·亨辛格(Thomas A.Henzinger)。;克里斯蒂安·席林 从时间序列合成参数混合自动机。 (英语) Zbl 1522.68318号 Bouajjani,Ahmed(编辑)等人,用于验证和分析的自动化技术。第20届国际研讨会,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) 全文: 内政部 arXiv公司
阿南德·约勒卡尔;梅塔,拉文德拉;克拉拉·霍布斯;查克拉博蒂,萨马尔吉特 检查计划导致的违反控制安全属性的情况。 (英语) Zbl 1522.68352号 Bouajjani,Ahmed(编辑)等人,用于验证和分析的自动化技术。第20届国际研讨会,2022年亚洲电视协会,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13505, 100-116 (2022).MSC公司:60年第68季度 68平方米 93C55 PDF格式BibTeX公司 XML格式引用 \textit{A.Yeolekar}等人,Lect。注释计算。科学。13505,100-116(2022;Zbl 1522.68352) 全文: 内政部
朱利叶斯·阿德尔特;丹尼尔·布雷特施奈德;保拉·赫伯 混合系统中强化学习安全集成的可重用契约。 (英语) Zbl 1522.68292号 Bouajjani,Ahmed(编辑)等人,用于验证和分析的自动化技术。第20届国际研讨会,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年;兹比尔1522.68292) 全文: 内政部
恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克 不可能导致自动机理论强化学习。 (英语) Zbl 1522.68269号 Bouajjani,Ahmed(编辑)等人,用于验证和分析的自动化技术。第20届国际研讨会,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) 全文: 内政部 链接
Masaki Waga;埃泽奎尔·卡斯特拉诺;萨西内·普鲁克普拉塞特;斯特凡·克里科维茨;Toru Takisaka公司;一郎·哈索 动态屏蔽,用于黑盒环境中的强化学习。 (英语) Zbl 1522.68351号 Bouajjani,Ahmed(编辑)等人,用于验证和分析的自动化技术。第20届国际研讨会,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) 全文: 内政部 arXiv公司
Vivek Nigam先生;金敏英;伊恩·梅森;卡罗琳·塔尔科特 分布式自治代理系统中偏差的检测和诊断。 (英语) Zbl 1512.68159号 数学。结构。计算。科学。 32,第9期,1254-1282(2022).MSC公司:60年第68季度 2012年第68季度 93甲14 93甲16 PDF格式BibTeX公司 XML格式引用 \textit{V.Nigam}等人,数学。结构。计算。科学。32,编号9,1254--1282(2022;Zbl 1512.68159) 全文: 内政部
埃特萨米,S.拉苏尔 最大化网络平均动力学中的收敛时间,以去除边缘。 (英语) Zbl 1505.93232号 SIAM J.Optim公司。 32,第4期,2718-2744(2022).MSC公司:93D50型 93磅70 2017年第68季度 93甲16 90C20个 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Etesami},SIAM J.Optim(西亚姆·J·Optim)。32,第4号,2718--2744(2022;Zbl 1505.93232) 全文: 内政部 arXiv公司
吉拉德·勒曼;史云鹏 通过循环边消息传递实现强大的组同步。 (英语) Zbl 07619460号 已找到。计算。数学。 22,第6期,1665-1741(2022).MSC公司:62G35型 65年第68季度 68瓦40 87年第68季度 93E10型 PDF格式BibTeX公司 XML格式引用 \textit{G.Lerman}和\textit{Y.Shi},已找到。计算。数学。22,第6号,1665--1741(2022;Zbl 07619460) 全文: 内政部 arXiv公司
林、李勇;泰、若晨;朱玉婷;苏荣 观察辅助的启发式合成隐蔽攻击者对抗未知监督员。 (英语) Zbl 1500.93068号 离散事件动态。系统。 32,编号3,495-520(2022).MSC公司:93元65角 93磅70 93C83号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Lin}等人,离散事件动态。系统。32,第3号,495--520(2022;Zbl 1500.93068) 全文: 内政部 arXiv公司
张奎泽 幺半群上标记加权自动机的可检测性。 (英语) Zbl 1524.68180号 离散事件动态。系统。 32,第3期,435-494(2022年).MSC公司:65年第68季度 65年第68季度 68问题85 90立方厘米 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{K.Zhang},离散事件动态。系统。32,编号3,435--494(2022;Zbl 1524.68180) 全文: 内政部 arXiv公司
李,S.H。;M.J.帕克。;O.M.昆。 改进的时变时滞线性系统稳定性判据的一些增广方法。 (英语) Zbl 1497.93164号 J.富兰克林研究所。 359,编号15,8188-8200(2022).MSC公司:93D05型 93二氧化碳 93立方厘米 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.H.Lee}等人,J.Franklin Inst.359,No.15,8188--8200(2022;Zbl 1497.93164) 全文: 内政部
信使Daniel A。;大卫·M·博茨。 使用WSINDy从粒子数据中学习平均场方程。 (英语) Zbl 1498.93111号 物理D 439,文章ID 133406,18 p.(2022).MSC公司:93B30型 93E12号机组 92立方厘米 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Messenger}和\textit{D.M.Bortz},Physica D 439,文章ID 133406,第18页(2022;Zbl 1498.93111) 全文: 内政部 arXiv公司