彼得·凯恩斯（Peter E.Caines）。；拉塞尔·格雷纳；王苏宁 有限自动机的经典和基于逻辑的动态观测器。 （英语） Zbl 0734.93019号 IMA数学杂志。控制信息。 8，第1号，45-80（1991）. 摘要：本文将部分观测的输入-状态-输出（N状态）自动机的状态估计问题表述为经典的观测器自动机，其每个节点对应于与特定观测序列一致的状态集。接下来，它提供了关于这些观测器的几个复杂度结果，即通过使用相关的有向非循环观测器来限制它们的收敛时间和大小。最后一部分介绍了基于逻辑的动态观测器的概念，说明了如何在谓词演算中对这些观测器进行编码，证明了经典系统和基于逻辑的系统和观测器之间的等价性，并说明了基于逻辑方法的一些优点。 引用于6文件 MSC公司： 93个B07 可观测性 65年第68季度 形式语言和自动机 93A99型 一般系统论 关键词：状态估计问题；基于逻辑的动态观测器 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Caines}等人，IMA J.数学。控制信息8，编号1，45--80（1991；Zbl 0734.93019） 全文： 内政部