This monograph details basic concepts and tools fundamental for the analysis and synthesis of linear systems subject to actuator saturation and developments in recent research. The authors use a state-space approach and focus on stability analysis and the synthesis of stabilizing control laws in both local and global contexts. Different methods of modeling the saturation and behavior of the nonlinear closed-loop system are given special attention. Various kinds of Lyapunov functions are considered to present different stability conditions. Results arising from uncertain systems and treating performance in the presence of saturation are given. The text proposes methods and algorithms, based on the use of linear programming and linear matrix inequalities, for computing estimates of the basin of attraction and for designing control systems accounting for the control bounds and the possibility of saturation. They can be easily implemented with mathematical software packages.