Compositional Analysis and Control of Dynamical Systems by