Algorithms and tests for control systems