
Twan Basten

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
-
Telefoon:+31 88 866 50 00
-
Email:[email protected]