Scholarly record
SMART CAD MODEL FOR SUPERVISORY CONTROL OF DISCRETE INDUSTRIAL SYSTEMS
Abstract
Supervisory Control Theory (SCT) is a general technique to synthesize controller for Discrete Event Systems (DES) such as manufacturing systems, robot systems, communication systems, transport systems etc. The controller for DES is also called as supervisor. The SCT uses formal languages and automata concepts for supervisor synthesis. In SCT, a plant can be modeled by using automata. This automaton is an event sequence generator. Uncontrolled behavior of plant is defined by these generated sequences. The desired controlled behavior of system is defined by specifications. By using SCT, a supervisor can be synthesized for avoiding plant entering from some undesired states. After synthesizing process, the computed supervisor can be implemented to carry out real control tasks. The Programmable Logic Controllers (PLC) are mostly used to perform control tasks in modern industry due to some obvious advantages. It is also obvious that, the supervisor is commonly implemented by means of PLCs or dedicated embedded systems. The most popular computing language for programming PLCs is Ladder Logic Diagrams (LLD). The supervisors in automata form can be easily converted to LLD code. In this, report fundamental information about SCT is presented. As an example, a small manufacturing system that consist of two machines and a buffer is considered. The implementation methodologies of supervisor techniques are also provided.
Publication Impact Profile
Publication details
References8
Cassandras C.G. and Lafortune S., “Introduction to Discrete Event Systems”, September 1999 by Kluwer Academic Publishers, 848 pages, ISBN 0-7923-8609- 4.
Basile F., Chiacchio P., “On the Implementation of Supervised Control of Discrete Event Systems”, IEEE Trans. On Control Systems Technology Vol 15, No 4 July 2007.
Uzam M. “Petri-Net-Based Supervisory Control of Discrete Event Systems and their Ladder Logic Diagram Implementations”, Ph.D. Thesis, Univ. of Salford, UK. 1998.
Koussoulas T., “Discrete Event Dynamic Systems: Which Model to Choose, Computer Aided Control System Design: Methods, Tools and Related Topics”, M.A. Bryds and K. Malinowski (Eds.), World Sci. Publishing Co. Pte. Ltd., 1994.
Ramadge P.J. and Wonham W.M., Modular Supervisory Control of Discrete Event Systems, Proc. of the Seventh Int. Conf. on the Analysis and Optimization of Systems, June 25-27, Antibes, pp. 202-214, Lecture Notes in Control and Optimization of Systems Vol. 83 Springer-Verlag, New York, 1986.
Ramadge P.J. and Wonham W.M., Modular Feedback Logic for Discrete Event Systems, SIAM Journal on Control and Optimization, Vol. 25, No. 5, 1987.
Ramadge P.J. and Wonham W.M., Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, Vol. 25, No. 1, January, 1987.
Wonham W.M. and Ramadge P.J., On the Supremal Controllable Sublanguage of a Given Language”, SIAM Journal on Control and Optimization, Vol. 25,No. 3, pp. 1987.
View or Download full articleAccess options
SWS access login
Login as SWS Scientific CommitteeLogin as SWS Scientific PartnerLogin as SWS AuthorAuthors and approved SWS contributors will read and export their own linked papers after identity matching by SWS profile, email and SGEM GlobalID.
For librarian assistance: [email protected]
Purchase Instant Access
- Article can be downloaded after successful payment.
- Article may be used according to SWS library access terms.
- Article cannot be redistributed.
