Wan Fokkink
Vrije Universiteit Amsterdam
H-index: 39
Europe-Netherlands
Top articles of Wan Fokkink
Synthesis-based engineering of supervisory controllers
Control Engineering Practice
2023/4/1
Validating communication of a dynamic traffic management system
2023/6/14
Wan Fokkink
H-Index: 15
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit
2023/4/20
Synthesis and implementation of distributed supervisory controllers with communication delays
IEEE Transactions on Automation Science and Engineering
2023/3/28
A note on the message complexity of Cidon’s distributed depth-first search algorithm
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
2022/10/8
Wan Fokkink
H-Index: 15
Supervisor synthesis: Bridging theory and practice
Computer
2022/9/27
Wan Fokkink
H-Index: 15
Martijn Goorden
H-Index: 5
Supervisory control of roadside units
IFAC-PapersOnLine
2022/1/1
Derivation and hardware-in-the-loop testing for a road tunnel controller
IFAC-PapersOnLine
2022/1/1
Lessons learned in the application of formal methods to the design of a storm surge barrier control system
2022
Martijn Goorden
H-Index: 5
Wan Fokkink
H-Index: 15
Are two binary operators necessary to obtain a finite axiomatisation of parallel composition?
ACM Transactions on Computational Logic
2022/10/20
Wan Fokkink
H-Index: 15
Bas Luttik
H-Index: 10
Supervisory control synthesis for large-scale systems with isomorphisms
Control Engineering Practice
2021/10/1
Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge
Computers in Industry
2021/9/1
Wan Fokkink
H-Index: 15
Model properties for efficient synthesis of nonblocking modular supervisors
Control Engineering Practice
2021/7/1
Selected Papers of the 30th International Conference on Concurrency Theory (CONCUR 2019)
Logical Methods in Computer Science
2021
Fault-tolerant termination detection with Safra’s algorithm
Networked Systems (NETYS)
2021
Wan Fokkink
H-Index: 15
Per Fuchs
H-Index: 1
A configurator for supervisory controllers of roadside systems
2021/8/23
Compositional coordinator synthesis of extended finite automata
Discrete Event Dynamic Systems
2021/9
Detecting useless transitions in pushdown automata
Information and Computation
2021
Wan Fokkink
H-Index: 15
The road ahead for supervisor synthesis
2020
Congruence from the operator’s point of view: Syntactic requirements on modal characterizations
Acta Informatica
2020/10
Wan Fokkink
H-Index: 15
Co-Authors
