Full entry |
PDF
(0.9 MB)
Feedback

large-scale systems; discrete-event systems; overlapping decompositions

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.