Cruise Control in Hybrid Event-B.

Richard Banach Michael J. Butler

Published in: ICTAC (2013)

Keyphrases

control system
real time
machine learning
genetic algorithm
event detection
control method
control theory
neural network
decision making
expert systems
social media
robotic systems
process control
receding horizon