作者magulo ()
看板NTUEE_VAL
标题my paper review
时间Wed Jun 14 11:51:06 2006
Automatic abstraction of timed components..
这篇论文说想到一个新方法来产生
small-complexity abstractions of timed automata
做法简单讲:
第一步:将原本的automata 增广带有input clocks
第二步:计算the "reachable" time automata that correspond to the
augmented model
最後: hiding the internal variables and clocks of the system
(简单讲就是把多加上去的东西删掉....)
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.4.242