Decentralized Controller Design for Forbidden States Avoidance in Timed Discrete Event Systems
AbstractA 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.
 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.
 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.
 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.
 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.
 M. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic, Norwell, MA, 1993.
 R. Alur and D. L. Dill, "A theory of timed automata," Theoretical Computer Science, vol. 126, pp. 183–235, 1994.
 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.
 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.
 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.
 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.
 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.
 I. Açiksöz, "Time step approach for timed automata model (in turkish)," M.S. thesis, Anadolu University, Eski¸sehir, Turkey, June 2006.
 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.
 K. Rudie and W. M. Wonham, "Think globally, act locally: decentralized supervisory control," IEEE Transactions on Automatic Control, vol. 37, pp. 1692–1708, 1992.
 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.
 A. Aybar and A. ˙Iftar, "Deadlock avoidance controller design for timed Petri nets using stretching," IEEE Systems Journal, vol. 2, pp. 178–188, 2008.
 M. Ikeda and D. D. Šiljak, "Overlapping decompositions, expansions, and contractions of dynamic systems," Large Scale Systems, vol. 1, pp. 29–38, 1980.
 A. Aybar and A. ˙Iftar, "Overlapping decompositions and expansions of Petri nets," IEEE Transactions on Automatic Control, vol. 47, pp. 511–515, 2002.
 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.
 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.
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
ONLINE OPEN ACCES: Acces to full text of each article and each issue are allowed for free in respect of Attribution-NonCommercial 4.0 International (CC BY-NC 4.0.
You are free to:
-Share: copy and redistribute the material in any medium or format;
-Adapt: remix, transform, and build upon the material.
The licensor cannot revoke these freedoms as long as you follow the license terms.
DISCLAIMER: The author(s) of each article appearing in International Journal of Computers Communications & Control is/are solely responsible for the content thereof; the publication of an article shall not constitute or be deemed to constitute any representation by the Editors or Agora University Press that the data presented therein are original, correct or sufficient to support the conclusions reached or that the experiment design or methodology is adequate.