Verification of Mixed-Signal Systems with Affine Arithmetic Assertions

Figure 6

Block diagram of a system with PID controller.