A practical approach for maximally permissive liveness-enforcing supervision of complex resource allocation systems

IEEE Transactions on Automation Science and Engineering

Volumn 8, Issue 4, 2011, Pages 766-779

  Nazeem, Ahmed ^a   Reveliotis, Spyros ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

Discrete event systems; liveness enforcing supervision (LES); nonblocking supervisory control; resource allocation systems (RAS); TRIE data structures

Indexed keywords

COMPACT REPRESENTATION; LARGE STRUCTURES; LIVENESS; LIVENESS-ENFORCING SUPERVISOR; NON-BLOCKING; NP-HARDNESS; NUMERICAL EXPERIMENTATIONS; RESOURCE ALLOCATION SYSTEMS; RESOURCE ALLOCATION SYSTEMS (RAS); STATE SPACE; SUPERVISORY CONTROL; TWO-STAGE PROCESS;

DATA STRUCTURES; DISCRETE EVENT SIMULATION;

RESOURCE ALLOCATION;

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

References (33)

1. T. Araki, Y. Sugiyama, and T. Kasami, "Complexity of the deadlock avoidance problem, " in Proc. 2nd IBM Symp. Math. Foundations Comput. Sci., 1977, pp. 229-257.
2. E. Badouel and P. Darondeau, "Theory of regions, " in Advances in Petri Nets: Basic Models, W. Reisig and G. Rozenberg, Eds. Berlin, Germany: Springer-Verlag, 1998, vol. 1491, Lecture Notes in Computer Science, pp. 529-586. (Pubitemid 128165820)
3. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows, " IEEE Trans. Robot. Autom., vol. 6, no. 6, pp. 724-734, Dec. 1990.
4. P. Brass, Advanced Data Structures. Cambridge, U.K.: Cambridge Univ. Press, 2008.
5. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2nd ed. New York: Springer, 2008.
6. Y. F. Chen and Z. W. Li, "Design of a maximally permissive livenessenforcing supervisor with compressed supervisory structure for flexible manufacturing systems, " Automatica, vol. 47, pp. 1028-1034, 2011.
7. Y. F. Chen, Z. W. Li, M. Khalgui, and O. Moshabi, "Design of maximally permissive liveness-enforcing petri net supervisor for flexible manufacturing systems, " IEEE Trans. Autom. Sci. Eng., vol. 8, no. 2, pp. 374-393, Apr. 2011.
8. E. M. Clarke Jr., O. Grumberg, and D. A. Peled, Model Checking. Cambridge, MA: MIT Press, 1999.
9. E. G. Coffman, M. J. Elphick, and A. Shoshani, "System deadlocks, " Comput. Surveys, vol. 3, pp. 67-78, 1971.
10. P. Commer and R. Sethi, "The complexity of TRIE index construction, " J. ACM, vol. 24, pp. 428-440, 1977.
11. J. M. Couvreur, E. Encrenaz, E. Paviot-Adet, D. Poitrenaud, and P. A. Wacrenier, "Data decision diagrams for Petri net analysis, " Applications and Theory of Petri Nets, pp. 101-120, 2002.
12. E. W. Dijkstra, "Cooperating sequential processes, " Technological Univ., Eindhoven, The Netherlands, Tech. Rep., 1965.
13. J. Ezpeleta, F. Tricas, F. Garcia-Valles, and J. M. Colom, "A Banker's solution for deadlock avoidance in FMS with flexible routing and multi-resource states, " IEEE Trans. Robot. Autom., vol. 18, no. 4, pp. 621-625, Aug. 2002. (Pubitemid 35372525)
14. 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.
15. E. M. Gold, "Deadlock prediction: Easy and difficult cases, " SIAM J. Computing, vol. 7, pp. 320-336, 1978.
16. A. N. Habermann, "Prevention of system deadlocks, " Comm. ACM, vol. 12, pp. 373-377, 1969.
17. J. W. Havender, "Avoiding deadlock in multi-tasking systems, " IBM Syst. J., vol. 2, pp. 74-84, 1968.
18. R. D. Holt, "Some deadlock properties of computer systems, " ACM Computing Surveys, vol. 4, pp. 179-196, 1972.
19. M. Lawley, S. Reveliotis, and P. Ferreira, "A correct and scalable deadlock avoidance policy for flexible manufacturing systems, " IEEE Trans. Robot. Autom., vol. 14, no. 5, pp. 796-809, Oct. 1998. (Pubitemid 128743558)
20. M. A. Lawley and S. A. Reveliotis, "Deadlock avoidance for sequential resource allocation systems: Hard and easy cases, " Int. J. FMS, vol. 13, pp. 385-404, 2001.
21. Z. Li, M. Zhou, and N. Wu, "A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems, " IEEE Trans. Syst., Man, Cybern.-Part C: Appl. Rev., vol. 38, pp. 173-188, 2008. (Pubitemid 351404113)
22. T. Murata, "Petri nets: Properties, analysis and applications, " Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
23. A. Nazeem, S. Reveliotis, Y. Wang, and S. Lafortune, "Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: The linear case, " IEEE Trans. Automat. Control, to appear.
24. P. J. G. Ramadge and W. M. Wonham, "The control of discrete event systems, " Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
25. S. Reveliotis, "Algebraic deadlock avoidance policies for sequential resource allocation systems, " in Facility Logistics: Approaches and Solutions to Next Generation Challenges, M. Lahmar, Ed. New York: Auerbach, 2007, pp. 235-289.
26. S. Reveliotis, E. Roszkowska, and J. Y. Choi, "Generalized algebraic deadlock avoidance policies for sequential resource allocation systems, " IEEE Trans. Automat. Control, vol. 52, no. 12, pp. 2345-2350, Dec. 2007.
27. S. A. Reveliotis, "Structural analysis & control of flexible manufacturing systems with a performance perspective, " Ph.D. dissertation, Univ. Illinois, Urbana, IL, 1996.
28. S. A. Reveliotis, "Conflict resolution in AGV systems, " IIE Trans., vol. 32, no. 7, pp. 647-659, 2000.
29. S. A. Reveliotis, Real-Time Management of Resource Allocation Systems: A Discrete Event Systems Approach. New York: Springer, 2005.
30. S. A. Reveliotis and P. M. Ferreira, "Deadlock avoidance policies for automated manufacturing cells, " IEEE Trans. Robot. Autom., vol. 12, no. 6, pp. 845-857, Dec. 1996.
31. W. M.Wonham, "Supervisory control of discrete event systems, " Univ. Toronto, Dept. Electr. Comput. Eng., Toronto, ON, Canada, Tech. Rep. ECE 1636F/1637S 2009-10, 2010.
32. Z. H. Zhang and W. M. Wonham, "STCT: An efficient algorithm for supervisory control design, " in Synthesis and Control of Discrete Event Systems, B. Caillaud, P. Darondeau, L. Lavango, and X. Xie, Eds. Norwell, MA: Kluwer, 2002, pp. 77-100.
33. M. Zhou and M. P. Fanti, Eds., Deadlock Resolution in Computer- Integrated Systems. New York: Marcel Dekker, 2004.