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.展开更多
The output feedback model predictive control(MPC),for a linear parameter varying(LPV) process system including unmeasurable model parameters and disturbance(all lying in known polytopes),is considered.Some previously ...The output feedback model predictive control(MPC),for a linear parameter varying(LPV) process system including unmeasurable model parameters and disturbance(all lying in known polytopes),is considered.Some previously developed tools,including the norm-bounding technique for relaxing the disturbance-related constraint handling,the dynamic output feedback law,the notion of quadratic boundedness for specifying the closed-loop stability,and the ellipsoidal state estimation error bound for guaranteeing the recursive feasibility,are merged in the control design.Some previous approaches are shown to be the special cases.An example of continuous stirred tank reactor(CSTR) is given to show the effectiveness of the proposed approaches.展开更多
文摘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.
基金Supported by the National High Technology Research and Development Program of China(2014AA041802)the National Natural Science Foundation of China(61573269)
文摘The output feedback model predictive control(MPC),for a linear parameter varying(LPV) process system including unmeasurable model parameters and disturbance(all lying in known polytopes),is considered.Some previously developed tools,including the norm-bounding technique for relaxing the disturbance-related constraint handling,the dynamic output feedback law,the notion of quadratic boundedness for specifying the closed-loop stability,and the ellipsoidal state estimation error bound for guaranteeing the recursive feasibility,are merged in the control design.Some previous approaches are shown to be the special cases.An example of continuous stirred tank reactor(CSTR) is given to show the effectiveness of the proposed approaches.
