![]() | ![]() |
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] |