A dynamic event-triggered H∞ control for singular Markov jump systems with redundant channels. Issue 1 (2nd January 2020)