This document provides lecture notes on hybrid systems. It begins with an overview of dynamical systems and examples of continuous, discrete, and hybrid systems. It then discusses modeling hybrid systems as hybrid automata and the concept of executions. The notes cover topics such as the existence and properties of solutions to hybrid systems, modeling and analysis techniques including deductive methods, model checking and timed automata, and reachability analysis using viability theory. The goal is to introduce fundamental concepts for investigating properties of hybrid systems such as existence of solutions, reachability, and decidability.