Synthesis of schedulers for planned shutdowns of power plants

Knowledge - Based Software Engineering - Conference Proceedings, KBSE

Volumn , Issue , 1996, Pages 12-20

  Gomes, Carla P ^a   Smith, Douglas ^a   Westfold, Stephen ^a  

^a AIR FORCE RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; ALGORITHMS; COMPUTER PROGRAMMING; CONTROL SYSTEMS; DATA STRUCTURES; ELECTRIC POWER PLANTS; FINITE DIFFERENCE METHOD; INTERACTIVE COMPUTER SYSTEMS; MATHEMATICAL MODELS; OUTAGES; PLANT SHUTDOWNS; SCHEDULING;

AUTOMATED PROGRAMMING TOOL; CONSTRAINT PROPAGATION; SAFETY CONSTRAINTS; SCHEDULES;

SOFTWARE ENGINEERING;

EID: 0029728657     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)