弗兰克·卡塞兹 用于部分可观察定时游戏的高效实时算法。 （英语） Zbl 1141.93377号 Raskin，Jean-François（编辑）等，时间系统的形式化建模和分析。第五届国际会议，FORMATS 2007，奥地利萨尔茨堡，2007年10月3-5日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75453-4/pbk）。计算机科学课堂讲稿4763，5-24（2007）。 摘要：在本文中，我们回顾了一些关于定时系统控制器有效综合的最新结果。我们首先回顾了时间博弈控制器综合的基本知识，然后提出了一种有效的可达性博弈实时算法，并将其扩展到部分可观测的时间博弈。本文的材料基于两篇最近的文章[F.卡塞兹,A.大卫,E.弗勒里,K·G·拉森和D.石灰，“分析计时游戏的高效实时算法”，Lect。注释计算。科学。3653, 66–80 (2005;Zbl 1134.68382号);F.卡塞兹,A.大卫,K.G.Larsen， D.石灰和J.-F.拉斯金，“基于观察和断续不变策略的定时控制”，Lect。注释计算。科学。4762, 192–206 (2007;Zbl 1141.68428号)]这为时间游戏控制器的合成引入了真正的实时算法。这些结果是与Alexandre David、Emmanuel Fleury和Kim G.Larsen（丹麦奥尔堡大学）、Didier Lime（法国IRCCyN）和Jean-François Raskin（比利时布鲁塞尔ULB）一起获得的。关于整个系列，请参见[Zbl 1138.68007号]. 引用于三文件 MSC公司： 93元65角 离散事件控制/观测系统 65年第68季度 形式语言和自动机 91A80型 博弈论的应用 引文：Zbl 1134.68382号；Zbl 1141.68428号 软件：克洛诺斯；UPPAAL TIGA公司；CMC公司 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}，莱克特。注释计算。科学。4763，5--24（2007年；Zbl 1141.93377） 全文： 内政部 哈尔