The information in this page may be outdated, as Ratan Lal is currently not 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.
