Model-Based Design Lab

Model-Based Design methods are a key enabler for advances in design-automation for embedded and cyber-physical systems

Research Profile

Highly automated model-based design and synthesis methods enable rapid and effective design of complex embedded and cyber-physical systems and improve reliability , predictability, performance, robustness and provide correctness-by-construction.

This improves time-to-market and time-to-quality. Embedded and cyber-physical systems

  • have the challenge that they innately combine aspects from different domains,
  • are subject to a wide variety of requirements and objectives, functional and non-functional.
  • they do not yield to traditional, existing models and methods.

Through the development of a broad toolbox of mathematical models, the study of their relationships, improved algorithmic analysis and optimization techniques, and scheduling and synthesis methods, the benefits of design automation can be significantly enlarged for embedded and cyber-physical systems.

The Model-Based Design Lab addresses these challenges through 

  1. development and integration of mathematical models and semantics;
  2. algorithmic fundamentals for analysis, optimization and synthesis;
  3. methodology integration and use cases.

Our Current and Former Researchers

  • Marc Geilen
  • Twan Basten
  • Jeroen Voeten
  • Nasim Samimi
  • Mahtab Modaber
  • Hossein Elahi
  • Joan Marce ì Igual
  • Alireza Mohammadkhani
  • Emad Ibrahim
  • Shayan Tabatabaei Nikkhah
  • Ruben Jonk
  • Freek van den Berg
  • Siamack Beigmohammadi