We have developed a model-free scheme for falsification of control system time domain specifications based on trajectory optimization/optimal control techniques. The scheme combines online local model identification and gradient-based input update, iteratively operated to falsify/verify time domain requirements.
Model-free falsification algorithm diagram
Adaptive cruise control specification falsification
Gasoline engine air-to-fuel ratio control system model
Gasoline engine air-to-fuel ratio control specification falsification