9 citations · 12 across the 7 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2024
Supervisory Control Theory with Event Forcing
Michel Reniers, Kai Cai
In the Ramadge-Wonham supervisory control theory the only interaction mechanism between supervisor and plant is that the supervisor may enable/disable events from the plant and the…
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,…