Sebastian Panek

According to our database1, Sebastian Panek authored at least 7 papers between 2002 and 2009.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
Multi-product batch scheduling with intermediate due dates using priced timed automata models.
Comput. Chem. Eng., 2009

2008
Scheduling of multi-product batch plants based upon timed automata models.
Comput. Chem. Eng., 2008

Produktionssteuerung auf der Grundlage von Echtzeitautomaten (Production Scheduling Using Timed Automata).
Autom., 2008

2007
Scheduling of multi-product batch plants using reachability analysis of timed automata models.
Proceedings of the ICINCO 2007, 2007

2003
Optimization of Timed Automata Models Using Mixed-Integer Programming.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Empirical Complexity Analysis of a MILP-Approach for Optimization of Hybrid Systems.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2002
Control of Switched Hybrid Systems Based on Disjunctive Formulations.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002


  Loading...