彼得·布利切夫;弗兰克·卡塞兹;亚历山大·戴维;拉森，金·古尔德斯特朗;Jean-François拉斯金;皮埃尔·阿莱·雷尼尔 具有最小观测能力的控制器（应用于定时系统）。 （英语） Zbl 1374.68255号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561223-237（2012）。 摘要：我们考虑了在不完全信息下的控制器综合问题，其中有一组可用的具有代价函数的可观测谓词。我们要解决的问题是计算足以进行控制且成本最小的谓词子集。我们的解决方案避免了对所有可能的谓词子集的全面探索，并在不同的迭代之间重用了一些信息。我们将我们的方法应用于计时系统。我们开发了一个工具原型，并在两个案例研究中分析了优化算法的性能。关于整个系列，请参见[Zbl 1251.68006号]. MSC公司： 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 93亿B50 合成问题 软件：QUASY公司;UPPAAL TIGA公司 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人，Lect。注释计算。科学。7561、223--237（2012年；Zbl 1374.68255） 全文： 内政部 arXiv公司