Projects per year
Introduction / mission
Model-Based Design methods are a key enabler for advances in design-automation for embedded and cyber-physical systems
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.
1/09/20 → 30/09/24
Project: Research direct
Adaptive predictive control for pipelined multiprocessor image-based control systems considering workload variationsMohamed, S., Saraf, N., Bernardini, D., Goswami, D., Basten, A. A. T. & Bemporad, A., 11 Jan 2021, 2020 59th IEEE Conference on Decision and Control, CDC 2020. Institute of Electrical and Electronics Engineers, p. 5236-5242 7 p. 9303827
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-reviewOpen AccessFile22 Downloads (Pure)
Matlab2Trace: A Matlab to Trace translator to visualise and analyse concurrent system activities and execution tracesMohamed, S., Goswami, D. & Basten, A. A. T., 2021.
Research output: Contribution to conference › PosterOpen AccessFile55 Downloads (Pure)
Ibrahim, A. M. E., Goswami, D., LI, H., Martin Soroa, I. & Basten, A. A. T., Mar 2021, In: Transportation Research Part C: Emerging Technologies. 124, 34 p., 102905.
Research output: Contribution to journal › Article › Academic › peer-reviewOpen Access