1. Transient stability analysis by reachable set computation;Althoff;2012 3rd IEEE PES Innovative Smart Grid Technologies Europe (ISGT Europe),2012
2. Online verification of automated road vehicles using reachability analysis;Althoff;IEEE Trans. Robot.,2014
3. Reachability analysis of nonlinear differential-algebraic systems;Althoff;IEEE Trans. Autom. Control,2014
4. Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization;Althoff;47th IEEE Decis. Contr. P,2008
5. Performance of Taylor model methods for validated integration of ODEs;Berz,2006