V rámci této disertační práce přispějeme k řešení jednoho z fundamentálních problémů teorie řízení: řízení systému do zvolené cílové množiny. Zkonstruujeme algoritmy, které automaticky syntetizují zpětnovazebné řízení s ...