מה תלמדו
9 תחומי ידע
- ייצוגים במרחב מצב
- אוטומטים מזמנים
- אוטומטים היברידיים
- מודלים פורמליים של דרישות המערכת
- יציבות וניתנות להשגה
- מפרטים המוגדרים על ידי נוסחאות של לוגיקה זמנית ליניארית
- טכניקות לאימות כמו תאוריות ליופונוב ובדיקת מודלים
- סינתזה של בקרים לאכיפת תכונות מוגדרות