×

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

最新的 引文 关联
鲁帕克·马朱姆达尔;考希·马利克;马特乌斯·里奇里基;安妮·凯瑟琳·施穆克;萨代赫·苏贾尼

海报摘要：用于加速符号控制的工具链。 （英语） Zbl 07807969号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第28号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{R.Majumdar}等人，在：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9-12日。纽约州纽约市：计算机协会（ACM）。论文编号28，第2页（2023；Zbl 07807969）
全文： 内政部
鲁帕克·马朱姆达尔;萨代赫·苏贾尼

LQR和LQG控制的可计算性。 （英语） Zbl 07807678号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第5号文件，第7页（2021）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛R.Majumdar｝和\textit｛S.Soudjani｝，在：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS物联网周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第5号论文，第7页（2021；Zbl 07807678）
全文： 内政部
鲁帕克·马朱姆达尔;约尔·瓦克宁;阿默里·波利;詹姆斯·沃雷尔

线性混合自动机的代数不变量。 （英语） Zbl 07559488号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第32条，第17页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Majumdar}等人，LIPIcs--Leibniz Int.Proc。通知。171，第32条，第17页（2020；Zbl 07559488）
全文： 内政部 arXiv公司
鲁帕克·马朱姆达尔;内克米耶·奥扎伊;安妮·凯瑟琳·施穆克

基于抽象的输出反馈控制器设计。 （英语） Zbl 07300856号

第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第15条，第11页（2020年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{R.Majumdar}等人，《第23届ACM混合系统国际会议论文集：计算与控制》，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第15条，第11页（2020；Zbl 07300856）
全文： 内政部 arXiv公司
鲁帕克·马朱姆达尔;考希·马利克;萨代赫·苏贾尼

随机系统上Büchi规范的符号控制器综合。 （英语） Zbl 07300855号

第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第14条，第11页（2020年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛R.Majumdar｝等人，在：第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼和虚拟，2020年4月21-24日。纽约州纽约市：计算机协会（ACM）。第14条，第11页（2020；Zbl 07300855）
全文： 内政部 arXiv公司
克里希南德·查特吉;拉斯穆斯·易卜森·延森;鲁帕克·马朱姆达尔

编辑定时自动机的距离。 （英语） Zbl 1360.68544号

第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-2732-9）。303-312 (2014).
MSC公司：65年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，《第17届ACM混合系统国际会议论文集：计算与控制》，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。303--312（2014；Zbl 1360.68544）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

出版年份

主字段

全部的 前3名

软件