Control reconfiguration of discrete event systems with dynamic control specifications

IEEE Transactions on Automation Science and Engineering

Volumn 5, Issue 1, 2008, Pages 84-100

  Sampath, Rupa ^b,c   Darabi, Houshang ^a,b   Buy, Ugo ^a,b   Liu, Jing ^b,d  

^a IEEE

^b 1120 Science and Engineering Offices   (United States)

^c UNIVERSITY OF CHICAGO MEDICAL CENTER   (United States)

^d R and D Center   (United States)

Author keywords

Emergency department; Integer programming; Petri nets; Reconfiguration; Supervisory control

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONSTRAINED OPTIMIZATION; CONTROL SYSTEM ANALYSIS; INTEGER PROGRAMMING; PETRI NETS;

CONTROL RECONFIGURATION; EMERGENCY DEPARTMENT; OBJECTIVE FUNCTION; SUPERVISORY CONTROL;

DISCRETE EVENT SIMULATION;

EID: 38149052419     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2007.911688     Document Type: Article

References (33)

1. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. IEEE Int. Conf. Syst., Man, Cybern., 1992, pp. 974-979.
2. M. R. Lucas, E. W. Endsley, and D. M. Tilbury, "Coordinated logic control for reconfigurable machine tools," in Proc. Amer. Control Conf., 1999, pp. 2107-2113.
3. E. Badouel and J. Oliver, "Reconfigurable nets: A class of high level Petri nets supporting dynamic changes within workflow systems," INRIA Research, Tech. Rep. PI-1163, 1998.
4. V. Vyatkin and H.-M. Hanisch, "Formal modeling and verification in the software engineering framework of IEC61499: A way to self-verifying systems," in Proc. IEEE Symp. Emerging Technol. Factory Autom., 2001, pp. 113-118.
5. H. Darabi, M. A. Jafari, and A. L. Buczak, "A conttol switching theory for supervisory control of discrete event systems," IEEE Trans. Robot. Autom., vol. 19, no. 1, pp. 131-137, Feb. 2003.
6. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, pp. 541-580, 1989.
7. L. A. Wolsey, Integer Pmgramming. New York: Wiley, 1998.
8. X. Cai, V. Vyatkin, and H.-M. Hanisch, "Design and implementation of a prototype control system, according to IEC 61499," in Proc. IEEE Conf Emerging Technol. Factory Autom., 2003, pp. 269-276.
9. T. O. Boucher, Computer Automation in Manufacturing: An Introduction. London, U.K.: Chapman & Hall, 1996.
10. G. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Norwell, MA: Kluwer, 1999.
11. F. Lin and W. M. Wonham, "Supervisory control of timed discrete-event systems under partial observation," IEEE Trans. Autom. Control, vol. 40, no. 3, pp. 558-562, Mar. 1995.
12. P. J. G. Ramadge and W. M. Wonham, "The control of discrete event system," Proc. IEEE, vol. 77, no. 1, pp. 81-98, 1989.
13. M. Zhou, F. DiCesare, and A. A. Desrochers, "A top-down approach to systematic synthesis of Petri net models for manufacturing systems," in Proc. IEEE Int. Conf. Robot. Autom., 1989, pp. 534-539.
14. Y. Li and W. M. Wonham, "Control of vector discrete-event systems II-controller synthesis," IEEE Trans. Autom. Control, vol. 39, no. 3, pp. 512-531, Mar. 1994.
15. Y. Li and W. M. Wonham, "Concurrent vector discrete-event systems," IEEE Trans. Autom. Control, vol. 40, no. 4, pp. 628-638, Apr. 1995.
16. J. Martinez and M. Silva, A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net. Berlin, Germany: Springer-Verlag, 1980, Lecture Notes on Advances in Petri Nets.
17. A. Giua and F. DiCesare, "Petri net structural analysis for supervisory control," IEEE Trans. Robot. Autom., vol. 10, no. 2, pp. 185-195, Apr. 1994.
18. A. Giua, F. DiCesare, and M. Silva, "Petri net supervisors for generalized mutual exclusion constraints," in Proc. 12th IFAC World Congr., 1995, pp. 267-270.
19. K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, 1996.
20. H. Darabi and M. A. Jafari, "Recovery analysis of supervisory control of discrete event systems," in Proc. IEEE Conf Syst., Man, Cybern., 1998, pp. 704-709.
21. J. Liu and H. Darabi, "Control reconfiguration of discrete event systems controllers with partial observation," IEEE Trans. Syst., Man, Cybern., Part B, vol. 34, no. 6, pp. 2262-2272, 2004.
22. M. A. Lawley and W. Sulistyono, "Robust supervisory control policies for manufacturing systems with unreliable resources," IEEE Trans. Robot. Autom., vol. 18, no. 3, pp. 346-359, Jun. 2002.
23. G. S. Avrunin, U. A. Buy, J. C. Corbett, L. K. Dillon, and J. C. Wileden, "Automated analysis of concurrent systems with the constrained expression toolset," IEEE Trans. Software Eng., vol. 17, no. 11, pp. 1204-1222, Nov. 1991.
24. J. C. Corbett, "Evaluating deadlock detection, methods for concurrent software," IEEE Trans. Software Eng., vol. 22, no. 3, pp. 161-179, Mar. 1996.
25. T. Murata, B. Shenker, and S. M. Shatz, "Detection of Ada static dead-locks using Petri net invariants," IEEE Trans. Software Eng., vol. 15, no. 3, pp. 314-326, Nov. 1989.
26. Z. Li and M. C. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern., Part A, vol. 34, no. 1, pp. 38-51, Jan. 2004.
27. S.A. Reveliotis, M.A. Lawley, and P.M. Ferreira, "Polynomial- complexity deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Autom. Control, vol. 42, no. 10, pp. 1344-1357, 1997.
28. M. P. Fanti and M. C. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans Syst., Man, Cybern., Part A, vol. 34, no. 1, pp. 5-22, Jan. 2004.
29. N. Wu and M. C. Zhou, "Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems," IEEE Trans. Robot. Autom., vol. 17, no. 5, pp. 658-669, Oct. 2001.
30. M. V. Iordache and P. J. Antsaklis, "Synthesis of supervisors enforcing general linear constraints in Petri nets," IEEE Trans. Autom. Control, vol. 48, no. 11, pp. 2036-2039, Nov. 2003.
31. E. Demeulemeester and W. Herroelen, Project Scheduling - A Research Handbook. Norwell, MA: Kluwer, 2002, vol. 49, International Series in Operations Research, and Management Science.
32. W. Herroelen, B. D. Reyck, and E. Demeulemeester, "Resource- constrained scheduling: A survey of recent developments," Comput. Oper. Res., vol. 25, pp. 279-302, 1998.
33. J. Bowers, "Criticality in resource constrained networks," J. Oper. Res. Soc., vol. 46, pp. 80-91, 1995.