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

Aydın Aybar

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.

Keywords


Discrete event systems, Automata, Time delays, Decentralized controller

Full Text:

PDF

References


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

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

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

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.
http://dx.doi.org/10.1007/978-1-4615-3126-5

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

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

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

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

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

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

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.
http://dx.doi.org/10.1109/9.173140

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

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

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.
http://dx.doi.org/10.1109/9.989151

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

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.




DOI: https://doi.org/10.15837/ijccc.2010.4.2494



Copyright (c) 2017 Aydın Aybar

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

CC-BY-NC  License for Website User

Articles published in IJCCC user license are protected by copyright.

Users can access, download, copy, translate the IJCCC articles for non-commercial purposes provided that users, but cannot redistribute, display or adapt:

  • Cite the article using an appropriate bibliographic citation: author(s), article title, journal, volume, issue, page numbers, year of publication, DOI, and the link to the definitive published version on IJCCC website;
  • Maintain the integrity of the IJCCC article;
  • Retain the copyright notices and links to these terms and conditions so it is clear to other users what can and what cannot be done with the  article;
  • Ensure that, for any content in the IJCCC article that is identified as belonging to a third party, any re-use complies with the copyright policies of that third party;
  • Any translations must prominently display the statement: "This is an unofficial translation of an article that appeared in IJCCC. Agora University  has not endorsed this translation."

This is a non commercial license where the use of published articles for commercial purposes is forbiden. 

Commercial purposes include: 

  • Copying or downloading IJCCC articles, or linking to such postings, for further redistribution, sale or licensing, for a fee;
  • Copying, downloading or posting by a site or service that incorporates advertising with such content;
  • The inclusion or incorporation of article content in other works or services (other than normal quotations with an appropriate citation) that is then available for sale or licensing, for a fee;
  • Use of IJCCC articles or article content (other than normal quotations with appropriate citation) by for-profit organizations for promotional purposes, whether for a fee or otherwise;
  • Use for the purposes of monetary reward by means of sale, resale, license, loan, transfer or other form of commercial exploitation;

    The licensor cannot revoke these freedoms as long as you follow the license terms.

[End of CC-BY-NC  License for Website User]


INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL (IJCCC), With Emphasis on the Integration of Three Technologies (C & C & C),  ISSN 1841-9836.

IJCCC was founded in 2006,  at Agora University, by  Ioan DZITAC (Editor-in-Chief),  Florin Gheorghe FILIP (Editor-in-Chief), and  Misu-Jan MANOLESCU (Managing Editor).

Ethics: This journal is a member of, and subscribes to the principles of, the Committee on Publication Ethics (COPE).

Ioan  DZITAC (Editor-in-Chief) at COPE European Seminar, Bruxelles, 2015:

IJCCC is covered/indexed/abstracted in Science Citation Index Expanded (since vol.1(S),  2006); JCR2018: IF=1.585..

IJCCC is indexed in Scopus from 2008 (CiteScore2018 = 1.56):

Nomination by Elsevier for Journal Excellence Award Romania 2015 (SNIP2014 = 1.029): Elsevier/ Scopus

IJCCC was nominated by Elsevier for Journal Excellence Award - "Scopus Awards Romania 2015" (SNIP2014 = 1.029).

IJCCC is in Top 3 of 157 Romanian journals indexed by Scopus (in all fields) and No.1 in Computer Science field by Elsevier/ Scopus.

 

 Impact Factor in JCR2018 (Clarivate Analytics/SCI Expanded/ISI Web of Science): IF=1.585 (Q3). Scopus: CiteScore2018=1.56 (Q2); Editors-in-Chief: Ioan DZITAC & Florin Gheorghe FILIP.