Semi-global regulation of output synchronization for heterogeneous networks of non-introspective, invertible agents subject to actuator saturation.