The information in this page may be outdated, as Ratan Lal is no longer a member of the Institute.
Reachability analysis of linear dynamical system with uncertain parameter, non linear dynamical system, application of reachability analysis in compositional verification.