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 safety as well as the performance of a batch process control system. The paper presents mathematical modelling and design techniques for different levels of discrete control.