Тадқиқотнинг мақсади функционал жадваллар алгебраси ва математик моделлаштириш усулларидан фойдаланиб мураккаб тизимлар учун алгоритмик бошқариш моделларини яратиш ва уларни автоматлаштирилган тизимларга тадбиқ этишдан иборат.