Coursera · סדרה של 3 קורסים

קורס אונליין – תעודה מקצועית מוסמכת במערכות אוטונומיות של Google, University of Colorado Boulder

ההתמחות הזו מספקת סקירה מקיפה על תכנון וניתוח של מערכות אוטונומיות. היא מתחילה בבחינת רכיבים בסיסיים כמו חיישנים, מפעילים ורשתות תקשורת, ולאחר מכן מעמיקה במודלים פורמליים.

רמת בינייםרמת קושי
סדרה של 3 קורסיםתעודה
להרשמה בקורסרה ← הקורס הראשון חינם · audit · ללא כרטיס אשראי
קורס אונליין – תעודה מקצועית מוסמכת במערכות אוטונומיות של Google, University of Colorado Boulder
רמה רמת ביניים
מסגרת סדרה של 3 קורסים

מה תלמדו

✓

ייצוגים במרחב מצב

✓

אוטומטים מזמנים

✓

אוטומטים היברידיים

✓

מודלים פורמליים של דרישות המערכת

✓

יציבות וניתנות להשגה

✓

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

✓

טכניקות לאימות כמו תאוריות ליופונוב ובדיקת מודלים

✓

סינתזה של בקרים לאכיפת תכונות מוגדרות

✓

בניית אבסטרקציית סופי וטיוב בקרים

מיומנויות שתרכשו

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

תיאור הקורס

ההתמחות - סדרת קורסים בת 3 חלקים

ההתמחות הזו מספקת סקירה מקיפה על תכנון וניתוח של מערכות אוטונומיות. היא מתחילה בבחינת רכיבים בסיסיים כמו חיישנים, מפעילים ורשתות תקשורת, ולאחר מכן מעמיקה במודלים פורמליים.

תוכן הקורסים

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

מידע נוסף

קורסים בהתמחות זו יכולים להילקח עבור נקודות זכות אקדמיות כחלק מתוכנית התואר השני במדעי המחשב של CU Boulder המוצעת בפלטפורמת Coursera. תארים מתקדמים אלה מציעים קורסים ממוקדים, מפגשים קצרים של 8 שבועות ומערכת תשלום לפי שימוש.

הקבלה לתוכנית מתבצעת על סמך ביצועים בשלושה קורסים טרום-תנאי ולא על בסיס ההיסטוריה האקדמית. תארי CU ב-Coursera הם אידיאליים לבוגרים טריים או מקצוענים עובדים.

לפרטים נוספים: תואר שני במדעי המחשב

פרויקט למידה מעשית

במהלך ההתמחות, הלומדים יבצעו משימות כדי לתכנן ולנתח מערכות אוטונומיות והתנהגויותיהן. בקורס השלישי בהתמחות, אימות וסינתזת מערכות אוטונומיות, הלומדים יקבלו מעבדה אופציונלית ומחקרית.

§ תוכן עניינים
02

מבנה הקורס

מודלים של מערכות אוטונומיות

קורס 1 - 8 שעות

מה תלמד:

  • מודלים בסיסיים של מערכות אוטונומיות, כולל מערכות בקרת ליניאריות, מעגלים סדרתיים ואוטומטים פשוטים.
  • לתאר פתרונות והתנהגויות של מערכות.
  • להגדיר ולהמחיש את הקשרים בין המערכות.

מיומנויות שתרכוש:

  • הרכבת מערכות
  • מודלים של מערכות אוטונומיות
  • התנהגויות של מערכות

קורס 2 - 10 שעות

מה תלמד:

  • להשתמש בשיטות פורמליות כדי לקבוע ולוודא דרישות למערכות אוטונומיות.
  • למודל התנהגויות של מערכות ולוודא יציבות באמצעות שיטות אנליטיות שונות.
  • להחיל חישוב של קבוצות נגישות וניתוח עמידות בעיצוב מערכות.

מיומנויות שתרכוש:

  • מפרטי רגולרי ורגולרי-אומגה
  • דרישות נגישות
  • דרישות בטיחות
  • מפרטי לוגיקה ליניארית
  • דרישות יציבות

קורס 3 - 10 שעות

מה תלמד:

  • לנתח תכונות יציבות של מערכות ליניאריות.
  • לחשב חישובים על קבוצות נגישות עבור מספר סוגים של מערכות.
  • לבצע אימות עבור מערכות סופיות.
  • לסנתֵז דינמיקות של בקרים עבור דרישות בטיחות ונגישות באמצעות אלגוריתמים של נקודות קבועות.

מיומנויות שתרכוש:

  • בדיקות מודל
  • סינתזה של הפשטות סופיות
  • קשרים בין מערכות
  • סינתזה באמצעות נקודות קבועות

ראיתם את הקורס. מוכנים להירשם?

מעבר לקורסרה · הקורס הראשון פתוח לצפייה חינם · ביטול בכל שלב

לפרטים נוספים והרשמה בקורסרה ←
§ עוזרים להתחיל

3 וידאוים קצרים לפני שנרשמים לקורס.

לפני שאתם מוציאים כרטיס אשראי — קחו 6 דקות. סבר על Coursera, איך נרשמים, ואיך התעודה משתלבת בלינקדאין שלכם.

צפו · 2 דק'

מה זה Coursera?

סקירה קצרה של פלטפורמת הלימוד הגדולה בעולם — מי מאחוריה, איך התעודות מוכרות, ומה ההבדל מ-Udemy ו-edX.

צפו בסרטון ←
צפו · 2 דק'

איך נרשמים ב-2 דקות

הדגמה ויזואלית של תהליך ההרשמה — מהקלקה על "להרשמה" ועד תחילת הקורס הראשון. כולל אופציית audit חינמי.

צפו בסרטון ←
צפו · 2 דק'

איך מכניסים את התעודה ל-LinkedIn

הוספת התעודה כ-License & Certification בפרופיל לינקדאין, עם קישור ל-Coursera שמעלים את הקרדיביליות.

צפו בסרטון ←

מוכנים להתחיל?

הקורס מחכה. התעודה מחכה.

הקורס זמין ב-Coursera. הקורס הראשון בסדרה פתוח לצפייה ללא תשלום.

לפרטים נוספים והרשמה בקורסרה ←
⚠ MSL הוא קטלוג קורסים — לא ספק הקורס. הקורס מתפרסם ומנוהל דרך פלטפורמת Coursera. תוכן הקורס, עלויות, תעודות, ותנאי שימוש — באחריות Coursera והמרצים. MSL מציג את המידע מתוך מטרה לעזור לגולש לבחור, ולא מספק את הקורס עצמו.
  • מהנדס מערכות אוטונומיות
  • מפתח תוכנה בתחום המערכות האוטונומיות
  • אנליסט מערכות
  • מהנדס בקרים
  • מומחה לאימות מערכות
  • חוקר בתחום המערכות האוטונומיות
  • מתכנן מערכות חכמות
  • מהנדס רשתות תקשורת במערכות אוטונומיות
  • מפתח אלגוריתמים לאוטומטים היברידיים
  • מומחה ליציבות וניתנות להשגה במערכות אוטונומיות

עזר לך העמוד?

אני לא בטוח, יש לי שאלה
תודה! קיבלנו.