Building hybrid real-time model in water industry systems

扫码查看

原文链接

NETL

外文摘要：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。

外文关键词：

temporal logicwater supplyknowledge representationdiscrete systemshybrid systemsheterogenous dynamical systemstemporal logicInterval Temporal LogicKleene starwater industrysystems modelingknowledge representation

作者：

Zhang Li-yan、Ma Long-hua、Qian Ji-xin

展开 >

作者单位：

Inst. of Syst. Eng., Zhejiang Univ., Hangzhou, China

会议母体文献：

TENCON '02. Proceedings. 2002 IEEE Region 10 Conference on Computers, Communications, Control and Power Engineering

页码：

p.1439-1442

DOI：

10.1109/TENCON.2002.1182598