Control of Switched Hybrid Systems Based on Disjunctive Formulations. - Olaf Stursberg; Sebastian Panek (HSCC, 2002)

Empirical Complexity Analysis of a MILP-Approach for Optimization of Hybrid Systems. - Jochen Till; Sebastian Engell; Sebastian Panek; Olaf Stursberg (ADHS, 2003)

Optimization of Timed Automata Models Using Mixed-Integer Programming. - Sebastian Panek; Olaf Stursberg; Sebastian Engell (FORMATS, 2003)

Scheduling of multi-product batch plants using reachability analysis of timed automata models. - Subanatarajan Subbiah; Sebastian Panek; Sebastian Engell; Olaf Stursberg (ICINCO-ICSO, 2007)

Produktionssteuerung auf der Grundlage von Echtzeitautomaten (Production Scheduling Using Timed Automata). - Sebastian Panek; Olaf Stursberg; Sebastian Engell (Autom., 2008)

Scheduling of multi-product batch plants based upon timed automata models. - Sebastian Panek; Sebastian Engell; Subanatarajan Subbiah; Olaf Stursberg (Comput. Chem. Eng., 2008)

Multi-product batch scheduling with intermediate due dates using priced timed automata models. - Subanatarajan Subbiah; Thomas Tometzki; Sebastian Panek; Sebastian Engell (Comput. Chem. Eng., 2009)