Olaf Stursberg
Olaf Stursberg
Verified email at - Homepage
Cited by
Cited by
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
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
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
Continuous-discrete interactions in chemical processing plants
S Engell, S Kowalewski, C Schulz, O Stursberg
Proceedings of the IEEE 88 (7), 1050-1068, 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
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
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
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
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
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
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
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
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
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
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
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
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
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
Safety assessment of autonomous cars using verification techniques
M Althoff, O Stursberg, M Buss
2007 American Control Conference, 4154-4159, 2007
Control of switched hybrid systems based on disjunctive formulations
O Stursberg, S Panek
Hybrid Systems: Computation and Control: 5th International Workshop, HSCC …, 2002
The system can't perform the operation now. Try again later.
Articles 1–20