my paper review

[magulo ()]

    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