Sformułowanie równań (logiki) opisujących działanie układu sterowania
Wykorzystanie opisu w postaci np.
• tablicy stanów
• grafu stanów
• schematu blokowego („klasycznego")
• sekwencyjnego schematu funkcjonalnego