Discusses about dynamical systems that are 'hybrid' in the sense that they contain both continuous and discrete state variables. This book covers definition of hybrid systems, description formats, existence and uniqueness of solutions, special subclasses (variable-structure systems, complementarity systems), and reachability and verification.