Predefined-time optimization for distributed resource allocation. Issue 16 (November 2020)