Automatic method of finding tolerance for verified LQ control method based on verified numerical computation

This paper proposed validated control system design method based on verified numerical computation. The proposed method designs and validates a controller using verified numerical computation. We also proposed a method to find the smallest tolerance automatically. And, this paper applied a proposed method to LQ control problem.