ForschungModel-based quantitative engineering of systems and processes
- Modelling (stochastic Petri nets, colored stochastic Petri nets, UML State Machines etc.)
- Evaluation (performance, dependability, timeliness etc.)
- Simulation (fine-grained distributed simulation with dynamic load balancing, efficient simulation of highly dependable systems with rare-event simulation techniques etc.)
- Analysis (numerical analysis techniques, model-structure simplifications for approximative solutions etc.)
- Optimization (speedup of indirect optimization using model structure information and preoptimization)
- Control (controlling e.g. a manufacturing system directly with a Petri net model)
... of (stochastic) discrete event dynamic systems
Application of results and methods in practice, industrial applications in the areas - Real-time systems and real-time communication in highly dependable systems
Workshop series on Parallel and Distributed Real-Time Systems 2007, 2006, 2005, 2004, 2003, 2002 - Automotive Systems
- Avionics
- Manufacturing systems
POPP-Project: Modelling and performance evaluation of manufacturing systems with timed and colored Petri nets
PhD thesis on modeling and evaluation of manufacturing systems with Petri nets
Research visits at the Universidad de Zaragoza, Spain, in the research group of Prof. Silva - Workflow systems
in collaboration with Dr. Juliane Siegeris - Logistics and supply chains
Projects "Container Management Decision Support System Development" and
"New Methodology for Developing Agile Supply Chain Models",
both for General Motors R&D Detroit in collaboration with Prof. Peter Glynn, Stanford University - Graduate research training group "Stochastic Modelling and Quantitative Analysis of Complex Systems in Engineering" (DFG-funded, TU Berlin 2000-2006)
- Autonomous mobile robots
Software tool support - Petri net modelling and analysis tool TimeNET
- Generic graphical user interfaces for modelling tools
|
