Twan Basten

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

Embedded and cyber-physical systems are at the heart of our smart society. Dependable operation is essential. Their design should be model-driven and based on rigorous mathematical foundations. I am a senior research fellow at ESI. I focus in my research on performance engineering, design-space exploration, computational models, and system synthesis.

Professorship chair

Computational models (Eindhoven University of Technology).

Research area

I find my motivation in improving the design of embedded and cyber-physical systems. These systems are at the heart of our smart society. Dependable operation is essential. Their design should be model-driven and based on rigorous mathematical foundations. I focus on performance engineering, design-space exploration, computational models, and system synthesis. Model-driven design improves time-to-quality and the cost-performance ratio of systems.

Top publications

  • 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
NL-5656 AE Eindhoven

Postal address

P.O. Box 6235
NL-5600 HE Eindhoven