Personal information

Verified email domains

Activities

Works (9)

Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays

IEEE Transactions on Automation Science and Engineering
2023 | Journal article
Contributors: Lars Moormann; Reinier H. J. Schouten; Joanna M. van de Mortel-Fronczak; Wan J. Fokkink; Jacobus E. Rooda
Source: check_circle
Crossref

Supervisor Synthesis: Bridging Theory and Practice

Computer
2022-10 | Journal article
Contributors: Wan Fokkink; Martijn Goorden; Joanna van de Mortel-Fronczak; Ferdie Reijnen; Jacobus Rooda
Source: check_circle
Crossref

Supervisory control synthesis for large-scale systems with isomorphisms

Control Engineering Practice
2021-10 | Journal article
Contributors: L. Moormann; J.M. van de Mortel-Fronczak; W.J. Fokkink; P. Maessen; J.E. Rooda
Source: check_circle
Crossref

Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge

Computers in Industry
2021-09 | Journal article
Contributors: Ferdie Reijnen; Eva-Britt Leliveld; Joanna van de Mortel-Fronczak; John van Dinther; Jacobus Rooda; Wan Fokkink
Source: check_circle
Crossref

Compositional coordinator synthesis of extended finite automata

Discrete Event Dynamic Systems
2021-09-07 | Journal article
Contributors: Martijn A. Goorden; Martin Fabian; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; Jacobus E. Rooda
Source: check_circle
Crossref

Model properties for efficient synthesis of nonblocking modular supervisors

Control Engineering Practice
2021-07 | Journal article
Contributors: Martijn Goorden; Joanna van de Mortel-Fronczak; Michel Reniers; Martin Fabian; Wan Fokkink; Jacobus Rooda
Source: check_circle
Crossref

Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices

IEEE Transactions on Automatic Control
2020-04 | Journal article
Contributors: Martijn Goorden; Joanna van de Mortel-Fronczak; Michel Reniers; Wan Fokkink; Jacobus Rooda
Source: check_circle
Crossref

The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis

2019 | Book chapter
Contributors: Martijn Goorden; Joanna van de Mortel-Fronczak; Michel Reniers; Wan Fokkink; Jacobus Rooda
Source: check_circle
Crossref

Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems

IEEE Transactions on Intelligent Transportation Systems
2018-02 | Journal article
Contributors: Tim Korssen; Victor Dolk; Joanna van de Mortel-Fronczak; Michel Reniers; Maurice Heemels
Source: check_circle
Crossref