13 citations · 14 across the 5 of their papers we have counts for
1 paper · 1 filter
Dennis Hendriks, Michel Reniers, Wan Fokkink +1
Supervisory controllers control cyber-physical systems to ensure their correct and safe operation. Synthesis-based engineering (SBE) is an approach to largely automate their design…