formalna predstavitev korakov delovanja sistema avtomatskega vodenja, npr. z matematičnim zapisom, z diagramom poteka, s psevdokodo