publication venue for Model Predictive Real-Time Monitoring of Linear Systems 2017 Battery- and Aging-Aware Embedded Control Systems for Electric Vehicles 2014 Taylor Model Flowpipe Construction for Non-linear Hybrid Systems 2012 Robustness of Model-based Simulations 2009