• 595 Citaten
1993 …2019
Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Persoonlijk profiel

Quote

"Software is an intrinsic and often underestimated part of mechanical engineering. My mission is the development of software for civil engineering and logistic systems that is guaranteed to be correct, efficient, and maintainable."

Research profile

Wan Fokkink is a Full Professor of Model Based System Engineering in the Control Systems Technology Group in the Faculty of Mechanical Engineering, Eindhoven University of Technology (TU/e).  His specialties include supervisory control synthesis, distributed algorithms, safety-critical software, protocol verification, and process algebra.

Wan’s research targets analysis and design of distributed systems, broadly construed, ranging from automatically synthesizing control software to formal verification of communication protocols and executable models of biological systems. Recent research has focused on applying formal modeling and analysis techniques to automatically generate software for civil engineering structures like bridges, dams and tunnels. This development process uses the requirements of the object to constrain its possible behavior. The aim is to automatically transform the requirements into PLC code that governs movements within, for example, a bridge.

Academic background

Wan Fokkink obtained his MSc in Mathematics (with honors) from the University of Amsterdam (1990) where he also received his PhD in Computer Science (1994). Following this, he undertook a post-graduate position at Utrecht University and became a lecturer at the University of Wales, Swansea. He subsequently headed the Embedded Systems Group at CWI, the Dutch national research institute for mathematics and computer science (2000-2004). He was part-time full professor on Stochastic Design at TU/e (2012-2016). In addition to his work at TU/e, Wan has been a full professor of Theoretical Computer Science at the Vrije Universiteit Amsterdam since 2004. He is co-founder and was the vice-chair of IFIP Working Group 1.8 on Concurrency Theory and the chair of the board of the national research school IPA.

Affiliated with

  • Department of Computer Science, Vrije Universiteit Amsterdam

Partners in (semi-)industry

  • Rijkswaterstaat
  • Vanderlande Industries

Vingerafdruk Duik in de onderzoeksthema's waar Wan J. Fokkink actief is. Deze onderwerplabels komen voort uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

Semantics Engineering en materiaalwetenschappen
Algebra Engineering en materiaalwetenschappen
Model checking Engineering en materiaalwetenschappen
Process Algebra Rekenkunde
Axiomatization Rekenkunde
Specifications Engineering en materiaalwetenschappen
Network protocols Engineering en materiaalwetenschappen
Branching Rekenkunde

Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

Onderzoeksoutput 1993 2019

1 Citaat (Scopus)

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
Controller
Controllers
Formal Model
2 Citaties (Scopus)

Maximally permissive controlled system synthesis for non-determinism and modal logic

van Hulst, A. C., Reniers, M. A. & Fokkink, W. J., 2017, In : Discrete Event Dynamic Systems. 27, 1, blz. 109-142 34 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
Nondeterminism
Modal Logic
Synthesis
Supervisory Control
Requirements
1 Citaat (Scopus)

Multi-valued simulation and abstraction using lattice operations

Vijzelaar, S. J. J. & Fokkink, W., 1 jan 2017, In : ACM Transactions on Embedded Computing Systems. 16, 2, 26 blz., 42

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

8 Citaties (Scopus)

Formal specification and verification of TCP extended with the Window Scale Option

Lockefeer, L., Williams, D. M. & Fokkink, W., 1 mrt 2016, In : Science of Computer Programming. 118, blz. 3-23 21 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Specifications
Data transfer
Formal verification
Formal specification

Compositional coordinator synthesis for discrete event systems

Goorden, M., Fabian, M., Reniers, M., van de Mortel - Fronczak, A., Fokkink, W. & Rooda, K., 2019, blz. 91 1 blz.

Onderzoeksoutput: Bijdrage aan congresAbstractAcademic

Open Access
Bestand

Scriptie

Control and performance analysis of wafer flow in wafer handling systems

Auteur: de Kock, E., 31 jul 2014

Begeleider: Fokkink, W. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Design and implementation of a distributed baggage handling controller

Auteur: Dierikx, O., 31 aug 2015

Begeleider: Fokkink, W. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Design and implementation of model-based controllers for baggage handling systems

Auteur: Jansen, S., 10 jul 2014

Begeleider: Fokkink, W. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

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

Measuring and improving the quality of file carving methods

Auteur: Kloet, S., 30 nov 2007

Begeleider: Fokkink, W. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand