×

找到28个文档（结果1-28）

最新的 引文 关联
马哈提·阿南德;阿波法兹·拉瓦伊;马吉德·扎马尼

随机系统网络的控制屏障证书的合成，针对\（\omega \）-常规规范。 （英语） Zbl 1533.93195号

非线性分析。，混合系统。 51，文章ID 101427，20 p.（2024）.
MSC公司：93亿B50 93E03型 93C55美元 93B70型
PDF格式BibTeX公司 XML格式引用
\textit{M.Anand}等人，《非线性分析》。，混合系统。51，文章ID 101427，20 p.（2024；Zbl 1533.93195）
全文： 内政部 arXiv公司
马哈提·阿南德;毗湿奴·穆拉利;阿舒托什·特里维迪;马吉德·扎马尼

随机系统的k-归纳屏障证书。 （英语） Zbl 07807720号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第12号文件，第11页（2022）。
MSC公司：第68季度第45季度 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）
全文： 内政部
赵庆叶;陈欣;赵卓瑜;张一凡;唐恩毅;李宣东

使用神经网络验证神经网络控制系统。 （英语） Zbl 1532.68030号

第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物联网周的一部分，意大利米兰和虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第3号论文，第11页（2022年；Zbl 1532.68030）
全文： 内政部
阿波法兹·拉瓦伊;阿梅内·内贾蒂;普什巴克·贾格塔普;马吉德·扎马尼

未知连续时间系统的正式安全验证：数据驱动方法。 （英语） Zbl 07807702号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第29号论文，第2页（2021年）。
MSC公司：第68季度第45季度 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）
全文： 内政部
亚历山德罗·阿巴特;丹尼尔·艾哈迈德;亚历克·爱德华兹;米尔科·贾科布;安德烈亚·佩鲁福

FOSSIL：使用神经网络对Lyapunov函数和屏障证书进行形式化合成的软件工具。 （英语） Zbl 07807697号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2021年）。
MSC公司：第68季度第45季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛A.Abate｝等人，在：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS物联网周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2021；Zbl 07807697）
全文： 内政部
赵庆叶;陈欣;张一凡;沙，孟;杨正峰;林，王;唐恩毅;陈启光;李宣东

合成具有两个隐藏层的ReLU神经网络作为混合系统的屏障证书。 （英语） Zbl 07807690号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第17号论文，第11页（2021年）。
MSC公司：第68季度第45季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{Q.Zhao}等人，in：《第24届ACM混合系统国际会议论文集：计算与控制》，HSCC 2021，CPS-IoT周，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第17号论文，第11页（2021；Zbl 07807690）
全文： 内政部
杨正峰;张艺丹;林，王;曾、夏;唐晓超;曾振兵;刘志明

通过障碍证书生成实现非线性系统安全强化学习的迭代方案。 （英语） Zbl 1493.68224号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12759, 467-490 (2021).
MSC公司：60年第68季度 68T07型 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit｛Z.Yang｝等人，Lect。注释计算。科学。12759467--490（2021年；Zbl 1493.68224）
全文： 内政部
OA许可证
赵恒军;曾、夏;陈、陶璐;刘志明;吉姆·伍德科克

学习具有屏障证书的安全神经网络控制器。 （英语） Zbl 1503.93022号

Pang，Jun（编辑）等，可靠软件工程。理论、工具和应用。第六届国际研讨会，SETTA 2020，中国广州，2020年11月24日至27日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12153, 177-185 (2020).
MSC公司：93亿B50 60年第68季度 68T05型 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{H.Zhao}等人，Lect。注释计算。科学。12153177--185（2020年；Zbl 1503.93022）
全文： 内政部 arXiv公司
冯胜华;陈明帅;薛、白;桑卡拉纳拉亚南，斯里拉姆;詹乃军

随机微分动力学的无限时间安全验证。 （英语） Zbl 1478.68155号

Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：斯普林格。勒克特。注释计算。科学。122252327-348（2020年）。
MSC公司：60年第68季度 60 H10型
PDF格式BibTeX公司 XML格式引用
\textit{S.Feng}等人，Lect。注释计算。科学。12225，327--348（2020；Zbl 1478.68155）
全文： 内政部 arXiv公司
OA许可证
陈欣;彭超;林，王;杨正峰;张一芳;李宣东

一种解决障碍证书生成中BMI问题的新方法。 （英语） Zbl 1478.68152号

Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21-24日。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12224, 582-603 (2020).
MSC公司：60年第68季度 15A45型 90C22型
PDF格式BibTeX公司 XML格式引用
\textit{X.Chen}等人，Lect。注释计算。科学。12224582--603（2020年；Zbl 1478.68152）
全文： 内政部
OA许可证
赵恒军;曾、夏;陈、陶璐;刘志明

使用神经网络合成屏障证书。 （英语） Zbl 07300866号

第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第25条，第11页（2020年）。
MSC公司：第68季度第45季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{H.Zhao}等人，《第23届ACM混合系统国际会议论文集：计算与控制》，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第25条，第11页（2020；Zbl 07300866）
全文： 内政部
Sogokon，安德鲁;哈利勒·戈尔巴尔;Tan，Yong Kiam先生;安德烈·普拉泽

病媒屏障证书和比较系统。 （英语） Zbl 1460.93012号

Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10951, 418-437 (2018).
MSC公司：93个B03 60年第68季度 93天30分
PDF格式BibTeX公司 XML格式引用
\textit{A.Sogokon}等人，莱克特。注释计算。科学。10951，418--437（2018；Zbl 1460.93012）
全文： 内政部 链接
杨正峰;黄超;陈欣;林，王;刘志明

一种基于线性规划松弛的混合系统屏障证书生成方法。 （英语） Zbl 1427.68176号

Fitzgerald，John（编辑）等，FM 2016：形式方法。第21届国际研讨会，2016年11月9日至11日，塞浦路斯利马索尔。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9995, 721-738 (2016).
MSC公司：60年第68季度 37B10号机组 90 C90
PDF格式BibTeX公司 XML格式引用
\textit{Z.Yang}等人，Lect。注释计算。科学。9995721--738（2016年；Zbl 1427.68176）
全文： 内政部
乔纳森·德卡斯特罗。;Kress-Gazit，哈达斯

反应性高层行为的非线性控制器综合和工作空间自动划分。 （英语） Zbl 1364.93258号

第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。225-234 (2016).
MSC公司：93亿B50 93立方厘米 93C85号
PDF格式BibTeX公司 XML格式引用
\textit{J.A.DeCastro}和\textit{H.Kress-Gazit}，摘自：第19届ACM混合系统国际会议论文集：计算与控制，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。225-234（2016年；Zbl 1364.93258）
全文： 内政部
詹姆斯·卡宾斯基;Jyotirmoy V.德斯穆赫。;桑卡拉纳拉亚南，斯里拉姆;尼科斯·阿雷奇加

混合动力系统的仿真指导Lyapunov分析。 （英语） Zbl 1362.93108号

第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2732-9）。133-142 (2014).
MSC公司：93D05型 93天30分 93立方厘米 93立方
PDF格式BibTeX公司 XML格式引用
\textit{J.Kapinski}等人，in：第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。133-142（2014；Zbl 1362.93108）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件