Modelling, Synthesis, and Simulation of Supervisory Process Control Systems

G. Mušic, D. Matko and B. Zupancic

Mathematical and Computer Modelling of Dynamical Systems, 2000, vol. 6, issue 2, 169-189

Abstract: Modelling, synthesis, and simulation issues of the supervisory systems in process control are investigated in the paper. Petri nets are used as a basic modelling framework for the supervisory part of the system. It is shown how the final verification effort can be minimised by applying formal synthesis methods. A straightforward approach to the industrial implementation of the developed solutions is suggested by means of sequential function chart representation. A batch process cell case study is used to illustrate the described concepts. Corresponding continuous and discrete event models of the process cell units are developed and a co-ordinating supervisor is designed by the method of place invariants. The system is simulated by the continuous simulation tool Matlab-Simulink, which is enhanced for simulation of the sequential control logic represented by sequential function chart.

Date: 2000
References: Add references at CitEc
Citations:

Downloads: (external link)
http://hdl.handle.net/10.1076/1387-3954(200006)6:2;1-M;FT169 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:taf:nmcmxx:v:6:y:2000:i:2:p:169-189

Ordering information: This journal article can be ordered from
http://www.tandfonline.com/pricing/journal/NMCM20

DOI: 10.1076/1387-3954(200006)6:2;1-M;FT169

Access Statistics for this article

Mathematical and Computer Modelling of Dynamical Systems is currently edited by I. Troch

More articles in Mathematical and Computer Modelling of Dynamical Systems from Taylor & Francis Journals
Bibliographic data for series maintained by Chris Longhurst ().