A CSP Approach to Control in Event-B.

Steve A. Schneider Helen Treharne Heike Wehrheim

Published in: IFM (2010)

Keyphrases

case study
constraint satisfaction problems
control method
genetic algorithm
data acquisition
constraint satisfaction
event detection
news articles
event driven
database
data sets
neural network
data mining
evolutionary algorithm
constraint programming
robotic systems