Maintenance scheduling problems as benchmarks for constraint algorithms

The paper focuses on evaluating constraint satisfaction search algorithms on application based random problem instances. The application we use is a well-studied problem in the electric power industry: optimally scheduling preventive maintenance of power generating units within a power plant. We show how these scheduling problems can be cast as constraint satisfaction problems and used to define the structure of randomly generated non-binary CSPs. The random problem instances are then used to evaluate several previously studied algorithms. The paper also demonstrates how constraint satisfaction can be used for optimization tasks. To find an optimal maintenance schedule, a series of CSPs are solved with successively tighter cost-bound constraints. We introduce and experiment with an “iterative learning” algorithm which records additional constraints uncovered during search. The constraints recorded during the solution of one instance with a certain cost-bound are used again on subsequent instances having tighter cost-bounds. Our results show that on a class of randomly generated maintenance scheduling problems, iterative learning reduces the time required to find a good schedule.

[1]  Jay Yellen,et al.  A decomposition approach to unit maintenance scheduling , 1992 .

[2]  Christophe Lecoutre Constraint Networks , 1992 .

[3]  Rina Dechter,et al.  Enhancement Schemes for Constraint Processing: Backjumping, Learning, and Cutset Decomposition , 1990, Artif. Intell..

[4]  R. Dechter,et al.  Algorithms and heuristics for constraint satisfaction problems , 1997 .

[5]  H.H. Zurn,et al.  Generator maintenance scheduling via successive approximations dynamic programming , 1975, IEEE Transactions on Power Apparatus and Systems.

[6]  Robert M. Haralick,et al.  Increasing Tree Search Efficiency for Constraint Satisfaction Problems , 1979, Artif. Intell..

[7]  S. Vemuri,et al.  Unit maintenance scheduling with fuel constraints , 1991, [Proceedings] Conference Papers 1991 Power Industry Computer Application Conference.

[8]  Yasuhiro Hayashi,et al.  An algorithm for thermal unit maintenance scheduling through combined use of GA, SA and TS , 1997 .

[9]  Rina Dechter,et al.  In Search of the Best Constraint Satisfaction Search , 1994, AAAI.

[10]  Stuart C. Shapiro,et al.  Encyclopedia of artificial intelligence, vols. 1 and 2 (2nd ed.) , 1992 .

[11]  Edward M. Reingold,et al.  Backtrack programming techniques , 1975, CACM.

[12]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

[13]  Rina Dechter,et al.  Look-Ahead Value Ordering for Constraint Satisfaction Problems , 1995, IJCAI.

[14]  Patrick Prosser,et al.  HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM , 1993, Comput. Intell..

[15]  Daniel P. Miranker,et al.  A Complexity Analysis of Space-Bounded Learning Algorithms for the Constraint Satisfaction Problem , 1996, AAAI/IAAI, Vol. 1.

[16]  Tharam S. Dillon,et al.  An Experimental Method of Determination of Optimal Maintenance Schedules in Power Systems Using the Branch-and-Bound Technique , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[17]  J.F. Dopazo,et al.  Optimal generator maintenance scheduling using integer programming , 1975, IEEE Transactions on Power Apparatus and Systems.

[18]  Rina Dechter,et al.  Dead-End Driven Learning , 1994, AAAI.