An approach to stability and controllability analysis in batch processes using set theory methods | IEEE Conference Publication | IEEE Xplore