Twan Basten

Functie:
Senior scientist at TNO and Professor at TU Eindhoven on Computational Models

Embedded en cyber-fysieke systemen staan aan de basis van onze slimme samenleving. Daarom is het essentieel dat deze betrouwbaar functioneren. Hun ontwerp moet modelgedreven en wiskundig sterk onderbouwd zijn. Ik ben senior onderzoeker bij ESI. In mijn onderzoek houd ik me bezig met prestatie-engineering, Design Space Exploration, rekenmodellen en systeemsynthese.

Leerstoel

Computational models (TU Eindhoven).

Onderzoeksgebied

Mijn hart ligt bij het verbeteren van het ontwerp van embedded en cyber-fysieke systemen. Deze systemen staan aan de basis van onze slimme samenleving. Daarom is het essentieel dat deze betrouwbaar functioneren. Hun ontwerp moet modelgedreven en wiskundig sterk onderbouwd zijn. Ik houd me bezig met prestatie-engineering, Design Space Exploration, rekenmodellen en systeemsynthese. Modelgedreven ontwerp verbetert de tijd-kwaliteits- en de prijs-prestatieverhouding van systemen.

Belangrijkste publicaties

  • van der Sanden, M.C.W. Geilen, M.A. Reniers, T. Basten. Partial-Order Reduction for Supervisory Controller Synthesis. IEEE Transactions on Automatic Control, IEEE TAC. 67(2):870-885, February 2022.
  • van der Sanden, Y. Li, J. van den Aker, B. Akesson, T. Bijlsma, M. Hendriks, K. Triantafyllidis, J. Verriet, J. Voeten, T. Basten. Model-Driven System-Performance Engineering for Cyber-Physical Systems. In 2021 International Conference on Embedded Software Companion, EMSOFT’21, pages 11-22. ACM Press, New York, USA, 2021.
  • Hendriks, M. Geilen, K. Goossens, R. de Jong, T. Basten. Interface Modeling for Quality and Resource Management. Logical Methods in Computer Science, LMCS. 17(2), 19:1-19:34, 26 May 2021.

Eindhoven - High Tech Campus 25

High Tech Campus 25
5656 AE Eindhoven

Postadres

Postbus 6235
5600 HE Eindhoven