斯特凡·多梅克 离散混合分数阶系统的混合逻辑动力学建模。 （英语） Zbl 1508.93193号 Kulczycki，Piotr（编辑）等人，《分数动力系统：方法、算法和应用》。查姆：斯普林格。研究系统。小数。控制40277-105（2022）。MSC公司：93C55 93立方 第26页第33页 PDF格式BibTeX公司 XML格式引用 \textit{S.Domek}，Stud.系统。小数。控制402，77--105（2022；Zbl 1508.93193） 全文： 内政部
理查德·巴纳赫;朱慧标 模态和连续抽象状态机。 （英语） Zbl 07495052号 Raschke，Alexander（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 29-62 (2021).MSC公司：68倍 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{H.Zhu}，Lect。注释计算。科学。12750，29-62（2021；Zbl 07495052） 全文： 内政部
史蒂芬妮·温克勒;安德烈亚斯·科尔纳;费利克斯·布雷特内克 人工混合动力系统建模框架。 （英语） Zbl 1478.93303号 非线性分析。，混合系统。 42，文章ID 101072，17 p.（2021）.MSC公司：93立方 93B70型 65年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{S.Winkler}等人，《非线性分析》。，混合系统。42，文章ID 101072，17 p.（2021；Zbl 1478.93303） 全文： 内政部
斯科贝列夫，V.V。;斯科贝列夫，V.G。 混合自动机分析的一些问题。 （英语。俄文原件） Zbl 1445.68127号 赛博。系统。分析。 54，第4期，517-526（2018）; 翻译自Kibern。修女。分析。2018年第4期，第3-15页（2018年）。MSC公司：65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Skobelev}和\textit{V.G.Skobelev}，Cybern。系统。分析。54，No.4，517--526（2018；Zbl 1445.68127）；翻译自Kibern。修女。分析。2018年第4号、第3--15号（2018） 全文： 内政部
劳伦特·多恩;戈兰·弗雷斯;乔治·J·帕帕斯。;安德烈·普拉泽 混合系统的验证。 （英语） Zbl 1392.68246号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1047-1110 (2018).MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}等人，in：模型检查手册。查姆：斯普林格。1047-1110（2018年；兹比尔1392.68246） 全文： 内政部
莱蒂切夫斯基，A。;O.O.莱提切夫斯基。;斯科贝列夫，V.G。;V.A.沃尔科夫。 网络物理系统。 （英语。俄文原件） Zbl 1381.93009号 赛博。系统。分析。 53，第6号，821-834（2017）; 翻译自Kibern。修女。分析。2017年第6期，第3-19页（2017年）。MSC公司：93A10号 第68季度第70季度 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Letichevsky}等人，Cybern。系统。分析。53，第6号，821--834（2017；Zbl 1381.93009）；翻译自Kibern。修女。分析。2017年第6号、第3--19号（2017） 全文： 内政部
阿尔伯特·本文尼斯特;蒂莫西·布鲁克;贝诺特·凯劳德;布鲁诺·帕加诺;马克·普泽特 混合系统建模器中因果循环的基于类型的分析。 （英语） Zbl 1373.93112号 非线性分析。，混合系统。 26, 168-189 (2017).MSC公司：93B40码 68甲15 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Benveniste}等人，非线性分析。，混合系统。26、168--189（2017年；Zbl 1373.93112） 全文： 内政部 哈尔
米查尔·科内奇;瓦利德·塔哈;Ferenc A.Bartha。;简·杜拉茨;亚当·杜拉茨;亚伦·D·艾姆斯。 封闭混合自动机在Zeno点前后的行为。 （英语） Zbl 1336.93085号 非线性分析。，混合系统。 20, 1-20 (2016).MSC公司：93立方 93B40码 37号35 PDF格式BibTeX公司 XML格式引用 \textit{M.Konečn}等人，《非线性分析》。，混合系统。20，1--20（2016；Zbl 1336.93085） 全文： 内政部 OA许可证
朱龙飞;徐启文;何继峰;朱慧标 混合编程语言的形式化模型。 （英语） Zbl 1457.68038号 戴维·诺曼，《统一编程理论》。第五届国际研讨会，2014年UTP，新加坡，2014年5月13日。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。8963, 125-142 (2015).MSC公司：68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhu}等人，Lect。注释计算。科学。8963、125--142（2015年；Zbl 1457.68038） 全文： 内政部
Waez，Md Tawhid Bin;朱尔根·丁格尔;鲁迪、凯伦 实时系统开发中的时间自动机综述。 （英语） Zbl 1302.68180号 计算。科学。版次。 9, 1-26 (2013).MSC公司：65年第68季度 68问题55 第68季度第60季度 2002年8月 PDF格式BibTeX公司 XML格式引用 \textit｛M.T.B.Waez｝等人，计算。科学。第9版，1-26（2013；Zbl 1302.68180） 全文： 内政部
阿尔伯特·本文尼斯特;蒂莫西·布鲁克;贝诺·凯劳德;马克·普泽特 混合系统建模器的非标准语义。 （英语） Zbl 1244.68050号 J.计算。系统。科学。 78，第3期，877-910（2012）.MSC公司：68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \文本{A.Benveniste}等人，J.Comput。系统。科学。78，第3号，877--910（2012；Zbl 1244.68050） 全文： 内政部
罗伯托·帕塞罗内;Alberto L.Sangiovanni-Vincentelli。 嵌入式系统设计中的近似行为。 （英语） Zbl 1143.68461号 Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065721-742（2008）。MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Passerone}和\textit{A.L.Sangiovanni-Vincentelli}，Lect。注释计算。科学。5065721--742（2008年；Zbl 1143.68461） 全文： 内政部