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 indispensabl...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 . 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.展开更多
文摘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 . 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.
