Diagnosis of Active Systems Modeling with Time Interval Algebra
一种结合时间区间代数建模的主动系统的故障诊断方法

Diagnosis of serial event driven active systems with global clock and linear observation was studied.Time interval algebra was introduced for representing detailed time information into automata.And active systems can be modeled by this kind of timed automata.At the same time,the corresponding time information was added to observation.As a result of detailed time information,space of the interpretation of the active system is further reduced,and diagnosis efficiency is improved as well.Finally,approaches to...