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
International Workshop on Hybrid Systems: Computation and Control, 482-497, 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
International Conference on Tools and Algorithms for the Construction and …, 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, ...
International Hybrid Systems Workshop, 163-185, 1997
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
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
On systematic simulation of open continuous systems
J Kapinski, BH Krogh, O Maler, O Stursberg
International Workshop on Hybrid Systems: Computation and Control, 283-297, 2003
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
International Workshop on Hybrid Systems: Computation and Control, 421-435, 2002
Comparing timed and hybrid automata as approximations of continuous systems
O Stursberg, S Kowalewski, I Hoffmann, J Preußig
International Hybrid Systems Workshop, 361-377, 1996
Optimal control of switched continuous systems using mixed-integer programming
O Stursberg, S Engell
IFAC Proceedings Volumes 35 (1), 433-438, 2002
The system can't perform the operation now. Try again later.
Articles 1–20