作者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