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