On the liveness of guidepath-based, zone-controlled dynamically routed, closed traffic systems

IEEE Transactions on Automatic Control

Volumn 53, Issue 7, 2008, Pages 1689-1695

  Roszkowska, Elzbieta ^a   Reveliotis, Spyros A ^b  

^a WROCLAW UNIVERSITY OF TECHNOLOGY   (Poland)

^b Georgia Institute of Technology   (United States)

Author keywords

AGV system; Liveness enforcement; Supervisory control

Indexed keywords

TRAFFIC SURVEYS; TRANSPORTATION;

AGV SYSTEM; COMPUTATIONALLY EFFICIENT; EXTENSIVE ENUMERATION; LIVENESS; LIVENESS ENFORCEMENT; PUBLIC TRANSPORT SYSTEMS; STRUCTURAL CHARACTERIZATIONS; SUPERVISORY CONTROL; SYSTEM OPERATIONS; TRAFFIC FLOWING; TRAFFIC SYSTEMS;

TRAFFIC CONTROL;

EID: 52249096798     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2008.929375     Document Type: Article

References (9)

1. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Boston, MA: Kluwer, 1999.
2. S. A. Reveliotis, Real-Time Management of Resource Allocation Systems: A Discrete Event Systems Approach. New York: Springer, 2005.
3. S. A. Reveliotis, "Conflict resolution in AGV systems," IIE Trans. vol. 32, no. 7, pp. 647-659, 2000.
4. M. P. Fanti, "Event-based controller to avoid deadlock and collisions in zone-controlled AGVS," Int. J. Product. Res., vol. 40, pp. 1453-1478, 2002.
5. N. Wu and M. Zhou, "Resource-oriented Petri nets in deadlock avoidance of AGV systems," in Proc. ICRA'01, 2001, pp. 64-69.
6. E. Roszkowska, "Liveness of states in closed AGV systems with dynamic routing," in Proc. MMAR'02., 2002, pp. 947-952.
7. E. Roszkowska, "Undirected colored Petri nets for modelling and supervisory control of AGV systems," in Proc. WODES'02., 2002, pp. 135-142.
8. E. Clarke, O. Grumberg, and D. Peled, Model Checking. Cambridge, MA: MIT Press, 1999.
9. A. Aho, J. Hopcroft, and J. Ullman, The Design and Analysis of Computer Algorithms. Reading, MA: Addison-Wesley, 1974.