![]() |
| 2007 | ||
|---|---|---|
| 3 | Subanatarajan Subbiah, Sebastian Panek, Sebastian Engell, Olaf Stursberg: Scheduling of multi-product batch plants using reachability analysis of timed automata models. ICINCO-ICSO 2007: 141-148 | |
| 2003 | ||
| 2 | EE | Sebastian Panek, Olaf Stursberg, Sebastian Engell: Optimization of Timed Automata Models Using Mixed-Integer Programming. FORMATS 2003: 73-87 |
| 2002 | ||
| 1 | EE | Olaf Stursberg, Sebastian Panek: Control of Switched Hybrid Systems Based on Disjunctive Formulations. HSCC 2002: 421-435 |
| 1 | Sebastian Engell | [2] [3] |
| 2 | Olaf Stursberg | [1] [2] [3] |
| 3 | Subanatarajan Subbiah | [3] |