Projects per year
Organization profile
Introduction / mission
Highlighted phrase
Model-Based Design methods are a key enabler for advances in design-automation for embedded and cyber-physical systems
Organisational profile
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.
Fingerprint
Network
Profiles
-
A.A. (Twan) Basten
- Electrical Engineering, Cyber-Physical Systems Center Eindhoven
- Electrical Engineering, Electronic Systems - Full Professor
- Electrical Engineering, Model-Based Design Lab
- EAISI High Tech Systems - Full Professor
- EAISI Foundational - Full Professor
Person: HGL : Professor
-
Hossein Elahi, MSc
- Electrical Engineering, Model-Based Design Lab
- Electrical Engineering, Electronic Systems - Doctoral Candidate
Person: Prom. : doctoral candidate (PhD), Prom. : doctoral candidate (PhD)
-
Marc C.W. Geilen
- Electrical Engineering, Cyber-Physical Systems Center Eindhoven
- Electrical Engineering, Model-Based Design Lab
- Electrical Engineering, CompSOC Lab- Predictable & Composable Embedded Systems
- Electrical Engineering, Electronic Systems - Associate Professor
Person: UHD : Associate Professor, UD : Assistant Professor
Projects
- 2 Active
-
AquaConnect, key technologies for safeguarding regional water provision in fresh water stressed deltas
Goswami, D., Voeten, J. P. M., Verheijen, P. C. N., Lazar, M., de Mol-Regels, M., van der Hagen, D. & Haghi, M.
15/09/21 → 31/08/25
Project: Research direct
-
Scheduling Adaptive Modular Flexible Manufacturing Systems (SAM-FMS)
Basten, A. A., Geilen, M. C. W., Nasri, M., Marce i Igual, J., de Mol-Regels, M. & Farboud, P.
1/09/20 → 30/09/24
Project: Research direct
Research output
-
Efficient Computation of the Max-Plus Semantics of Synchronous Dataflow Graphs
Elahi, H., Geilen, M. & Basten, T., 24 Jan 2023, (E-pub ahead of print) In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. XX, X, 10025363.Research output: Contribution to journal › Article › Academic › peer-review
-
Quality-of-Service-Adequate Wireless Receiver Design
Detterer, P., 15 Mar 2023, Eindhoven: Eindhoven University of Technology. 129 p.Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)
Open AccessFile -
Tool interoperability for model-based systems engineering
Thuijsman, S., Kahraman, G., Mohamadkhani, A., Timmers, F., Cleophas, L., Geilen, M., Groote, J. F., Reniers, M., Schiffelers, R. & Voeten, J., 7 Feb 2023, In: arXiv. 2023, 18 p., 2302.03503.Research output: Contribution to journal › Article › Academic
Open AccessFile28 Downloads (Pure)
Datasets
-
Data set of paper Model-Driven System-Performance Engineering for Cyber-Physical Systems
Sanden, B. V. D. (Creator), Li, Y. (Creator), van den Aker, J. (Creator), Akesson, B. (Creator) & Basten, A. A. (Creator), Zenodo, 29 Jul 2021
Dataset
Student theses
-
Characterizing Performance Variability in Manufacturing System Configurations
Author: Özbay, İ., 25 Aug 2022Supervisor: Basten, A. A. (Supervisor 1), Verriet, J. H. (External person) (External coach) & van der Sanden, L. J. (External coach)
Student thesis: Master
File -
Effective Design Space Exploration: Exploration of the UV curing process for uniform UV distribution in commercial printers
Author: de Zeeuw, S., 19 Oct 2021Supervisor: Geilen, M. C. W. (Supervisor 1), Luiken, J. A. (External person) (External coach) & Theelen, B. D. (External coach)
Student thesis: Master
File -
Execution Engine Approach for Supervisory Control of Flexible Manufacturing Systems
Author: Hong, Y., 20 Dec 2021Supervisor: Voeten, J. P. M. (Supervisor 1), Mohammadkhani, A. (Supervisor 2) & Schmaltz, J. (External coach)
Student thesis: Master
File