Folgen
Olaf Stursberg
Olaf Stursberg
Bestätigte E-Mail-Adresse bei uni-kassel.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
3232009
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
3092008
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
2502003
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
2262003
Continuous-discrete interactions in chemical processing plants
S Engell, S Kowalewski, C Schulz, O Stursberg
Proceedings of the IEEE 88 (7), 1050-1068, 2000
2232000
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
1812010
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
1512003
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
1472001
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
1192004
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
1072007
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
1012009
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
971997
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
921999
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
892004
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
632003
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
622004
Safety assessment of autonomous cars using verification techniques
M Althoff, O Stursberg, M Buss
2007 American Control Conference, 4154-4159, 2007
592007
Control of switched hybrid systems based on disjunctive formulations
O Stursberg, S Panek
International Workshop on Hybrid Systems: Computation and Control, 421-435, 2002
582002
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
562011
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
551996
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20