|
|
|
| Sequential Controller Synthesis and Formal Models for Batch Chemical Processes |
| LUO Ji-Liang, CHEN Xue-Kun, QI Peng-Fei, ZHAO Po |
| (College of Information Science and Engineering, Huaqiao University, Xiamen 361021, Fujian, China)
|
|
|
|
|
Abstract A method was proposed to design the Petri-net model for a batch chemical system based on the actuator-element net. A process flow was depicted as a sequential control specification that is in the form of a transition sequence. Further, a method was proposed to model this sequential control specification as linear constraints on Petri nets. By the place invariant method, a monitor place was designed for each linear constraints, and consequently, the sequential Petrinet supervisor was obtained. By this method, the closed-loop control system for a complexity chemical process can be modeled, analyzed and perfected based on formal methods.
|
|
Received: 02 June 2012
Published: 29 December 2012
|
|
|
|
| No related articles found! |
|
|
|
|
