Article
Full entry |
PDF
(0.9 MB)
Feedback
PDF
(0.9 MB)
Feedback
Keywords:
large-scale systems; discrete-event systems; overlapping decompositions
large-scale systems; discrete-event systems; overlapping decompositions
Summary:
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.
References:
[1] B. Ataşlar and A. İftar: Decentralized routing controller design using overlapping decompositions. Internat. J. Control 72 (1999), 1175–1192. MR 1717872
[2] A. Aybar and A. İftar: 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. MR 2071227
[3] A. Aybar and A. İftar: Overlapping decompositions and expansions of Petri nets. IEEE Trans. Automat. Control 47 (2002), 511–515. MR 1891337
[4] A. Aybar and A. İftar: Decentralized controller design to enforce boundedness, liveness and reversibility in Petri nets. In: Proc. CD-ROM of the European Control Conference, Cambridge 2003.
[5] A. Aybar and A. İftar: 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. MR 1992919
[6] A. Aybar, A. İftar, and H. Apaydın-Özkan: Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets. Internat. J. Control 78 (2005), 537–553. MR 2147642
[7] L. Bakule, J. Rodellar, and J. M. Rossell: Generalized selection of complementary matrices in the inclusion principle. IEEE Trans. Automat. Control 45 (2000), 1237–1243. MR 1778388
[8] K. Barkaoui and I. B. Abdallah: 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] C. G. Cassandras and S. Lafortune: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Norwell 1999. MR 1728175
[10] R. Cordone, L. Ferrarini, and L. Piroddi: 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] J. Esparza and M. Nielsen: Decidability Issues in Petri Nets. BRICS Report Series, RS-94-8, Department of Computer Science, University of Aarhus 1994.
[12] M. P. Fanti, B. Maione, and B. Turchiano: Comparing digraph and Petri net approaches to deadlock avoidance in FMS. IEEE Trans. Systems, Man and Cybernetics, Part B 30 (2000), 783–798.
[13] M. P. Fanti and M. Zhou: Deadlock control methods in automated manufacturing systems. IEEE Trans. Systems, Man, and Cybernetics, Part A 34 (2004), 5–22.
[14] Y. Ho (ed.): 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] L. E. Holloway and B. H. Krogh: On closed-loop liveness of discrete-event systems under maximally permissive control. IEEE Trans. Automat. Control 37 (1992), 692–697. MR 1158617
[16] A. İftar: Overlapping decentralized dynamic optimal control. Internat. J. Control 58 (1993), 187–209. MR 1222143
[17] A. İftar: Decentralized estimation and control with overlapping input, state, and output decomposition. Automatica 29 (1993), 511–516. MR 1211311
[18] A. İftar and Ü. Özgüner: Local LQG/LTR controller design for decentralized systems. IEEE Trans. Automat. Control 32 (1987), 926–930.
[19] A. İftar and Ü. Özgüner: Contractible controller design and optimal control with state and input inclusion. Automatica 26 (1990), 593–597. MR 1056141
[20] A. İftar and Ü. Özgüner: Overlapping decompositions, expansions, contractions, and stability of hybrid systems. IEEE Trans. Automat. Control 43 (1998), 1040–1055. MR 1636494
[21] M. Ikeda and D. D. Šiljak: Overlapping decompositions, expansions, and contractions of dynamic systems. Large Scale Systems 1 (1980), 29–38. MR 0617153
[22] M. Ikeda and D. D. Šiljak: Overlapping decentralized control with input, state, and output inclusion. Control Theory Adv. Technol. 2 (1986), 155–172.
[23] M. Ikeda, D. D. Šiljak, and D. E. White: Decentralized control with overlapping information sets. J. Optim. Theory Appl. 34 (1981), 279–310. MR 0625231
[24] M. V. Iordache and P. J. Antsaklis: 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] M. V. Iordache and P. J. Antsaklis: Design of ${\cal T}$-liveness enforcing supervisors in Petri nets. IEEE Trans. Automat. Control 48 (2003), 1962–1974. MR 2017627
[26] M. V. Iordache, J. O. Moody, and P. J. Antsaklis: A method for the synthesis of liveness enforcing supervisors in Petri nets. In: Proc. American Control Conference, Arligton 2001, pp. 4943–4948.
[27] Z. W. Li and M. C. Zhou: 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] Y. Ohta, D. D. Šiljak, and T. Matsumoto: Decentralized control using quasi-block diagonal dominance of transfer function matrices. IEEE Trans. Automat. Control 31 (1986), 420–430. MR 0833851
[29] J. Proth and X. Xie: Petri Nets: A Tool for Design and Management of Manufacturing Systems. Wiley, West Sussex 1996.
[30] R. S. Sreenivas: 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. MR 1469834
[31] M. Uzam and M. Zhou: 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. R. Wang, Z. W. Li, and J. Y. Jia: 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] N. Viswanadham, Y. Narahari, and T. L. Johnson: Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans. Robotics and Automation 6 (1990), 713–723.
[34] M. Zhou and F. Di Cesare: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic Publishers, Norwell 1993.
Search
Partner of
