Majid Ghaniee Zarch, Vicenç Puig, Javad Poshtan: Verification of the control system performance using viability theory. CoDIT 2017: 778-783