摘要

本文给出了部分可观测输入-状态-输出的状态估计问题(N个-状态)根据经典的观测器自动机实现自动化,每个节点对应于与特定观测序列一致的状态集。接下来,它提供了关于这些观测器的几个复杂度结果,即通过使用相关的有向非循环观测器来限制它们的收敛时间和大小。最后一部分介绍了基于逻辑的动态观测器的概念,说明了如何在谓词演算中对这些观测器进行编码,证明了经典系统和基于逻辑的系统和观测器之间的等价性,并说明了基于逻辑方法的一些优点。

此内容仅以PDF格式提供。
您当前没有访问此文章的权限。