Marijn Minkenberg

Multimodal Nonblocking Supervisory Control Synthesis

Marijn Minkenberg, Michel Reniers, Martijn Goorden, Asia van de Mortel-Fronczak, Wan Fokkink

Supervisory control synthesis leverages the nonblocking property to show liveness of the supervised system. This property is particularly weak when system models include fault behavior, reconfiguration, or multiple control goals. To capture a more suitable nonblocking property fo…Read more