Decentralized structural controller design for large-scale discrete-event systems modelled by Petri nets

Aydın Aybar; Altuğ İftar

Kybernetika (2009)

  • Volume: 45, Issue: 1, page 3-14
  • ISSN: 0023-5954

Abstract

top
A decentralized structural controller design approach for discrete-event systems modelled by Petri nets is presented. The approach makes use of overlapping decompositions. The given Petri net model is first overlappingly decomposed into a number of Petri subnets and is expanded to obtain disjoint Petri subnets. A structural controller is then designed for each Petri subnet to avoid deadlock. The obtained controllers are finally applied to the original Petri net. The proposed approach significantly reduces the computational burden to design the controller. Furthermore, the controller obtained is decentralized and, hence, is easier to implement.

How to cite

top

Aybar, Aydın, and İftar, Altuğ. "Decentralized structural controller design for large-scale discrete-event systems modelled by Petri nets." Kybernetika 45.1 (2009): 3-14. <http://eudml.org/doc/37657>.

@article{Aybar2009,
abstract = {A decentralized structural controller design approach for discrete-event systems modelled by Petri nets is presented. The approach makes use of overlapping decompositions. The given Petri net model is first overlappingly decomposed into a number of Petri subnets and is expanded to obtain disjoint Petri subnets. A structural controller is then designed for each Petri subnet to avoid deadlock. The obtained controllers are finally applied to the original Petri net. The proposed approach significantly reduces the computational burden to design the controller. Furthermore, the controller obtained is decentralized and, hence, is easier to implement.},
author = {Aybar, Aydın, İftar, Altuğ},
journal = {Kybernetika},
keywords = {large-scale systems; discrete-event systems; overlapping decompositions; large-scale systems; discrete-event systems; overlapping decompositions},
language = {eng},
number = {1},
pages = {3-14},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Decentralized structural controller design for large-scale discrete-event systems modelled by Petri nets},
url = {http://eudml.org/doc/37657},
volume = {45},
year = {2009},
}

TY - JOUR
AU - Aybar, Aydın
AU - İftar, Altuğ
TI - Decentralized structural controller design for large-scale discrete-event systems modelled by Petri nets
JO - Kybernetika
PY - 2009
PB - Institute of Information Theory and Automation AS CR
VL - 45
IS - 1
SP - 3
EP - 14
AB - A decentralized structural controller design approach for discrete-event systems modelled by Petri nets is presented. The approach makes use of overlapping decompositions. The given Petri net model is first overlappingly decomposed into a number of Petri subnets and is expanded to obtain disjoint Petri subnets. A structural controller is then designed for each Petri subnet to avoid deadlock. The obtained controllers are finally applied to the original Petri net. The proposed approach significantly reduces the computational burden to design the controller. Furthermore, the controller obtained is decentralized and, hence, is easier to implement.
LA - eng
KW - large-scale systems; discrete-event systems; overlapping decompositions; large-scale systems; discrete-event systems; overlapping decompositions
UR - http://eudml.org/doc/37657
ER -

References

