9 citations · 12 across the 7 of their papers we have counts for
1 paper · 1 filter
Marijn Minkenberg, Michel Reniers, Martijn Goorden +2
Supervisory control synthesis leverages the nonblocking property to show liveness of the supervised system. This property is particularly weak when system models include fault beha…