Wan Fokkink
Vrije Universiteit Amsterdam
H-index: 39
Europe-Netherlands
Top articles of Wan Fokkink
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Synthesis-based engineering of supervisory controllers | Control Engineering Practice | E Torta M Reniers J Kok JM van de Mortel-Fronczak MJG van de Molengraft | 2023/4/1 |
Validating communication of a dynamic traffic management system | Jeroen Verbakel Wan Fokkink Joanna Van De Mortel-Fronczak Jacobus Rooda | 2023/6/14 | |
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit | Wan J Fokkink Martijn A Goorden Dennis Hendriks DA van Beek Albert T Hofkamp | 2023/4/20 | |
Synthesis and implementation of distributed supervisory controllers with communication delays | IEEE Transactions on Automation Science and Engineering | Lars Moormann Reinier HJ Schouten Joanna M Van De Mortel-Fronczak Wan J Fokkink Jacobus E Rooda | 2023/3/28 |
Supervisor synthesis: Bridging theory and practice | Computer | Wan Fokkink Martijn Goorden Joanna Van de Mortel-Fronczak Ferdie Reijnen Jacobus Rooda | 2022/9/27 |
Supervisory control of roadside units | IFAC-PapersOnLine | Jeroen J Verbakel Marc EW Vos de Wael Joanna M van de Mortel-Fronczak Wan J Fokkink Jacobus E Rooda | 2022/1/1 |
Derivation and hardware-in-the-loop testing for a road tunnel controller | IFAC-PapersOnLine | Lars Moormann Albert T Hofkamp Joanna M van de Mortel-Fronczak Wan J Fokkink Jacobus E Rooda | 2022/1/1 |
Lessons learned in the application of formal methods to the design of a storm surge barrier control system | Martijn Goorden Joanna van de Mortel-Fronczak Koen van Eldik Wan Fokkink Jacobus Rooda | 2022 | |
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 | Saidgani Musaev Wan Fokkink | 2022/10/8 |
Are two binary operators necessary to obtain a finite axiomatisation of parallel composition? | ACM Transactions on Computational Logic | Luca Aceto Valentina Castiglioni Wan Fokkink Anna Ingólfsdóttir Bas Luttik | 2022/10/20 |
A configurator for supervisory controllers of roadside systems | JJ Verbakel MEW Vos De Wael Joanna M van de Mortel-Fronczak Wan J Fokkink Jacobus E Rooda | 2021/8/23 | |
Supervisory control synthesis for large-scale systems with isomorphisms | Control Engineering Practice | L Moormann JM van de Mortel-Fronczak WJ Fokkink P Maessen JE Rooda | 2021/10/1 |
Compositional coordinator synthesis of extended finite automata | Discrete Event Dynamic Systems | Martijn A Goorden Martin Fabian Joanna M van de Mortel-Fronczak Michel A Reniers Wan J Fokkink | 2021/9 |
Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge | Computers in Industry | Ferdie Reijnen Eva-Britt Leliveld Joanna van de Mortel-Fronczak John van Dinther Jacobus Rooda | 2021/9/1 |
Detecting useless transitions in pushdown automata | Information and Computation | Evangelos Chatzikalymnios Wan Fokkink Dick Grune Brinio Hond Peter Rutgers | 2021 |
Model properties for efficient synthesis of nonblocking modular supervisors | Control Engineering Practice | Martijn Goorden Joanna van de Mortel-Fronczak Michel Reniers Martin Fabian Wan Fokkink | 2021/7/1 |
Selected Papers of the 30th International Conference on Concurrency Theory (CONCUR 2019) | Logical Methods in Computer Science | WJ Fokkink RJ van Glabbeek | 2021 |
Fault-tolerant termination detection with Safra’s algorithm | Networked Systems (NETYS) | Georgios Karlos Wan Fokkink Per Fuchs | 2021 |
Model reduction for supervisor synthesis | Lars Moormann Wan J Fokkink JE Koos Rooda | 2020/3 | |
Efficient validation of supervisory controllers using symmetry reduction | IFAC-PapersOnLine | Lars Moormann Martijn A Goorden Joanna M van de Mortel-Fronczak Wan J Fokkink Patrick Maessen | 2020/1/1 |