| 2007 |
|---|
| 12 | | 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 |
| 2006 |
|---|
| 11 | EE | Sebastian Sager,
Moritz Diehl,
Gundeep Singh,
Achim Küpper,
Sebastian Engell:
Determining SMB Superstructures by Mixed-Integer Optimal Control.
OR 2006: 37-42 |
| 2005 |
|---|
| 10 | EE | Sebastian Engell,
Sven Lohmann,
Olaf Stursberg:
Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics.
International Journal of Software Engineering and Knowledge Engineering 15(2): 307-312 (2005) |
| 9 | EE | Manuel A. Pereira Remelhe,
Sebastian Engell:
Combining Modelica Models with Discrete Event Formalisms for Simulation Using the Des/M Environmentc.
International Journal of Software Engineering and Knowledge Engineering 15(2): 349-356 (2005) |
| 2004 |
|---|
| 8 | EE | Nanette Bauer,
Ralf Huuck,
Ben Lukoschus,
Sebastian Engell:
A Unifying Semantics for Sequential Function Charts.
SoftSpez Final Report 2004: 400-418 |
| 7 | EE | Nanette Bauer,
Sebastian Engell,
Ralf Huuck,
Sven Lohmann,
Ben Lukoschus,
Manuel Remelhe,
Olaf Stursberg:
Verification of PLC Programs Given as Sequential Function Charts.
SoftSpez Final Report 2004: 517-540 |
| 2003 |
|---|
| 6 | EE | Sebastian Panek,
Olaf Stursberg,
Sebastian Engell:
Optimization of Timed Automata Models Using Mixed-Integer Programming.
FORMATS 2003: 73-87 |
| 2001 |
|---|
| 5 | EE | Kai Dadhe,
Volker Roßmann,
Kazim Durmus,
Sebastian Engell:
Neural Networks as a Tool for Gray Box Modelling in Reactive Distillation.
Fuzzy Days 2001: 576-588 |
| 1997 |
|---|
| 4 | | Ralf Huuck,
Yassine Lakhnech,
Luis Urbina,
Sebastian Engell,
Stefan Kowalewski,
Jörg Preußig:
Comparing Timed C/E Systems with Timed Automata (Abstract).
HART 1997: 81-86 |
| 3 | | Thomas Heckenthaler,
Sebastian Engell:
Ein Verfahren zur Auslegung schneller Fuzzy-Regelungen.
Inform., Forsch. Entwickl. 12(1): 7-13 (1997) |
| 1995 |
|---|
| 2 | | Sebastian Engell,
Stefan Kowalewski,
Bruce H. Krogh,
Jörg Preußig:
Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems.
EUROSIM 1995: 421-426 |
| 1987 |
|---|
| 1 | | Sebastian Engell:
New results on the real-time transmission problem.
IEEE Transactions on Information Theory 33(2): 210-218 (1987) |
