By Topic

Liveness enforcing in closed AGV systems with dynamic routing

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Roszkowska, E. ; Institute of Engineering Cybernetics, Wroclaw University of Technology

The liveness of a closed AGV system is understood as the constant potential of each vehicle to attain any given zone in the guide path network. Based on the DES model of AGVS and the liveness condition proposed in our earlier work, we conduct a further analysis of the system behavior. The result is a general, algorithmically defined supervisor for AGVS, given in the form of the pseudo-code of a recursive parametric function. The parameter is a function that can implement various selection algorithms, and in combination with the general supervisor defines a class of particular, directly applicable supervisors of various permissiveness level. The correctness of the provided control is formally proved.

Published in:

Robotics and Automation, 2004. Proceedings. ICRA '04. 2004 IEEE International Conference on  (Volume:5 )

Date of Conference:

April 26 2004-May 1 2004