马丁·德·沃尔夫;劳伦特·多恩;Jean-François拉斯金 解不完全信息博弈的格理论。 （英语） 兹比尔1178.93072 Hespanha，Joáo（编辑）等人，《混合系统：计算和控制》。2006年3月29日至31日在美国加利福尼亚州圣巴巴拉举行的2006年HSCC第九届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33170-0/pbk）。计算机科学课堂讲稿3927153-168（2006）。 摘要：在本文中，我们提出了一个不动点理论来解决不完全信息博弈问题。不动点理论定义在状态集反链的格上。与提出的经典解决方案相反J.H.赖夫[《不完全信息双层博弈的复杂性》，J.Compute.Syst.Sci.29，274–301（1984；Zbl 0551.90100号)]，我们的新解决方案不涉及测定。因此，它很容易适用于不允许确定性的系统类。这种系统的显著例子是定时自动机和混合自动机。作为应用，我们证明了矩形自动机定义的不完全信息博弈的离散控制问题是可判定的。此结果将结果扩展为T.A.亨廷格和P.W.科普克在[“矩形混合自动机的离散时间控制”，Theor.Comput.Sci.221，No.1-2，369-392（1999；Zbl 0930.68086号)].关于整个系列，请参见[Zbl 1103.68006号]. 引用于11文件 MSC公司： 93立方 由微分方程以外的函数关系控制的控制/观测系统（如混合系统和开关系统） 65年第68季度 形式语言和自动机 91A05型 2人游戏 91A10号 非合作游戏 引文：Zbl 0551.90100号;兹伯利0930.68086 PDF格式BibTeX公司 XML格式引用 \textit{M.De Wulf}等人，Lect。票据计算。科学。3927153--168（2006年；Zbl 1178.93072） 全文： DOI程序