Travelled to:1 × Canada
1 × Italy
1 × Poland
1 × Sweden
1 × USA
Collaborated with:C.Hillmann H.Ding F.Adamek M.Sobotka G.Reissig D.Gross G.Schnattinger B.Passenberg E.M.Clarke A.Fehnker Z.Han B.H.Krogh M.Theobald
Talks about:system (3) optim (3) manipul (2) discret (2) control (2) hybrid (2) robot (2) counterexampl (1) uncertain (1) distribut (1)
Person: Olaf Stursberg
DBLP: Stursberg:Olaf
Contributed to:
2015201120102008
2003Wrote 5 papers:
- CASE-2015-HillmannS #dependence #distributed #linear
- Decentralized control of distributed discrete event systems with linear dependency structure (CH, OS), pp. 551–557.
- CASE-2011-DingRGS #programming
- Mixed-integer programming for optimal path planning of robotic manipulators (HD, GR, DG, OS), pp. 133–138.
- CASE-2010-DingSPS #embedded
- Improving motion of robotic manipulators by an embedded optimizer (HD, GS, BP, OS), pp. 204–209.
- CASE-2008-AdamekSS #hybrid #nondeterminism #probability
- Stochastic optimal control for hybrid systems with uncertain discrete dynamics (FA, MS, OS), pp. 23–28.
- TACAS-2003-ClarkeFHKST #abstraction #hybrid #refinement #verification
- Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement (EMC, AF, ZH, BHK, OS, MT), pp. 192–207.