روش‌های صوری در طراحی و کنترل سامانه‌های خودمختار