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.展开更多
Members of the British Textile Machinery Association(BTMA)can look back on 2025 as a year marked by notable technological advances and continued progress in global trade,despite an uncertain and volatile market.“Our ...Members of the British Textile Machinery Association(BTMA)can look back on 2025 as a year marked by notable technological advances and continued progress in global trade,despite an uncertain and volatile market.“Our members have been very active over the past 12 months and this has resulted in new technologies for the production of technical fibres and fabrics,the introduction of AI and machine learning into process control systems and significant advances in materials testing,”says BTMA CEO Jason Kent.“There’s real excitement about what can be achieved in 2026 as we look ahead to upcoming exhibitions such as JEC Composites in Paris in March and Techtextil in Frankfurt in April.”展开更多
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.
文摘Members of the British Textile Machinery Association(BTMA)can look back on 2025 as a year marked by notable technological advances and continued progress in global trade,despite an uncertain and volatile market.“Our members have been very active over the past 12 months and this has resulted in new technologies for the production of technical fibres and fabrics,the introduction of AI and machine learning into process control systems and significant advances in materials testing,”says BTMA CEO Jason Kent.“There’s real excitement about what can be achieved in 2026 as we look ahead to upcoming exhibitions such as JEC Composites in Paris in March and Techtextil in Frankfurt in April.”
基金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.
