Controller fault management using synthesis approach