×

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

最新的 引文 关联
莫纳尔·纳拉西姆哈默西；桑卡拉纳拉亚南，斯里拉姆

海报摘要：解码离散时间线性混合系统的输出序列。 （英语） 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 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程序
塔伊萨·库什纳；桑卡拉纳拉亚南，斯里拉姆；马克·布雷顿

葡萄糖-胰岛素动力学神经网络模型的一致性验证。 （英语） Zbl 07300854号

第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第13条，第12页（2020年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{T.Kushner}等人，in：第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼与虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第13条，第12页（2020；兹bl 07300854）
全文： DOI程序
Souradeep杜塔；陈欣；苏斯米特·贾；桑卡拉纳拉亚南，斯里拉姆；阿什什·蒂瓦里

演示摘要：Sherlock–用于验证神经网络反馈系统的工具。 （英语） 兹伯利07120164

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。262-263 (2019).
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Dutta}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。262--263（2019年；Zbl 07120164）
全文： DOI程序
Souradeep杜塔；陈欣；桑卡拉纳拉亚南，斯里拉姆

基于回归多项式规则推理的神经反馈系统可达性分析。 （英语） Zbl 07120151号

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。157-168 (2019).
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Dutta}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。157-168（2019年；Zbl 07120151）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

出版年份

主字段

全部的 前3名

软件