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:2018-11-16 Published:2018-11-16

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

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!