Follow
Olaf Stursberg
Olaf Stursberg
Verified email at uni-kassel.de - Homepage
Title
Cited by
Cited by
Year
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
3782009
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
3562008
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
2552003
Continuous-discrete interactions in chemical processing plants
S Engell, S Kowalewski, C Schulz, O Stursberg
Proceedings of the IEEE 88 (7), 1050-1068, 2000
2372000
Efficient representation and computation of reachable sets for hybrid systems
O Stursberg, BH Krogh
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC …, 2003
2322003
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
2042010
Verification of hybrid systems based on counterexample-guided abstraction refinement
E Clarke, A Fehnker, Z Han, B Krogh, O Stursberg, M Theobald
International Conference on Tools and Algorithms for the Construction and …, 2003
1582003
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
1502001
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
1332004
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
1232007
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
1072009
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
1061999
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
911999
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
882004
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
722011
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
692004
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
652003
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
641997
Safety assessment of autonomous cars using verification techniques
M Althoff, O Stursberg, M Buss
2007 American Control Conference, 4154-4159, 2007
632007
Ensuring drivability of planned motions using formal methods
B Schürmann, D Heß, J Eilbrecht, O Stursberg, F Köster, M Althoff
2017 IEEE 20th International Conference on Intelligent Transportation …, 2017
602017
The system can't perform the operation now. Try again later.
Articles 1–20