第二章监控理论.pptVIP

监控理论 语言规范(specification) 语言规范(specification) 可控性(controllability) 监控器存在的充要条件为系统可控。 可控性(controllability) 若系统不可控怎么办？ 1. 最小超语言集 2. 最大语言子集 Supremal controllable sublanguage Infimal prefix-closed controllable superlanguage) 可控性(controllability) 控制器综合 控制器综合 可观性(observability) 可观性(observability) Observability means: If you cannot differentiate between two strings, then these strings should require the same control action. Another way to phrase this, from the point of view of event disablement, is: If you must disable an event after observing a string, then by doing so you should not disable any st