In this talk I will give an overview of set-based methods for computing global dynamics. These methods combine topological methods, combinatorial and algebraic tools, and some rigorous numerics to build a collection of algorithms to compute a robust characterization of the global dynamics of a system. I will show examples and briefly describe software and some mathematical foundations.