%0 Journal Article
%T Diagnosis of Active Systems Modeling with Time Interval Algebra<br>一种结合时间区间代数建模的主动系统的故障诊断方法
%A ZHAO Xiang-fu
%A OUYANG Dan-tong
%A <br>赵相福
%A 欧阳丹彤
%J 计算机科学
%D 2008
%I 
%X 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...
%K Model-based diagnosis
%K Active systems
%K Discrete event systems
%K Time interval algebra
%K Automata<br>基于模型的诊断
%K 主动系统
%K 离散事件系统
%K 时间区间代数
%K 自动机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=7CF70F84735AFC85A66D0B0E8839EEF0&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=59906B3B2830C2C5&sid=205BE674D84A456D&eid=A8DE7703CC9E390F&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=18