Introducing closed-loop corrections {characterised by the control or regulation method using a finite or infinite state machine, automaton or state graph for controlling or modelling}