Decentralized Controller Design for Forbidden States Avoidance in Timed Discrete Event Systems

  • Aydın Aybar Anadolu University, Dept. of Electrical and Electronics Engineering 26555, Eski¸sehir, Turkey. E-mail:

Abstract

A decentralized controller design approach is developed for the timed discrete event systems which are modelled by timed automata in this work. An approach, called augmentation, is presented to obtain the new modelling method such that each unit delay of any event represents a pair of new state and event. The augmented automata model, obtained by using this approach, is considered to design a decentralized controller. This controller design approach is developed such that the local controller is designed for each subautomaton, obtained by using overlapping decompositions and expansions and these controllers are then combined to obtain a decentralized controller for the given timed automaton. The designed decentralized controller guarantees the unreachability of a forbidden state in the considered automaton.

References

[1] P. J. G. Ramadge and W. M. Wonham, "The control of discrete event systems," Proceedings of the IEEE, vol. 77, pp. 81–98, 1989.
http://dx.doi.org/10.1109/5.21072

[2] R. S. Sreenivas and B. H. Krogh, "On Petri net models of infinite state supervisors," IEEE Transactions on Automatic Control, vol. 37, pp. 274–277, 1992.
http://dx.doi.org/10.1109/9.121634

[3] A. Aybar and A. ˙Iftar, "Decentralized supervisory controller design to avoid deadlock in Petri nets," International Journal of Control, vol. 76, pp. 1285–1295, 2003.
http://dx.doi.org/10.1080/0020717031000149609

[4] A. Aybar and A. ˙Iftar, "Decentralized supervisory controller design for discrete-event systems using overlapping decompositions and expansions," Dynamics of Continuous, Discrete and Impulse Systems (Series B), vol. 11, pp. 553–568, 2004.

[5] A. A. Desrochers and R. Y. Al-Jaar, Applications of Petri Nets in Manufacturing Systems, The Institute of Electrical and Electronics Engineers Inc., New York, 1995.

[6] M. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic, Norwell, MA, 1993.
http://dx.doi.org/10.1007/978-1-4615-3126-5

[7] R. Alur and D. L. Dill, "A theory of timed automata," Theoretical Computer Science, vol. 126, pp. 183–235, 1994.
http://dx.doi.org/10.1016/0304-3975(94)90010-8

[8] A. Gouin and J. Ferrier, "Temporal coherence of timed automata product," in Proc. of the 1999 IEEE International Conference on Systems, Man, and Cybernetics, October 1999, pp. 176–181.
http://dx.doi.org/10.1109/icsmc.1999.814083

[9] J. Krakora, L. Waszniowski, P. Pisa, and Z. Hanzalek, "Timed automata approach to real time distributed system verification," in Proc. of the 2004 IEEE International Workshop on Factory Communication Systems, September 2004, pp. 407–410.
http://dx.doi.org/10.1109/WFCS.2004.1377759

[10] A. Khoumsi, "A supervisory control method for ensuring the comformance of real-time discrete event systems," Discrete Event Dynamic Systems: Theory and Applications, vol. 15, pp. 397–431, 2005.
http://dx.doi.org/10.1007/s10626-005-4059-x

[11] B. A. Bradin and W. M. Wonham, "Supervisory control of timed discrete–event systems," IEEE Transactions on Automatic Control, vol. 39, pp. 329–342, 1994.
http://dx.doi.org/10.1109/9.272327

[12] F. Lin and W. M. Wonham, "Supervisory control of timed discrete–event systems under partial observation," IEEE Transactions on Automatic Control, vol. 40, pp. 558–562, 1995.
http://dx.doi.org/10.1109/9.376081

[13] I. Açiksöz, "Time step approach for timed automata model (in turkish)," M.S. thesis, Anadolu University, Eski¸sehir, Turkey, June 2006.

[14] A. Aybar and A. ˙Iftar, "Overlapping decompositions of large–scale discrete–event systems," in Proceeding CD-ROM of The 15th IFAC World Congress, Barcelona, Spain, July 2002.

[15] K. Rudie and W. M. Wonham, "Think globally, act locally: decentralized supervisory control," IEEE Transactions on Automatic Control, vol. 37, pp. 1692–1708, 1992.
http://dx.doi.org/10.1109/9.173140

[16] A. Aybar and A. ˙Iftar, "Supervisory controller design for timed Petri nets," in Proceedings of the IEEE International Conference on System of Systems Engineering, Los Angeles, CA, U.S.A., Apr. 2006, pp. 59–64.
http://dx.doi.org/10.1109/sysose.2006.1652274

[17] A. Aybar and A. ˙Iftar, "Deadlock avoidance controller design for timed Petri nets using stretching," IEEE Systems Journal, vol. 2, pp. 178–188, 2008.
http://dx.doi.org/10.1109/JSYST.2008.923193

[18] M. Ikeda and D. D. Šiljak, "Overlapping decompositions, expansions, and contractions of dynamic systems," Large Scale Systems, vol. 1, pp. 29–38, 1980.

[19] A. Aybar and A. ˙Iftar, "Overlapping decompositions and expansions of Petri nets," IEEE Transactions on Automatic Control, vol. 47, pp. 511–515, 2002.
http://dx.doi.org/10.1109/9.989151

[20] A. Aybar, A. ˙Iftar, and H. Apaydin-Özkan, "Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets," International Journal of Control, vol. 78, pp. 537–553, 2005.
http://dx.doi.org/10.1080/00207170500036076

[21] M. Ikeda and D. D. Šiljak, "Overlapping decentralized control with input, state, and output inclusion," Control Theory and Advanced Technology, vol. 2, pp. 155–172, 1986.
Published
2010-11-01
How to Cite
AYBAR, Aydın. Decentralized Controller Design for Forbidden States Avoidance in Timed Discrete Event Systems. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, [S.l.], v. 5, n. 4, p. 447-457, nov. 2010. ISSN 1841-9844. Available at: <http://univagora.ro/jour/index.php/ijccc/article/view/2494>. Date accessed: 06 aug. 2020. doi: https://doi.org/10.15837/ijccc.2010.4.2494.

Keywords

Discrete event systems, Automata, Time delays, Decentralized controller