backwards reachability tutorial

Using reachability analysis to compute safety guarantees for safety critical dynamic systems.