马丁·范策尔（编辑）;安东尼奥斯·索尔多斯（编辑） 2013年6月6日，德国萨尔布吕肯，混合自治系统第一次研讨会会议记录。 （英语） Zbl 1310.68009号 理论计算机科学电子笔记297.阿姆斯特丹：爱思唯尔。88页。，仅电子版（2013年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：亚历山德罗·阿巴特，基于一般状态空间马尔可夫过程概率互模拟的近似度量：一项调查，3-25[Zbl 1334.68128号]奥纳·安德烈；赫莱内·基什内尔，生化程序的运行时验证，27-46[Zbl 1334.68109号]Buntins、Matthias；Jens-W.Schicke。；艾格特，弗兰克；乌苏拉·戈尔茨，混合自动机作为行为科学中的建模方法，47-59[Zbl 1334.68114号]保罗·Hänsch；迪亚卜、希拉；伊比西姆·本·马赫鲁夫（Ibtisem Ben Makhlouf）；斯特凡·科瓦列夫斯基，具有逐步常数输入的线性系统的可达性分析，61-74[Zbl 1334.68134号]托本，托比；詹·亨德里克·拉科夫，自主系统空间上下文模型的安全性和准确性，75-88[Zbl 1334.68228号] MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 93-06 与系统和控制理论有关的会议记录、会议记录、收藏品等 65年第68季度 形式语言和自动机 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 00B25型 杂项特定利益的会议记录 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}（编辑）和\textit{A.Tsordos}（编），混合自治系统第一次研讨会论文集，德国萨尔布吕肯，2013年6月6日。阿姆斯特丹：爱思唯尔（2013；Zbl 1310.68009） 全文： 链接