Supervisory control synthesis for multilevel DES with local buses. - Marzhan M. Baubekova; Martijn A. Goorden; Michel A. Reniers; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda; Wan J. Fokkink (CoRR, 2025)

SBE configurator: A family model generation tool for supervisory control synthesis. - Marzhan M. Baubekova; Koen van Eldik; Joanna M. van de Mortel-Fronczak; Wan J. Fokkink; Jacobus E. Rooda (Discret. Event Dyn. Syst., 2026)