%0 Journal Article
%T A Study of Optimization Techniques about Reachability in Timed Automata<br>时间自动机可达性分析中的状态空间约减技术综述
%A CHEN Ming-Song
%A ZHAO Jian-Hua
%A LI Xuan-Dong
%A ZHENG Guo-Liang
%A <br>陈铭松
%A 赵建华
%A 李宣东
%A 郑国梁
%J 计算机科学
%D 2006
%I 
%X Timed automaton is a useful modeling tool for real-time systems. To check whether a system can reach a specific state, the teachability analysis algorithms explore the state space of timed automata by enumeration of symbolic states. Since clocks are used
%K Real-time system
%K Timed automata
%K State space explosion
%K Reachability analysis<br>实时系统
%K 时间自动机
%K 状态空间爆炸
%K 可达性分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=E65A8AFDDB5A6F2B&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=B31275AF3241DB2D&sid=CA4FD0336C81A37A&eid=B31275AF3241DB2D&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=20