The authors define controllability for hybrid systems as the existence of correct control laws that transfer the hybrid plant between predefined subsets of the hybrid state space. A methodology for analyzing controllability and synthesizing control laws for a class of hybrid systems, applicable especially in batch control, is proposed. They use a framework consisting of a hybrid plant and a hybrid controller that interact in a feedback fashion.