1、,监控理论,语言规范(specification),语言规范(specification),可控性(controllability),监控器存在的充要条件为系统可控。,可控性(controllability),若系统不可控怎么办?,1. 最小超语言集,2. 最大语言子集,Supremal controllable sublanguage,Infimal prefix-closed controllable superlanguage),可控性(controllability),控制器综合,控制器综合,可观性(observability),可观性(observability),Observabi
2、lity 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 string that appears in the desired behavior.,可观性(observability),监控器存在的充要条件为系统可控和可观。,可观性(observability),可观性(observability),可观性(observability),可观性(observability),可观性(observability),可观性(observability),分布式控制,分布式控制,分布式控制,分布式控制,分布式控制,分布式控制,分布式控制,分布式控制,分布式控制,谢谢!,