Coordination, Resource Allocation, and Deadlock Avoidance of Hybrid Processes Using Discrete Event Supervisors

Document Type : Original Article

Authors

1 Dept. of Industrial Electronics and Control Engineering, Faculty of Electronic Engineering, Minufiya University, Minuf, 32952, Egypt.

2 Dept. of Computer and Systems Engineering, Faculty of Engineering, Ain Shams University, Cairo, Egypt.

3 Dept. of Industrial Electronics and Control Engineering, Faculty of Electronic Engineering, Minufiya University, Minuf, 32952, Egypt

Abstract

The complex man-made systems which have a hybrid nature contain two distinct types of systems, one with continuous dynamics (Continuous Variable Dynamic System; CVDS) and the other with discrete dynamics (Discrete Event Dynamic System; DEDS). Studying such systems is central in designing intelligent hybrid control systems with high degree of autonomy and it is essential in designing discrete event supervisory controllers for continuous local controllers. The main objective of this paper is to design a discrete event supervisory controller for continuous systems. This controller should perform coordination, resource allocation, and deadlock avoidance tasks at the higher level of the hybrid systems. A batch chemical process is employed for testing the proposed scheme in this paper.

Keywords

References

 
[1]       E.P.Chong. "Discrete Event Systems and their optimization" West Lafayette, IN 47907-1285.version: September 7, 1999.
[2]       P.J. Antsaklis. "Intelligent Control" Encyclopedia of Electrical and Electronics Engineering, John Wiley & Sons, Inc., Vol. 10, pp. 493-503, 1999.
[3]       M.D. Lemmon, K.X. He, and I. Markovsky. "A Tutorial Introduction to Supervisory Hybrid Systems" Technical Report of the ISIS Group at the University of Notre Dame ISIS-98-004, October, 1998.
[4]       P.J. Antsaklis and A. Nerode. "Special Issue on Hybrid Control Systems" IEEE Transactions on Automatic Control,. vol. 43, no. 4, April 1998.
[5]       Yu-Chi Ho "DEDS Analyzing Complexity And Performance in the modern world" IEEE Press ,ISBN 0-87942-281-5,1992.
[6]       G. Cohn, P. Moller Cnet ,and J.P. Quadrat. " Linear System Theory For Discrete  Event Systems" Proceedings of 23rd Conference on Decision and Control Las Vegas, NV, December 1984.
X.-R. Cao and Y.-C. Ho. “Models of discrete event dynamic systems,” IEEE Contr. Syst. Mag., vol. 10, pp. 69–76, June 1990
[1]       E .John, Hopcroft and D .Jeffrey. "Introduction to Automata Theory, Languages, And Computation "Addison-Wesley series in computer science.ISBN 0-201-02988-X,1979.
[2]       P. Linz. “An Introduction to Formal Languages and Automata” Jones and Barteltt Pub., Sundbury, Massachusetts,2001.
[3]       P.J. Ramadge, and W.M .Wonham " The Control of Discrete Event Systems". Proc. IEEE,vol.77, pp. 81-97, 1989.
[4]       W. M. Wonham. "Supervisory control of discrete event systems". ECE 1636F/1637S 2006-2007. Systems Control Group, Dept. of ECE, University of Toronto, URL: www.control.utoronto.ca/people/profs/wonham/wonham.html.
[5]       Y. Brave, and M.Heymann. " Control of Discrete Event Systems Modeled as Hierarchical State Machines". IEEE Trans. on Automatic Control , vol.38,no.12, pp.1803-1819,1993
[6]       A. Giua, and F. DiCesare. " Generalized mutual exclusion constraints on nets with uncontrollable transitions". In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics Chicago, Illinois, pp. 974-979,1992.
[7]       [14] K.Yamalidou, J.Moody, M. Lemmon, and P .Antsaklis. " Feedback Control of Petri Nets Based on Place Invariants", Automatica, vol.32 ,pp. 15-28 ,1996.
[8]       M.C.Zhou, F. DiCesare,  and D.L .Rudolph." Design and Implementation of a Petri Net Based Supervisor for a Flexible Manufacturing System", Automatica, vol.28, pp. 1199-1208,1992.
[9]       A. Giua and F. DiCesare. “Petri net structural analysis for supervisory control”, IEEE Trans. Robot. Automat., vol. 10, pp. 185–195, Apr. 1994.
[10]   M. V. Iordache and P. J. Antsaklis."Supervision Based On Place Invariants: A Survey", Technical Report of the ISIS Group at the University of Notre Dame ISIS-2004-003 July, 2004.
[11]   F. Charbonnier,  H. Alla and R. David. “The Supervised Control of Discrete Event Dynamic Systems: A New Approach”, Proceedings of the 34th IEEE Conference on Decision and Control, New Orleans, Louisiana, USA, pp 913-920, December 1995.
[12]   T. Murata " Petri Nets: Properties, Analysis and Applications", Proc. IEEE, 77, pp.541-580 ,1989.
[13]   R. David, and H .Alla." Petri Nets for Modeling of Dynamic Systems :A Survey". Automatica, vol.30, pp. 175-202, 1994.
[14]   R. David ,and H. Alla. "Petri Nets and Grafcet tools for modeling discrete event systems”, Prentice Hall Ed., London,1998.
[15]   M. C. Zhou and F. DiCesare, "Parallel and Sequential Mutual Exclusions for Petri Net    Modeling of Manufacturing Systems with Shared Resources" , IEEE Trans. on Robotics and Automation, vol. 7, no. 4, pp. 515-527,1991.
[16]   R. Zurawski and M. Zhou, “Petri nets and industrial applications: A tutorial ”, IEEE Trans Ind. Electron., vol. 41, pp. 567–582, Dec. 1994.
[17]   B.H. Krogh and L.E. Holloway. "Synthesis of Feedback Control Logic for Discrete Manufacturing Systems"  Automatica, vol. 27, no. 4, pp. 641-651, 1991.
[18]   I.Demongodin and N.T.Koussoulas "Differential Petri Net models for industrial automation and supervisory control",IEEE Transaction on Systems,Man,And Cybernetics-part c :Application and Reviews,vol.36,no.4,pp.543-553,July 2006.
[1]       P. Freedman ."Time, Petri Nets, and Robotics", IEEE Trans. on Control Systems Technology, vol. 7, no. 4, pp. 417-433,1991.
[2]       G. Music , and D. Matko, "Petri Net Based Supervisory Control of Flexible Batch Plants". In Prepr. 8th IFAC Symp. on Large Scale Systems: Theory & Application,Vol. II, Rio Patras, pp. 989-994,1998.
[3]       M. Zhou, F. DiCesare and A. A. Desrochers. "A Hybrid Methodology for Synthesis of Petri Net Models for Manufacturing Systems", IEEE Trans. on Robotics and Automation, vol. 8, no. 3 ,pp. 350-361, 1992.
[4]       M.D .Jeng, and F.DiCesare. " A Review of Synthesis Techniques for Petri Nets with Applications to Automated Manufacturing Systems". IEEE Trans. on Systems, Man, and Cybernetics,vol. 23, pp. 301-312, 1993.
[5]       G. Music, D. Matko. "Petri Net Based Control of a Modular Production System", in Proc. IEEE International Symp. on Industrial Electronics, vol. 3, Bled, Slovenia, pp. 1383-1388,1999.
[6]       R. David. "Grafcet: A Powerful Tool for Specification of Logic Controllers", IEEE Trans. on Control Systems Technology, vol. 3, no. 3, pp. 253-268,1995.
[7]       A. Ghaffari, N. Rezg, and X. Xie. "Design of a live and maximally permissive petri net controller using the theory of regions". IEEE Transactions on Robotics and Automation, vol.19,no.1,pp.137–142, 2003.
[8]       Y. Li and W. Wonham. "Control of Vector Discrete-Event Systems" I - The Base Model. IEEE Transactions on Automatic Control, vol.38,no.8,pp.1214–1227, 1993.
[9]       Y. Li and W. Wonham. "Control of Vector Discrete-Event Systems" II - Controller Synthesis. IEEE Transactions on Automatic Control, vol.39,no.3,pp.512–530, 1994.
[10]   A. Giua, and F. DiCesare. "Generalized mutual exclusion constraints on nets with uncontrollable transitions". In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (Chicago, Illinois), pp. 974–979, 1992.
[11]   J. O. Moody and P. J. Antsaklis. "Petri net supervisors for DES with uncontrollable and unobservable transitions". IEEE Transactions on Automatic Control, vol.45,no.3,pp.462–476, 2000.
[12]   A.R. Wang , Z. W.L1, and J.Y. JFA. "A Petri Nets Based Deadlock Avoidance Policy for  Flexible Manufacturing Systems", The 30th Annual Conference of the IEEE lndustrlal  Electronics Society, Busen, Korea. ,pp. 1896-1901, November,2004.
[13]   J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for            flexible manufacturing systems", IEEE Transactions on Robotics and Automation, vol. 11,            no. 2, pp. 173-184, April1995 .          
[14]   G. Music and D. Matko. "Petri Net Based Supervisory Control of Flexible Batch Plant",  Preprints of the 8th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems, Rio Patras, Greece, Vol. 2, pp. 989-994, 1998.
[15]   L.Ferrarini,and L.Piroddi. "Modular design and implementation of logic control system for a batch process", Computer and Chemical Engineering,vol. 27,pp.983-996, 2003.
[16]   B.Lennartson, B .Egardt, and M. Tittus.  "Hybrid Systems in Process Control". In Proc. of 33rd Conference on Decision and Control , Lake Buena, USA. IEEE. pp. 3587-3592,  1994

Files

Share

How to cite

Statistics