Computer Science ›› 2007, Vol. 34 ›› Issue (11): 279-282.
Previous Articles Next Articles
ZHANG Hai-Bin ,DUAN Zhen-Hua (School of Computer Science and Technology,Xidian University,Xi'an 710071)
Online:
Published:
Abstract: To describe properties of hybrid systems, many temporal logics such as Hybrid Temporal Logic have been formalized. Although being good at describing properties of hybrid systems, these logics are not suitable for describing the behaviors of such systems.
Key words: Hybrid systems, Hybrid automata, Interval temporal logic, Formal verification
ZHANG Hai-Bin ,DUAN Zhen-Hua (School of Computer Science and Technology,Xidian University,Xi'an 710071). [J].Computer Science, 2007, 34(11): 279-282.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2007/V34/I11/279
Cited