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
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;
Conference_Titel :
TENCON '02. Proceedings. 2002 IEEE Region 10 Conference on Computers, Communications, Control and Power Engineering
Print_ISBN :
0-7803-7490-8
DOI :
10.1109/TENCON.2002.1182598
