13 citations · 16 across the 5 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2023
Transformational Supervisor Localization
Sander Thuijsman, Kai Cai, Michel Reniers
Supervisor localization can be applied to distribute a monolithic supervisor into local supervisors. Performing supervisor localization can be computationally costly. In this work,…
cs.FL2020
Conversion of LSAT behavioral specifications to automata
Sander Thuijsman, Michel Reniers
The Logistics Specification and Analysis Tool (LSAT) is a model-based engineering tool used for manufacturing system design and analysis. Using a domain specific language, a system…