Abstract : We describe the synthesis of efficient schedulers for planned shutdowns of power plants for refueling and maintenance (outages), using an automated programming tool, KIDS. Currently, the utility industry has no automated tools to generate schedules that are both safe and resource-efficient. We focused on safety constraints since they are critical in this application. There are several aspects of this project that go beyond previous applications of KIDS to scheduling problems. First, scheduling of outages of power plants has a planning-like character since the scheduler needs to represent and maintain the complex state of the plant at all times considered during the scheduling process. Second, the particular safety constraints we considered required scheduling a pool of resources in the presence of time windows on each activity. To our knowledge the control and data structures that we developed for handling such a pool are novel. In terms of design knowledge, the outage scheduling problem is modeled as a constraint satisfaction problem and the synthesized algorithm is an instance of global search with constraint propagation. The derivation of specialized representations for the constraints to perform efficient propagation is a key aspect of our approach. In addition, finite differencing complements constraint propagation by efficiently maintaining the sate of the world.
[1]
Austin Tate.
Integrating constraint management into an AI planner
,
1995,
Artif. Intell. Eng..
[2]
Jan Karel Lenstra,et al.
Job Shop Scheduling by Local Search
,
1996,
INFORMS J. Comput..
[3]
Nicola Muscettola,et al.
HSTS: Integrating Planning and Scheduling
,
1993
.
[4]
Mark S. Fox,et al.
Intelligent Scheduling
,
1998
.
[5]
Norman Sadeh,et al.
MICRO-OPPORTUNISTIC SCHEDULING THE MICRO-BOSS FACTORY SCHEDULER
,
1994
.
[6]
Gomes.
Automatic scheduling of outages of nuclear power plants with time windows. Final report, January-December 1995
,
1996
.
[7]
Robert Paige,et al.
Program Derivation by Fixed Point Computation
,
1989,
Sci. Comput. Program..
[8]
Marie desJardins,et al.
Planning-based Integrated Decision Support Systems
,
1994,
AIPS.