| Model-based probabilistic collision detection in autonomous driving M Althoff, O Stursberg, M Buss IEEE Transactions on Intelligent Transportation Systems 10 (2), 299-310, 2009 | 349 | 2009 |
| Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization M Althoff, O Stursberg, M Buss 2008 47th IEEE Conference on Decision and Control, 4042-4048, 2008 | 328 | 2008 |
| Abstraction and counterexample-guided refinement in model checking of hybrid systems E Clarke, A Fehnker, Z Han, B Krogh, J Ouaknine, O Stursberg, ... International journal of foundations of computer science 14 (04), 583-604, 2003 | 251 | 2003 |
| Continuous-discrete interactions in chemical processing plants S Engell, S Kowalewski, C Schulz, O Stursberg Proceedings of the IEEE 88 (7), 1050-1068, 2000 | 230 | 2000 |
| Efficient representation and computation of reachable sets for hybrid systems O Stursberg, BH Krogh Hybrid Systems: Computation and Control: 6th International Workshop, HSCC …, 2003 | 227 | 2003 |
| Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes M Althoff, O Stursberg, M Buss Nonlinear analysis: hybrid systems 4 (2), 233-249, 2010 | 187 | 2010 |
| Verification of hybrid systems based on counterexample-guided abstraction refinement E Clarke, A Fehnker, Z Han, B Krogh, O Stursberg, M Theobald TACAS 3, 192-207, 2003 | 153 | 2003 |
| An assessment of the current status of algorithmic approaches to the verification of hybrid systems BI Silva, O Stursberg, BH Krogh, S Engell Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No …, 2001 | 148 | 2001 |
| Verification of PLC programs given as sequential function charts N Bauer, S Engell, R Huuck, S Lohmann, B Lukoschus, M Remelhe, ... Integration of Software Specification Techniques for Applications in …, 2004 | 123 | 2004 |
| Reachability analysis of linear systems with uncertain parameters and inputs M Althoff, O Stursberg, M Buss 2007 46th IEEE Conference on Decision and Control, 726-732, 2007 | 116 | 2007 |
| Combined time and fuel optimal driving of trucks based on a hybrid model B Passenberg, P Kock, O Stursberg 2009 European Control Conference (ECC), 4955-4960, 2009 | 102 | 2009 |
| A case study in tool-aided analysis of discretely controlled continuous systems: the two tanks problem S Kowalewski, O Stursberg, M Fritz, H Graf, I Hoffmann, J Preußig, ... Hybrid Systems V 5, 163-185, 1999 | 101 | 1999 |
| Verification of logic controllers for continuous plants using timed condition/event-system models S Kowalewski, S Engell, J Preußig, O Stursberg Automatica 35 (3), 505-518, 1999 | 90 | 1999 |
| Applied hybrid system optimization: An empirical investigation of complexity J Till, S Engell, S Panek, O Stursberg Control Engineering Practice 12 (10), 1291-1303, 2004 | 87 | 2004 |
| On systematic simulation of open continuous systems J Kapinski, BH Krogh, O Maler, O Stursberg Hybrid Systems: Computation and Control: 6th International Workshop, HSCC …, 2003 | 64 | 2003 |
| Comparing timed and hybrid automata as approximations of continuous systems O Stursberg, S Kowalewski, I Hoffmann, J Preußig Hybrid Systems IV 4, 361-377, 1997 | 64 | 1997 |
| Verification of a cruise control system using counterexample-guided search O Stursberg, A Fehnker, Z Han, BH Krogh Control Engineering Practice 12 (10), 1269-1278, 2004 | 63 | 2004 |
| Human arm motion modeling and long-term prediction for safe and efficient human-robot-interaction H Ding, G Reißig, K Wijaya, D Bortot, K Bengler, O Stursberg 2011 IEEE International Conference on Robotics and Automation, 5875-5880, 2011 | 61 | 2011 |
| Safety assessment of autonomous cars using verification techniques M Althoff, O Stursberg, M Buss 2007 American Control Conference, 4154-4159, 2007 | 61 | 2007 |
| Control of switched hybrid systems based on disjunctive formulations O Stursberg, S Panek Hybrid Systems: Computation and Control: 5th International Workshop, HSCC …, 2002 | 58 | 2002 |
