• 493 Citaten
Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Persoonlijk profiel


Application of model-based engineering in supervisory controller development leads to better systems in a shorter amount of time, when supported by proper theory and tools."

Research profile

Bert van Beek is Assistant Professor at the Mechanical Engineering Department at the TU/e. His research is oriented towards modeling, interactive simulation-based validation and visualization, supervisory control synthesis, and real-time controller code-generation for hybrid industrial systems. He is one of the founders of and major contributors to the CIF formalism and toolset, developed in several European projects. This toolset supports the entire development process of controllers, including specification, supervisory controller synthesis, simulation-based validation and visualization, verification, real-time testing, and code generation.

Academic background

Bert (D.A.) van Beek graduated with distinction as Master of Science in Electrical Engineering at the TU/e in 1985. Soon thereafter, he was appointed as Assistant Professor in Mechanical Engineering, where he received his PhD degree in 1993. He has been active in several international projects, such as the HYCON 1 (member of executive committee) and 2 (work package leader) EU networks of excellence, and the EU FP7 projects C4C and Multiform (both as work package leader).

Vingerafdruk Duik in de onderzoeksthema's waar D.A. (Bert) van Beek actief is. Deze onderwerplabels komen voort uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

  • 1 Vergelijkbare profielen
Interchanges Engineering en materiaalwetenschappen
Controllers Engineering en materiaalwetenschappen
Hybrid systems Engineering en materiaalwetenschappen
Supervisory personnel Engineering en materiaalwetenschappen
Semantics Engineering en materiaalwetenschappen
Control theory Engineering en materiaalwetenschappen
Discrete event simulation Engineering en materiaalwetenschappen
Magnetic resonance imaging Engineering en materiaalwetenschappen

Onderzoeksoutput 1993 2017

1 Citaat (Scopus)
7 Downloads (Pure)

Model-based design of supervisory controllers for baggage handling systems

Swartjes, L., van Beek, D. A., Fokkink, W. J. & van Eekelen, J. A. W. M., 1 nov 2017, In : Simulation Modelling Practice and Theory. 78, blz. 28-50 23 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Baggage handling
Model-based Design
Formal Model
2 Citaties (Scopus)
5 Downloads (Pure)

Why is my supervisor empty? : finding causes for the unreachability of states in synthesized supervisors

Swartjes, L., Reniers, M. A., Van Beek, D. A. & Fokkink, W. J., 22 jun 2016, 2016 13th International Workshop on Discrete Event Systems, WODES 2016, 30 May - 1 June, Xián, China. Piscataway: Institute of Electrical and Electronics Engineers, blz. 14-21 8 blz. Mo_1_A.3

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Supervisory personnel
Supervisory Control
5 Downloads (Pure)

Coordination control of complex machines

Baeten, J. C. M., Beek, van, D. A., Markovski, J. & Somers, L. J. A. M., 2015, Coordination Control of Distributed Systems. Schuppen, van, J. H. & Villa, T. (redactie). Cham: Springer, blz. 61-68 (Lecture Notes in Control and Information Sciences; vol. 456).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Supervisory personnel
Systems engineering
Large scale systems
21 Citaties (Scopus)
5 Downloads (Pure)

Application of supervisory control synthesis to a patient support table of a magnetic resonance imaging scanner

Theunissen, R. J. M., Petreczky, M., Schiffelers, R. R. H., Beek, van, D. A. & Rooda, J. E., 2014, In : IEEE Transactions on Automation Science and Engineering. 11, 1, blz. 20-32 13 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Magnetic resonance
Imaging techniques
Real time control
31 Citaties (Scopus)
8 Downloads (Pure)

CIF 3 : model-based engineering of supervisory controllers

Beek, van, D. A., Fokkink, W. J., Hendriks, D., Hofkamp, A. T., Markovski, J., Mortel - Fronczak, van de, J. M. & Reniers, M. A., 2014, Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Abraham, E. & Havelund, K. (redactie). Berlin: Springer, blz. 575-580 (Lecture Notes in Computer Science; vol. 8413).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Code generation


Engineering Design

1/09/14 → …


Model-based systems engineering

1/09/13 → …



A comparative study of conventional and pipeless batch plants

Auteur: van de Wijdeven, P., 30 nov 1997

Begeleider: Rooda, J. (Afstudeerdocent 1), Drinkenburg, A. (Afstudeerdocent 2) & van Beek, D. (Begeleider)

Scriptie/masterproef: Master


Basis software en een GKS Driver voor een grafische kaart in een UNIX systeem

Auteur: van Beek, D., 31 dec 1985

Begeleider: Heetman, A. (Afstudeerdocent 1)

Scriptie/masterproef: Master


Chaotic behaviour of production systems

Auteur: Schmitz, J., 31 dec 1999

Begeleider: Rooda, J. (Afstudeerdocent 1) & van Beek, D. (Begeleider)

Scriptie/masterproef: Master

Design aspects of the hybrid Chi process algebra

Auteur: Jansen, N., 31 dec 2003

Begeleider: Rooda, J. (Afstudeerdocent 1), van Beek, D. (Afstudeerdocent 2) & Schiffelers, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Design of a model-based controller for baggage handling systems with data tracking

Auteur: Zwijgers, T., 30 apr 2015

Begeleider: Fokkink, W. (Afstudeerdocent 1), van Beek, D. (Afstudeerdocent 2), Swartjes, L. (Afstudeerdocent 2), van Eekelen, J. (Externe coach) & Hommels, R. (Externe coach)

Scriptie/masterproef: Master