×

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

最新的 引文 相关性
迈赫达德·扎里安;安妮·凯瑟琳·施穆克

基于状态的安全规范的符号输出反馈控制器的延迟综合。 （英语） Zbl 07807950号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，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物联网周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第9号论文，第7页（2023；Zbl 07807950）
全文： 内政部
伯恩德·芬克贝纳;考希·马利克;诺埃米，传球;马尔特·施莱德朱夫斯基;安妮·凯瑟琳·施穆克

BOCoSy：小型但功能强大的符号输出反馈控制。 （英语） Zbl 07807732号

第25届ACM混合系统国际会议论文集：计算和控制，HSCC 2022，CPS物联网周的一部分，意大利米兰和虚拟，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）
全文： 内政部
加布里埃尔·德·A·格莱泽;曼纽尔·马佐

计算事件触发控件的采样性能。 （英语） Zbl 07807693号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第20号文件，第7页（2021）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.de A.Gleizer}和\textit{M.Mazo}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第20号论文，第7页（2021；Zbl 07807693）
全文： 内政部 arXiv公司
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰，马修;哈桑·埃拉米;弗拉基米尔·格特;迪马·格里戈里耶夫;查尔斯·霍伊特;马雷克·科什塔;奥维迪乌·拉杜列斯库;托马斯·斯特姆;安德烈亚斯·韦伯

识别某些生物网络的多个稳态的参数出现。 （英语） Zbl 1442.92056号

J.塞姆。计算。 98, 84-119 (2020).
审核人：阿米尔·哈希米（伊斯法罕）
MSC公司：92立方厘米 68瓦30 92-08
PDF格式BibTeX公司 XML格式引用
\textit{R.Bradford}等人，J.Symb。计算。98，84-119（2020；Zbl 1442.92056）
全文： 内政部 arXiv公司
金·古德斯特兰·拉森;马吕斯·米库奇奥尼斯;雅各布·哈哈尔·塔安克维斯特

安全且最佳的自适应巡航控制。 （英语） Zbl 1444.68183号

Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，在Ernst-Rüdiger Olderog 60岁生日之际举行的研讨会。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9360, 260-277 (2015).
MSC公司：68T27型 60年第68季度 90秒20 93C85号
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}等人，Lect。注释计算。科学。9360260-277（2015年；Zbl 1444.68183）
全文： 内政部
马丁·希尔舍尔;斯文·林杰;奥尔德罗格（Ernst-Rüdiger Olderog）

证明乡村道路交通操纵的安全性。 （英语） Zbl 1390.68429号

刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051196-212（2013）。
MSC公司：60年第68季度 03B44号 90秒20
PDF格式BibTeX公司 XML格式引用
\textit{M.Hilscher}等人，Lect。注释计算。科学。8051、196--212（2013；Zbl 1390.68429）
全文： 内政部
斯文·施奈德;乌韦·内斯特曼

使用过程计算对混合系统进行严格离散。 （英语） Zbl 1348.68109号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学讲义6919301-316（2011）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Schneider}和\textit{U.Nestmann}，莱克特。注释计算。科学。6919301-316（2011年；兹bl 1348.68109）
全文： 内政部
Yuichi Tazaki;Jun-ichi Imura公司

使用多分辨率量化器对非线性系统进行离散状态抽象。 （英语） Zbl 1237.93063号

Majumdar，Rupak（编辑）等人，《混合系统：计算和控制》。2009年4月13日至15日在美国加利福尼亚州旧金山举行的2009年HSCC第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00601-2/pbk）。计算机科学课堂讲稿5469，351-365（2009）。
MSC公司：93亿B51 65年第68季度 93立方厘米 93C55美元
PDF格式BibTeX公司 XML格式引用
\textit{Y.Tazaki}和\textit{J.-i.Imura}，莱克特。注释计算。科学。5469、351--365（2009年；Zbl 1237.93063）
全文： 内政部
洛伦佐·塞拉;皮特·科林斯

二维非线性混合自动机的离散动力学。 （英语） Zbl 1144.93328号

Egerstedt，Magnus（编辑）等人，《混合系统：计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78928-4/pbk）。计算机科学课堂讲稿4981486-499（2008）。
MSC公司：93立方 65年第68季度 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{L.Sella}和\textit{P.Collins}，莱克特。注释计算。科学。4981、486--499（2008年；Zbl 1144.93328）
全文： 内政部 链接
卡拉·西特祖;德米特里·格罗莫夫;约格·莱斯;丹尼尔·科罗纳;亚历山德罗·朱阿

安全性和活性约束下离散时间混合自动机的最优控制。 （英语） Zbl 1101.68667号

非线性分析。，理论方法应用。，序列号。A、 理论方法 65，第6期，1188-1210（2006）.
MSC公司：65年第68季度 49N90型
PDF格式BibTeX公司 XML格式引用
\textit{C.Seatzu}等人，非线性分析。，理论方法应用。，序列号。A、 理论方法65，第6期，1188-1210（2006年；Zbl 1101.68667）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件