A plant-based formal approach to development of hybrid process control systems

This paper proposes a plant-based formal approach to development of a kind of hybrid process control systems. A hierarchical model consisted of formal specifications of processing equipment, processed objects and their relations is given. Based on the model, requirement specification can be systematically captured, and the controller can be designed by initiation from analyzing and synthesizing the processed object flows. An industrial process control system is used to illustrate our model and methods. Duration calculus, a real-time interval logic, is used to specify some characters of our model and development of control strategy