亚历山德罗·阿巴特（编辑）;吉勒·杰勒茨（编辑） 时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。 （英语） Zbl 1369.68007号 计算机科学课堂讲稿10419.查姆：施普林格（ISBN 978-3-319-65764-6/pbk；978-3-3169-65765-3/电子书）。x、 第353页。(2017). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1344.68009号].索引文章：劳伦·弗里堡，欧拉方法应用于切换系统的控制，3-21[Zbl 1470.93080号]Patricia Bouyer；萨米·贾齐里；尼古拉斯·马基，关于时间系统的确定，25-41[兹比尔1494.68129]塞尔吉奥·费奥·阿雷尼斯；米兰武吉诺维奇；伯恩德·韦斯特法尔，关于时间自动机网络中的全局调度独立性，42-57[Zbl 1494.68181号]哈尼法·布切内布；莱姆，迪迪埃；巴普蒂斯特·帕奎尔；Olivier H.Roux。；夏洛特·塞德纳，成本时间Petri网中的最优可达性，58-73[兹比尔1494.68180]马哈茂德·穆萨（Mahmoud A.A.Mousa）。；Schewe，Sven；多米尼克·沃伊特扎克，具有离散成本的多模系统的最优控制，77-96[Zbl 1497.49002号]阿迪穆兰（Adimoolam），阿尔文德（Arvind）；Thao Dang先生，用于计算仿射混合系统不变量的增广复分区，97-115[Zbl 1497.93106号]塞尔吉·博戈莫洛夫；米尔科·贾科布；托马斯·亨辛格（Thomas A.Henzinger）。；孔慧，混合系统的圆锥抽象，116-132[Zbl 1497.93109号]斯坦利·巴克；塞尔吉·博戈莫洛夫；马蒂亚斯·阿尔霍夫，用于混合自动机可达性分析的保护的时间触发转换，133-150[Zbl 1497.93107号]安德斯·马里亚加德（Anders Mariegaard）；金·古德斯特兰·拉森，模型检查的符号依赖关系图，153-169[Zbl 1494.68170号]杨鹏飞；Jansen，David N。；张丽君，标记马尔可夫过程的基于分布的互模拟，170-186[Zbl 1494.68184号]阿列克谢·巴赫金；托马斯·费雷尔；马勒，奥德；多根·乌卢斯，关于实数信号上正则表达式的定量语义，189-206[Zbl 1494.68128号]细辛，尤金；马勒，奥德；德扬·尼科维奇；多根·乌卢斯，结合MTL监测的时间和认知维度，207-223[兹比尔1494.68158]Masaki Waga；一郎·哈索；Kohei Suenaga公司，通过基于自动跳过的高效在线定时模式匹配，224-243[Zbl 1494.68318号]杰泽克尔，洛伊格；莱姆，迪迪埃，让我们变懒，我们有时间，或者，时间自动机的懒可达性分析，247-263[Zbl 1494.68182号]塔马斯·托特；伊斯坦·马齐克，使用插值对时间自动机进行惰性可达性检查，264-280[Zbl 1494.68174号]薛、白；彼得·纳齐尔·莫萨德（Peter Nazier Mosaad）；Fränzle，Martin；陈明帅；李，杨佳；詹乃军，时滞微分方程可达集的安全过逼近和欠逼近，281-299[Zbl 1497.93100号]斯特凡·拉森，基于仿真的动力系统安全证书计算，303-317[Zbl 1494.68172号]阮文海；蒂伯特·巴拉邦斯基；弗莱德里克·博朗格；香塔尔·凯勒；缬氨酸，贝诺；沃尔夫，伯克哈特，TESL的符号操作语义——用于异构系统测试，318-334[Zbl 1494.68154号]Massoud，康复中心；詹妮斯·斯托普（Jannis Stope）；丹尼尔·格罗（Daniel Große）；罗尔夫·德雷克斯勒，半形式循环精确时间执行轨迹重建，335-351[Zbl 1494.68026号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68季度xx 计算理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1344.68009号 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}（编辑）和\textit{G.Geeraerts}（主编），时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆：斯普林格（2017；Zbl 1369.68007） 全文： 内政部