symbolic control