Control statements regulate the order of execution of statements in a program. There are three main types of control statements: sequence statements, selection statements (if/else, switch), and looping/iteration statements (for, while, do-while). Sequence statements execute statements sequentially from top to bottom. Selection statements execute certain statements conditionally based on if/else or switch conditions. Looping statements repeatedly execute a block of code for a specified number of times or as long as a condition is true. Other statements like break, continue, and return can change the normal flow of control.