Formalizing the general plant for development of hybrid process control systems

Zhenyu Yang,Zongji Chen,Xuandong Li
IF: 1.363
1998-01-01
Journal of Systems Engineering and Electronics
Abstract: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...
What problem does this paper attempt to address?