Stanford AA228V I Validation of Safety Critical Systems I Reachability for Linear Systems
Stanford Online · 76:04
Reachability analysis is the formal-methods counterpart to earlier failure search: under a known linear model plus bounded initial states and disturbances, you compute every state the system can occupy and prove safet...