Symbolic control of systems with dead times using symbolic smith predictors | IEEE Conference Publication | IEEE Xplore