A case study on timed supervisory control on a linear cluster tool using aggregated timed synthesis. - Lennart Swartjes; Rong Su 001; Jacobus E. Rooda (ICCA, 2011)

Towards the Removal of Synchronous Behavior of Events in Automata. - Lennart Swartjes; Dirk A. van Beek; Michel A. Reniers (WODES, 2014)

Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors. - Lennart Swartjes; Michel A. Reniers; D. A. van Beek; Wan J. Fokkink (WODES, 2016)

Model-based design of supervisory controllers for baggage handling systems. - Lennart Swartjes; D. A. van Beek; Wan J. Fokkink; J. A. W. M. van Eekelen (Simul. Model. Pract. Theory, 2017)

Deducing causes for the absence of states in supervised systems. - Lennart Swartjes; Michel A. Reniers; Wan J. Fokkink (CoDIT, 2019)