Control based on discrete-event models of continuous systems.