阿尔伯特·本文尼斯特;贝诺·凯劳德;马蒂亚斯·马兰丹 从混合自动机到基于DAE的建模。 (英语) Zbl 1528.68174号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 3-20 (2022).MSC公司:65年第68季度 03时10分 34A09号 93-10 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Benveniste}等人,Lect。注释计算。科学。13660,3--20(2022;Zbl 1528.68174) 全文: DOI程序 哈尔
维多利亚州桑兹;阿方索·乌尔基亚;阿尔贝托·莱瓦 单元格自动化Lib2:改进Modelica中对细胞自动机建模的支持。 (英语) Zbl 1336.68173号 数学。计算。模型。动态。系统。 第3244-264号第22页(2016年).MSC公司:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{V.Sanz}等人,《数学》。计算。模型。动态。系统。22,第3号,244--264(2016;Zbl 1336.68173) 全文: DOI程序
约翰森,K.H。;M.埃格斯特德。;Lygeros,J。;萨斯特里,S。 Zeno混合自动机的正则化。 (英语) Zbl 0948.93031号 系统。控制信函。 38,第3期,141-150(1999).MSC公司:93立方 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{K.H.Johansson}等人,系统。控制信函。38,第3号,141--150(1999;Zbl 0948.93031) 全文: DOI程序