NPTEL Video Course : NOC:Foundations of Cyber Physical Systems

Lecture 33 - Reachability analysis