Theoretical foundation for combining zonotopes and support functions

Summary
This report explores the theoretical foundation for combining zonotopes and support functions in reachability analysis, as outlined in task 4.3.