Supervisor Synthesis: Bridging Theory and Practice

Compositional coordinator synthesis of extended finite automata

(2021) Martijn A. Goorden et al.   DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS

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

(2021) Ferdie Reijnen et al.   COMPUTERS IN INDUSTRY

Supervisory controller synthesis and implementation for safety PLCs

(2021) Ferdie F. H. Reijnen et al.   DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS

Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices

(2019) Martijn Goorden et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Multilevel Flow-Based Markov Clustering for Design Structure Matrices

(2017) T. Wilschut et al.   JOURNAL OF MECHANICAL DESIGN

A framework for compositional nonblocking verification of extended finite-state machines

(2015) Sahar Mohajerani et al.   DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS

Active fault tolerant control of discrete event systems using online diagnostics

(2011) Andrea Paoli et al.   AUTOMATICA

Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata

(2011) L. Ouedraogo et al.   IEEE Transactions on Automation Science and Engineering