×

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

最新的 引文 关联
加布里埃尔·德·阿尔伯克基·格莱泽；曼纽尔·马佐

使用定量自动机计算事件触发控制的平均采样间隔时间。 （英语） Zbl 07641844号

非线性分析。，混合系统。 47，文章ID 101290，19 p.（2023）.
MSC公司：68倍 93至XX
PDF格式BibTeX公司 XML格式引用
\textit{G.de Albuquerque Gleizer}和\textit{M.Mazo}，非线性分析。，混合系统。47，文章ID 101290，第19页（2023；Zbl 07641844）
全文： 内政部 arXiv公司 链接
吉安尼斯·德尔姆帕尔塔基斯；加布里埃尔·德·阿尔伯克基·格莱泽；伊沃·范斯特拉伦；Manuel jun，马祖。

ETMetera：超出事件触发控制。 （英语） Zbl 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公司
圣地亚哥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 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公司
加布里埃尔·德·阿尔伯克基·格莱泽；库什拉伊·马德纳尼；Manuel jun，马祖。

一个更简单的替代方案：最小化过渡系统模交替模拟等效性。 （英语） 兹伯利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公司
多哥卡里莫夫；Edon Kelmendi；约尔·瓦克宁；詹姆斯·沃雷尔

离散线性动力系统的决定因素是什么？ （英语） Zbl 1528.68228号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 21-38 (2022).
MSC公司：60年第68季度 03B25号 11层37 第37页第10页 93个B03
PDF格式BibTeX公司 XML格式引用
\textit{T.Karimov}等人，Lect。注释计算。科学。13660，21-38（2022；Zbl 1528.68228）
全文： 内政部 arXiv公司
加布里埃尔·德·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公司
鲁帕克·马朱姆达尔；萨代赫·苏贾尼

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}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第5号论文，第7页（2021；Zbl 07807678）
全文： 内政部
马哈茂德·萨拉马蒂；萨代赫·苏贾尼；鲁帕克·马朱姆达尔

CTMC和CTMDP的近似时限可达性：Lyapunov方法。 （英语） Zbl 1514.68146号

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 389-406 (2018).
MSC公司：60年第68季度 03B70号 60J28型 87年第68季度 90立方厘米 93个B03 93二氧化碳 93天30分
PDF格式BibTeX公司 XML格式引用
\textit{M.Salamati}等人，Lect。注释计算。科学。11024，389--406（2018；Zbl 1514.68146）
全文： 内政部 arXiv公司
安德鲁·索戈孔；哈利勒·戈尔巴尔；Tan，Yong Kiam先生；安德烈·普拉泽

病媒屏障证书和比较系统。 （英语） 兹比尔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）
全文： 内政部 链接
马里亚·斯沃雷奥娃；简·Křetínsk；马丁·奇梅利克；克里希南德·查特吉；伊万娜·乔纳；卡林·贝尔塔

随机线性系统的时间逻辑控制，使用概率对策的抽象精化。 （英语） 兹比尔1351.93138

非线性分析。，混合系统。 23, 230-253 (2017).
MSC公司：93E03型 93二氧化碳 93C55美元 91A15型 93E25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Svoreňová}等人，《非线性分析》。，混合系统。23、230-253（2017年；Zbl 1351.93138）
全文： 内政部 arXiv公司
格钦·诺曼；大卫·帕克；邹学毅

部分可观测概率实时系统的验证和控制。 （英语） 兹比尔1465.68182

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 240-255 (2015).
MSC公司：60年第68季度 68平方米 68平方米25 65年第68季度 93C83号
PDF格式BibTeX公司 XML格式引用
\textit｛G.Norman｝等人，Lect。注释计算。科学。9268、240-255（2015年；Zbl 1465.68182）
全文： 内政部 arXiv公司
托马斯·泽特库利奇；斯特凡·拉特肖恩

混合系统简洁抽象的增量计算。 （英语） Zbl 1348.68133号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，271-285（2011）。
MSC公司：60年第68季度 65年第68季度 93个B03
PDF格式BibTeX公司 XML格式引用
\textit{T.Dzetkulič}和\textit{S.Ratschan}，莱克特。注释计算。科学。6919、271--285（2011年；Zbl 1348.68133）
全文： 内政部
亚历山德罗·阿巴特；亚历山德罗·迪安诺琴佐；玛丽亚·迪·贝内代托。；Shankar S.萨斯特里。

马尔可夫集作为随机混合系统的抽象。 （英语） Zbl 1144.93367号

Egerstedt，Magnus（编辑）等人，《混合系统：计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78928-4/pbk）。计算机科学课堂讲稿4981，1-15（2008）。
MSC公司：93E03型 93立方 93C55美元 60J10型
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}等人，Lect。注释计算。科学。4981，1-15（2008；Zbl 1144.93367）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件