逻辑动态系统的能观性及非奇异性

研究逻辑动态系统的能观性和非奇异性问题——分别为通过观测输出来得到初始状态和输入.针对这两类问题,分别定义两种不同的加权点对图,从而提供一个判别能观性和非奇异性的通用方法.为解决如何判别能观性,用相应的加权点对图来构造有限自动机,然后通过判别该自动机的完备性来判别能观性.另外,直接从对应于非奇异性的加权点对图出发构造出判别非奇异性的算法.