SGI-SAT Trillo: A Full Scope Simulator for Nuclear Power Plants.

Manuel Díaz Daniel Garrido

Published in: OTM Workshops (2003)

Keyphrases

nuclear power plant
satisfiability problem
condition monitoring
sat solvers
nuclear power
sat problem
safety critical
shared memory
search algorithm
genetic algorithm
fuzzy control
fault detection