DocumentCode
3226481
Title
Building hybrid real-time model in water industry systems
Author
Li-Yan, Zhang ; Long-Hua, Ma ; Ji-Xin, Qian
Author_Institution
Inst. of Syst. Eng., Zhejiang Univ., Hangzhou, China
Volume
3
fYear
2002
fDate
28-31 Oct. 2002
Firstpage
1439
Abstract
Hybrid systems are heterogenous dynamical systems characterized by interacting continuous and discrete dynamics. Interval Temporal Logic (ITL) is a temporal logic which includes a basic construct for the sequential composition of two formulas as well as an analog of Kleene star. In this paper, Interval Temporal Logic is applied to represent the hybrid systems. This method is demonstrated by an example in water industry systems.
Keywords
discrete systems; knowledge representation; temporal logic; water supply; Interval Temporal Logic; Kleene star; heterogenous dynamical systems; hybrid systems; knowledge representation; systems modeling; temporal logic; water industry; Communication networks; Context; Knowledge representation; Logic; Manufacturing; Modeling; Real time systems; Systems engineering and theory; Traffic control; Vehicle dynamics;
fLanguage
English
Publisher
ieee
Conference_Titel
TENCON '02. Proceedings. 2002 IEEE Region 10 Conference on Computers, Communications, Control and Power Engineering
Print_ISBN
0-7803-7490-8
Type
conf
DOI
10.1109/TENCON.2002.1182598
Filename
1182598
Link To Document