BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Stursberg:Olaf

Contributed to:

CASE 20152015
CASE 20112011
CASE 20102010
CASE 20082008
TACAS 20032003

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.