A Case-Study in Timed Refinement: A Mine Pump.

Brendan P. Mahony Ian J. Hayes

Published in: IEEE Trans. Software Eng. (1992)

Keyphrases

test bed
petri net
case study
reinforcement learning
optimal design
condition monitoring
timed automata
data mining
computer vision
decision making
search algorithm
data analysis
evolutionary algorithm
low cost
refinement process
high pressure