1. Box particle filtering for nonlinear state estimation using interval analysis;F Abdallah;Automatica,2008
2. An introduction to cora;M Althoff;CPS Week,2015
3. Reachability analysis of nonlinear systems using conservative approximation;E Asarin;Hybrid Systems: Computation and Control,2003
4. State estimation with fleeting data;F Le Bars;Automatica,2012
5. Ariadne: Dominance checking of nonlinear hybrid automata using reachability analysis;L Benvenuti;Reachability Problems -6th International Workshop,2012