Formalizing the general plant for development of hybrid process control systems
Zhenyu Yang, Chen Zong-ji, Xuandong Li · VBN Forskningsportal (Aalborg Universitet) · 1998
Many process control systems are a kind of hybrid systems. In order to develop a satisfied control strategy, i. e., to make the whole system satisfy some processing requirements, the knowledge of plant is indispensable. This paper proposes a formal model for the general plant for a kind of process control systems. Based on the model, requirements for the system can be specified from goals, and the controller can be designed according to plant-based formal approach [6]. An industrial process control system is used to illustrate our models and methods. Duration Calculus, a real-time interval logic, is utilized to specify some characters of the model and development of control program for the exemplified system.