C. J. Tomlin
The discrete and continuous parts are brought together, and the problem of designing controllers for hybrid systems is discussed, and it is implied that the controller cannot block the system execution.