The book introduces the reader to key aspects in mathematical modeling of batch processes and presents techniques to overcome the computational complexity in order to yield models that are solvable in near real-time. It demonstrates how batch processes can be analyzed, synthesized, and designed optimally using proven mathematical formulations. T