A scalable and lightweight QoS monitoring technique combining passive and active approaches: On the mathematical formulation of