9 citations · 10 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
eess.SY2026
Multimodal Nonblocking Supervisory Control Synthesis
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…
cs.FL2026
Evolution-Based Timed Opacity under a Universal Observation Model
Zhe Zhang, Martijn Goorden, Michel Reniers
Existing literature on timed opacity uses specific definitions for restricted subclasses of timed automata or limited observation models. This lack of a unified definition makes it…