The SCEAS System
| |||||||

## Search the dblp DataBase
Olaf Stursberg:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg
**Verification of PLC Programs Given as Sequential Function Charts.**[Citation Graph (0, 0)][DBLP] SoftSpez Final Report, 2004, pp:517-540 [Conf] - Sebastian Panek, Olaf Stursberg, Sebastian Engell
**Optimization of Timed Automata Models Using Mixed-Integer Programming.**[Citation Graph (0, 0)][DBLP] FORMATS, 2003, pp:73-87 [Conf] - Jim Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg
**On Systematic Simulation of Open Continuous Systems.**[Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:283-297 [Conf] - Stefan Kowalewski, Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffmann, Jörg Preußig, Manuel Remelhe, Silke Simon, Heinz Treseler
**A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem.**[Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:163-185 [Conf] - Jörg Preußig, Olaf Stursberg, Stefan Kowalewski
**Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis.**[Citation Graph (0, 0)][DBLP] HSCC, 1999, pp:209-222 [Conf] - Olaf Stursberg, Bruce H. Krogh
**Efficient Representation and Computation of Reachable Sets for Hybrid Systems.**[Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:482-497 [Conf] - Olaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, Jörg Preußig
**Comparing Timed and Hybrid Automata as Approximations of Continuous Systems.**[Citation Graph (0, 0)][DBLP] Hybrid Systems, 1996, pp:361-377 [Conf] - Olaf Stursberg, Sebastian Panek
**Control of Switched Hybrid Systems Based on Disjunctive Formulations.**[Citation Graph (0, 0)][DBLP] HSCC, 2002, pp:421-435 [Conf] - Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald
**Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.**[Citation Graph (0, 0)][DBLP] TACAS, 2003, pp:192-207 [Conf] - Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald
**Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.**[Citation Graph (0, 0)][DBLP] Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:583-604 [Journal] - Sebastian Engell, Sven Lohmann, Olaf Stursberg
**Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics.**[Citation Graph (0, 0)][DBLP] International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:2, pp:307-312 [Journal] - Heinz Treseler, Olaf Stursberg, Paul W. H. Chung, Shuanghua Yang
**An Open Software Architecture for the Verification of Industrial Controllers.**[Citation Graph (0, 0)][DBLP] J. UCS, 2001, v:7, n:1, pp:37-53 [Journal] - Subanatarajan Subbiah, Sebastian Panek, Sebastian Engell, Olaf Stursberg
**Scheduling of multi-product batch plants using reachability analysis of timed automata models.**[Citation Graph (0, 0)][DBLP] ICINCO-ICSO, 2007, pp:141-148 [Conf] - Sebastian Kain, Hao Ding, Frank Schiller, Olaf Stursberg
**Controller Architecture for Safe Cognitive Technical Systems.**[Citation Graph (0, 0)][DBLP] SAFECOMP, 2007, pp:518-531 [Conf] **Efficient Planning of Autonomous Robots using Hierarchical Decomposition.**[Citation Graph (, )][DBLP]**Optimal path planning in the workspace for articulated robots using mixed integer programming.**[Citation Graph (, )][DBLP]**The Role of Implicit Context Information in Guiding Visual-Spatial Attention.**[Citation Graph (, )][DBLP]**Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization.**[Citation Graph (, )][DBLP]**Distributed predictive control of communicating and platooning vehicles.**[Citation Graph (, )][DBLP]**Function approximation for the deterministic Hamilton-Jacobi-Bellman equation.**[Citation Graph (, )][DBLP]**Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |