In this chapter we provide a brief review of the theoretical methodologies employed in this book for the analytical study of tethered aerial vehicles. In particular, this review covers fundamental methods to (i) model the system; (ii) analyze its dynamic properties; (iii) design nonlinear control methods to accomplish the sought autonomous behavior; and finally (iv) design state estimation methods to retrieve the state from the available sensors to close the control loop. For the modeling of the analyzed tethered aerial systems we used mainly two equivalent yet different approaches, namely the Lagrangian and the Newton-Euler formalisms (see Sect. 2.1). The combination of the two allowed us to obtain the best representation of the dynamics for our control objectives. A particular attention is given to the modeling of a rigid body. Indeed, most of the aerial vehicles are modeled as floating rigid bodies. The obtained formal description of the dynamics was firstly used to determine whether the system is differentially flat or not, and if yes, with respect to which flat outputs. The analysis of this property results very useful for both control and motion planning (see Sect. 2.2). Since there exists a strong relation between differential flatness and feedback linearization , we then applied the latter method, described in Sect. 2.3, to solve the tracking problem of the flat outputs previously discovered. Finally, in order to practically implement the control action based on feasible measurements, we investigated the minimal sensory configuration that makes the state observable. The applicability of a globally exponentially stable nonlinear High Gain Observer (described in Sect. 2.4) has been studied. In order to facilitate the reader understating of the theoretical results proposed in this book, in the following, we shall describe the previously mentioned methodologies.