×

具有最小观测功率的控制器(应用于定时系统)。 (英语) Zbl 1374.68255

Chakraborty,Supratik(编辑)等人,《验证和分析自动化技术》。第十届国际研讨会,ATVA 2012,Thiruvananthapuram,印度,2012年10月3-6日。会议记录。柏林:斯普林格出版社(ISBN 978-3-642-33385-9/pbk)。计算机科学课堂讲稿7561223-237(2012)。
摘要:我们考虑了不完全信息下的控制器综合问题,在一组可用的可观测谓词具有一个成本函数的情况下。我们要解决的问题是计算一组足以控制并且代价最小的谓词子集。我们的解决方案避免了对所有可能的谓词子集的全面探索,并在不同的迭代之间重用一些信息。我们将我们的方法应用于定时系统。我们开发了一个工具原型,并通过两个案例分析了优化算法的性能。
整个系列请参见[Zbl 1251.68006].

理学硕士:

68Q45号 形式语言与自动机
68Q60型 规范和验证(程序逻辑、模型检查等)
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
93B50型 综合问题
PDF格式 BibTeX公司 XML 引用