274 B
274 B
Controllers in the real world control plants that are not perfectly represented by a mathematical model. For this reason, controllers that operate in high-assurance environments must be evaluated to be robust. Validation and verification of controllers for their robustness