Control structures determine the flow of execution of code in a program. There are three main types of control structures: sequential, selection, and iteration. Sequential execution runs code in order. Selection (if/else statements) allows branching based on conditions. Iteration (loops) repeats code. Common loop structures are while, for, and nested loops. Loop control statements like break, continue, and pass alter normal loop execution.