Synthesis of Power Plant Outage Schedules.
Abstract
This document provides a report on the creation of domain theories in the power plant outage domain. These were developed in conjunction with the creation of a demonstration system of advanced scheduling technology for the outage problem. In 1994 personnel from Rome Laboratory (RL), Kaman Science (KS), Kestrel Institute, and the Electric Power Research Institute (EPRI) began a joint project to develop scheduling tools for power plant outage activities. This report describes our support for this joint effort. The project uses KIDS (Kestrel Interactive Development System) to generate schedulers from formal specifications of the power plant domain outage activities.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 01, 1997
- Accession Number
- ADA329284
Entities
People
- Douglas R. Smith
Organizations
- Kestrel Institute