Motivating applications
Hybrid Systems Controller Synthesis Examples EE291E Tomlin/Sastry.
Example 1: Aircraft Collision Avoidance