timed automaton

常見例句

Real-time systems are often modeled as timed automaton networks, which are parallel compositions of timed automata.
實(shí)時系統(tǒng)可以使用由多個并發(fā)的時間自動機(jī)組成的時間自動機(jī)網(wǎng)絡(luò)來建模。
Next, a priced probabilistic timed automaton is extended to a multi-priced probabilistic timed automaton with multiple price variables.
另外，通過擴(kuò)展代價和概率時間自動機(jī)模型，得到多代價和概率時間自動機(jī)。
The property of timed automaton is presented. The basic concept of the timed automaton is given. The construction of the region automaton is described, and the algorithm to realize it is given.
給出時間自動機(jī)的基本概念，描述了區(qū)域自動機(jī)的構(gòu)造方法，并且實(shí)現(xiàn)了區(qū)域自動機(jī)的構(gòu)造算法。