符号控制

symbolic control