×

找到8个文档(结果1-8)

海报摘要:平面概率分段常微分系统的稳定性分析。 (英语) Zbl 07807962号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第21号论文,第2页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合自动机的相关句法和语义扰动。 (英语) Zbl 1520.68066号

Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第26条,第16页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

判定并发平面单调线性混合系统。 (英语) 兹比尔1465.68198

Sankaranarayanan,Sriram(编辑)等人,时间系统的形式化建模和分析。第13届国际会议,FORMATS 2015,西班牙马德里,2015年9月2-4日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9268, 256-269 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于混合系统稳定性的可判定性。 (英语) Zbl 1362.68180号

2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。53-62 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一类可判定的平面线性混合系统。 (英语) Zbl 1143.68442号

Egerstedt,Magnus(编辑)等人,《混合系统:计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78928-4/pbk)。计算机科学课堂讲稿4981401-414(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段