Discrete controllers are an essential part of each control system for
batch processes. The application of mathematical methods for modelling
discrete control problems and controller synthesis can improve the sa
fety as well as the performance of a batch process control system. The
paper presents mathematical modelling and design techniques for diffe
rent levels of discrete control.