Modeling and optimal control based on logic methods in water industry systems

Authors:
Longhua Ma;Jingtao Huang
Affiliations:
National Laboratory of Industrial Control Technology, Institute of Systems Engineering, Zhejiang University, Hangzhou, China;National Laboratory of Industrial Control Technology, Institute of Systems Engineering, Zhejiang University, Hangzhou, China
Venue:
MIC'06 Proceedings of the 25th IASTED international conference on Modeling, indentification, and control
Year:
2006

Citing 2
Cited 0

A Complete Axiomatization of Interval Temporal Logic with Infinite Time

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Control of systems integrating logic, dynamics, and constraints

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

There are many hybrid systems in water industry field. The hybrid systems contain two distinct types of components: continuous dynamical subsystems and discrete dynamical subsystems, which interact with each other. Two kinds of logic methods, mixed logical dynamic (MLD) systems and interval temporal logic (ITL), can be applied to represent hybrid systems in industrial process. In this paper, MLD and ITL were introduced to the modeling of hybrid systems respectively. And the application of these two methods to water industry systems is presented as an example. The results show that MLD and ITL have advantages in modeling hybrid systems of wastewater treatment.