top
  1. Decentralized routing controller design using overlapping decompositions, Internat. J. Control 72 (1999), 1175–1192. MR1717872
  2. Decentralized supervisory controller design for discrete-event systems using overlapping decompositions and expansions, Dynamics of Continuous, Discrete and Impulse Systems (Series B) 11 (2004), 553–568. MR2071227
  3. Overlapping decompositions and expansions of Petri nets, IEEE Trans. Automat. Control 47 (2002), 511–515. MR1891337
  4. Decentralized controller design to enforce boundedness, liveness and reversibility in Petri nets, In: Proc. CD-ROM of the European Control Conference, Cambridge 2003. 
  5. Decentralized supervisory controller design to avoid deadlock in Petri nets, Internat. J. Control 76 (2003), 1285–1295. Also see: A. Aybar and A. İftar: Corrections to decentralized supervisory controller design to avoid deadlock in Petri nets. Internat. J. Control 76 (2003), p. 1584. MR1992919
  6. Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets, Internat. J. Control 78 (2005), 537–553. MR2147642
  7. Generalized selection of complementary matrices in the inclusion principle, IEEE Trans. Automat. Control 45 (2000), 1237–1243. MR1778388
  8. Deadlock avoidance in FMS based on structural theory of Petri nets, In: Proc. 1995 IEEE Symposium on the Emerging Technology and Factory Automation, Paris 1995, pp. 499–510. 
  9. Introduction to Discrete Event Systems, Kluwer Academic Publishers, Norwell 1999. MR1728175
  10. Some results on the computation of minimal siphons in Petri nets, In: Proc. IEEE Conference on Decision and Control, Maui 2003, pp. 3754–3759. 
  11. Decidability Issues in Petri Nets, BRICS Report Series, RS-94-8, Department of Computer Science, University of Aarhus 1994. 
  12. Comparing digraph and Petri net approaches to deadlock avoidance in FMS, IEEE Trans. Systems, Man and Cybernetics, Part B 30 (2000), 783–798. 
  13. Deadlock control methods in automated manufacturing systems, IEEE Trans. Systems, Man, and Cybernetics, Part A 34 (2004), 5–22. 
  14. Discrete Event Dynamic Systems: Analyzing Complexity and Performance in the Modern World, A Selected Reprint Volume. The Institute of Electrical and Electronics Engineers, New York 1992. 
  15. On closed-loop liveness of discrete-event systems under maximally permissive control, IEEE Trans. Automat. Control 37 (1992), 692–697. MR1158617
  16. Overlapping decentralized dynamic optimal control, Internat. J. Control 58 (1993), 187–209. MR1222143
  17. Decentralized estimation and control with overlapping input, state, and output decomposition, Automatica 29 (1993), 511–516. MR1211311
  18. Local LQG/LTR controller design for decentralized systems, IEEE Trans. Automat. Control 32 (1987), 926–930. 
  19. Contractible controller design and optimal control with state and input inclusion, Automatica 26 (1990), 593–597. MR1056141
  20. Overlapping decompositions, expansions, contractions, and stability of hybrid systems, IEEE Trans. Automat. Control 43 (1998), 1040–1055. MR1636494
  21. Overlapping decompositions, expansions, and contractions of dynamic systems, Large Scale Systems 1 (1980), 29–38. MR0617153
  22. Overlapping decentralized control with input, state, and output inclusion, Control Theory Adv. Technol. 2 (1986), 155–172. 
  23. Decentralized control with overlapping information sets, J. Optim. Theory Appl. 34 (1981), 279–310. MR0625231
  24. Software Tools for the Supervisory Control of Petri Nets Based on Place Invariants, Tech. Rep. ISIS-2002-003, the ISIS Group at the University of Notre Dame, 2002. 
  25. Design of -liveness enforcing supervisors in Petri nets, IEEE Trans. Automat. Control 48 (2003), 1962–1974. MR2017627
  26. A method for the synthesis of liveness enforcing supervisors in Petri nets, In: Proc. American Control Conference, Arligton 2001, pp. 4943–4948. 
  27. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems, IEEE Trans. Systems, Man and Cybernetics, Part A, 34 (2004), 38–51. 
  28. Decentralized control using quasi-block diagonal dominance of transfer function matrices, IEEE Trans. Automat. Control 31 (1986), 420–430. MR0833851
  29. Petri Nets: A Tool for Design and Management of Manufacturing Systems, Wiley, West Sussex 1996. 
  30. On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modelled by controlled Petri nets, IEEE Trans. Automat. Control 42 (1997), 928–945. MR1469834
  31. An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems, IEEE Trans. Systems, Man, and Cybernetics, Part A, 37 (2007), 362–371. 
  32. A Petri nets based deadlock avoidance policy for flexible manufacturing systems, In: Proc. 30th Annual Conference of the IEEE Industrial Electronics Society, Busan 2004, pp. 1896–1901. 
  33. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models, IEEE Trans. Robotics and Automation 6 (1990), 713–723. 
  34. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic Publishers, Norwell 1993. 

NotesEmbed ?

top

You must be logged in to post comments.