Title :
Optimization of bounds in temporal flexible planning with dynamic controllability
Author :
Wah, Benjamin W. ; Xin, Dong
Author_Institution :
Dept. of Electr. & Comput. Eng., Illinois Univ., Champaign, IL, USA
Abstract :
A temporal flexible planning problem can be formulated as a simple temporal network with uncertainty (STNU), whose links are classified as contingent and requirement links. The problem of constraint satisfaction for STNU has been characterized as controllability, where dynamic controllability is the most interesting and useful controllability property. We study the assignment of bounds allowed on the requirement links in order for the resulting STNU to be dynamically controllable and the total cost over the allowed ranges of the requirement links to be minimized. Since the problem with a linear cost function is NP-hard, we formulate the dynamic controllability of an STNU with a general cost function as constraints in a nonlinear optimization problem. Our approach is flexible because it can incorporate additional constraints, such as resource constraints, in the formulation. Finally, we present methods to reduce the number of constraints in order to make the problem tractable.
Keywords :
computational complexity; constraint theory; optimisation; planning (artificial intelligence); uncertainty handling; NP-hard problem; constraint satisfaction; dynamic controllability; linear cost function; nonlinear optimization; temporal flexible planning; temporal network; Artificial intelligence; Cameras; Constraint optimization; Controllability; Cost function; Electronic mail; Mars; Uncertainty; Upper bound; Urban planning;
Conference_Titel :
Tools with Artificial Intelligence, 2004. ICTAI 2004. 16th IEEE International Conference on
Print_ISBN :
0-7695-2236-X
DOI :
10.1109/ICTAI.2004.97