dblp.uni-trier.dewww.uni-trier.de

Sebastian Panek

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
2EESebastian Panek, Olaf Stursberg, Sebastian Engell: Optimization of Timed Automata Models Using Mixed-Integer Programming. FORMATS 2003: 73-87
2002
1EEOlaf Stursberg, Sebastian Panek: Control of Switched Hybrid Systems Based on Disjunctive Formulations. HSCC 2002: 421-435

Coauthor Index

1Sebastian Engell [2] [3]
2Olaf Stursberg [1] [2] [3]
3Subanatarajan Subbiah [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)