Set-theoretical FSM Models Activity Subsystem for Cognitive Control Systems | IEEE Conference Publication | IEEE Xplore