Discovering Data-Aware Mode-Switching Constraints to Monitor Mode-Switching Decisions in Supervisory Control | IEEE Journals & Magazine | IEEE Xplore