אוטונומיית רחפנים בסביבת GPS חסום
Lodestar הוא מנוע שלמות-ניווט לטיסה בסביבת GPS חסום. הוא ממשיך לעקוב דרך בועת שיבוש עד סחף של כ-0.9%, וכאשר הסצנה הופכת באמת לבלתי ניתנת לצפייה הוא מתהפך ל-RED וחוזר הביתה במקום לטוס עם תיקון בטוח-אך-שגוי אל קיר. האמון מחושב מחוץ למעריך, כך שהוא מחזיק לא משנה כמה טוב ה-VIO הבסיסי נעשה.
0.92%
סחף מיקום שנשמר לאורך קטע ה-GPS החסום (שלנו)
משימה סינתטית מוזרעת; ניווט מקורב הגיע ל-30.95%
RED ב-52.5 ש'
חזרה-הביתה כאשר המנהרה הפכה לבלתי ניתנת לצפייה
אותה משימה, מיזוג LiDAR כבוי
100% / 0.1%
מנהרה בלתי ניתנת לצפייה סומנה / אזעקות שווא בקטע הבריא
בדיקת הימנעות, הרצה זו
כל מה שלהלן הוא משימה סינתטית מוזרעת על מסלול של 245.3 מ', שניתן לשחזר במצב לא-מקוון. אין מעורבות של רחפן אמיתי, יומן טיסה או משדר לוחמה אלקטרונית.
לוחמה אלקטרונית הפכה את ה-GPS לבלתי אמין בדיוק במקומות שבהם רחפנים אוטונומיים חשובים כעת ביותר: מרחב אווירי מוכחש, בורות כרייה, מנהרות, קניוני ערים. התיקון הרפלקסיבי הוא לחבר אודומטריה חזותית-אינרציאלית (VIO) ולקוות. אבל VIO נכשל בשני אופנים, ורק אחד מהם הוא הסחף שכולם מדברים עליו.
הכשל הראשון הוא ש-VIO נסחף, וצובר שגיאה כל עוד ה-GPS נשאר חסום. זה ניתן לניהול. השני גרוע יותר: VIO נכשל בשקט. הוא ננעל על עצמים נעים או על סצנה ריקה ומדווח מיקום חד ובוטח שפשוט שגוי. עבור קונה בתחום הביטחון, הכרייה או Blue UAS, מיקום בטוח-שגוי מסוכן יותר מ"אני לא יודע" כנה, כי כלי הטיס פועל על פיו במלוא השכנוע וטס במדויק לעבר מקום שבו אינו נמצא.
כשבנינו את ההדגמה הזו, התייחסנו לכשל השני כבעיה האמיתית. הפיכת המעריך למדויק יותר אינה פותרת אותה, כי "האם המיקום הזה אמין?" היא שאלה שונה מ"מהו המיקום הזה?" אי אפשר לענות על הראשונה באותו מנגנון שהפיק את השנייה, כמו שלא הייתם נותנים לעד לאשר את עדותו שלו. לכן הערך העמיד של Lodestar אינו מעריך טוב יותר. זהו מוניטור שלמות שיושב מחוץ למעריך ומוכן לומר את הדבר הלא-זוהר: אי אפשר לסמוך על המיקום הזה, חזרו הביתה.
הצינור כולו קוד אמיתי, דטרמיניסטי, מוזרע. משימה סינתטית מייצרת אמת קרקע באופן בלתי תלוי בכל מעריך; EKF VIO מצומד-הדוק מייצר את המיקום; מוניטור שלמות ניווט נפרד שופט אם אפשר לסמוך על המיקום; ובנצ'מרק יחד עם דוח שלמות טיסה מדרגים את כל ההרצה מול אמת הקרקע.
אותו EKF VIO מצומד-הדוק רץ בשלוש הגדרות שונות באמת, לא אנשי-קש. IMU של ניווט מקורב אינו משתמש בראייה. VIO סטנדרטי רץ עם מיסוך סמנטי כבוי. VIO מודע-שלמות (שלנו) רץ עם מיסוך סמנטי דלוק, כך שהוא דוחה את המאפיינים החזותיים ששייכים לעצמים נעים במקום לעקוב אחריהם. כאשר GPS נשלל ב-t=18 ש', ה-EKF מוסר מ-GPS לראייה בלי שינוי מצב גלוי למפעיל ושומר על רציפות המיקום.
מוניטור שלמות הניווט הוא קוד נפרד בכוונה. הוא ממזג שלושה אותות למצב שלמות אחד עם ספי קשיחות:
RED מתמשך למשך 0.5 שניות נועל את הכשל הבטוח ומצווה חזרה-הביתה. המוניטור גם משקלל מחדש את איזון GPS-ל-VIO ככל שהאמון משתנה. מכיוון שהוא חי מחוץ למעריך, פסק הדין שלו אינו תלוי בדבר שעליו סומכים.
לחיצה אחת מייצאת את קבלת הביקורת כ-JSON וכ-HTML להדפסה: לוח התוצאות, מדדי הכותרת, נכונות ההימנעות, זמן הכשל הבטוח, ציר זמן של אירועים, וגילוי היקף מפורש של מה מדומה לעומת מה שנדחה. הוא רץ במלואו במצב לא-מקוון ובאופן דטרמיניסטי בזרע קבוע, כך שכל התוצאה ניתנת לשחזור. ה-LLM האופציונלי היחיד הוא כפתור "טיוטת נרטיב" שכותב את נרטיב הסקירה הטכנית מהדוח המובנה ויושב כולו מחוץ ללולאת הטיסה; שער השלמות הדטרמיניסטי מחליט, המודל רק מייעץ.
ההדגמה היא משימה רציפה אחת מוזרעת. אלה ארבע הפעימות שלה לפי הסדר, שנרשמו עם מיזוג LiDAR כבוי, הרצת הכותרת שבה הכשל הבטוח נורה.
הרחפן חוצה אל תוך בועת לוחמה אלקטרונית מדומה בסגנון R-330Zh וה-GPS נופל. ה-EKF מוסר ל-VIO בלי שינוי מצב וממשיך לעקוב עד סחף של כ-0.9%, בעוד שקו הבסיס של IMU ניווט מקורב מתפוצץ ל-30.95% סחף ו-75.92 מ' של שגיאה סופית. הדיוק אמיתי, אבל הוא לא העיקר. העיקר הוא מה קורה כאשר דיוק כבר אינו אפשרי.
הופק על ידי בונה הדוחות בזרע 20260619 על מסלול של 245.3 מ', ניתן לשחזור מלא במצב לא-מקוון. הרצת הכותרת היא מיזוג LiDAR כבוי, שבה הכשל הבטוח RED נורה.
| שיטה (LiDAR כבוי) | ATE | שגיאה סופית | סחף |
|---|---|---|---|
| IMU ניווט מקורב | 25.37 m | 75.92 m | 30.95% |
| VIO סטנדרטי (מיסוך כבוי) | 32.95 m | 70.61 m | 28.79% |
| VIO מודע-שלמות (שלנו) | 0.90 m | 2.26 m | 0.92% |
באותה הרצה, 56.3% מהטיסה ללא GPS נשמרו בשלמות GREEN, המוניטור סימן את המנהרה הבלתי ניתנת לצפייה באמת 100% מהזמן, והתריע שווא בקטע הבריא ללא GPS רק 0.1% מהזמן. הכשל הבטוח של חזרה-הביתה הופעל ב-t=52.5 ש'. עם מיזוג LiDAR מדומה דלוק, המנהרה הופכת לניתנת לצפייה, הסחף יורד ל-0.01%, כיסוי GREEN עולה ל-78.9%, ואף כשל בטוח אינו נורה, שזו ההתנהגות הנכונה, לא החמצה.
התפוקה שנמדדה בהרצה זו הייתה 16,000 עדכוני פרופגציה של EKF (80 שניות ב-200 Hz). נתון ה-30 עד 45 FPS על NVIDIA Jetson Orin NX 16 GB הוא מפרט חומרת-יעד, לא נמדד כאן, והדוח מסמן אותו כך.
הכנות היא המוצר, לכן ההיקף מפורש. זו הדגמה של המנגנון, לא צינור פרוס.
כאשר GPS נופל בתוך בועת שיבוש, Lodestar מוסר ל-EKF של אודומטריה חזותית-אינרציאלית (VIO) מצומד-הדוק שממזג נקודות ציון מהמצלמה ונתוני IMU ב-200 Hz כדי להמשיך לאמוד מיקום. במשימה הסינתטית המוזרעת שלנו זה החזיק סחף של כ-0.9 אחוז מהמסלול שטס, בעוד שקו בסיס IMU של ניווט מקורב התפוצץ לכ-31 אחוז. המעריך הוא רק חצי מהסיפור: מוניטור שלמות נפרד מחליט, רגע אחר רגע, אם אפשר בכלל לסמוך על המיקום.
מיקום שנסחף מעט מתדרדר באופן מדורג ומפעיל יכול לתכנן סביבו, אבל מיקום שגוי בביטחון שולח את כלי הטיס במדויק לעבר מקום שאינו המקום שבו הוא חושב שהוא נמצא. VIO נכשל כך כשהוא ננעל על עצמים נעים או על סצנה ריקה ומדווח תיקון חד שפשוט שקרי. התשובה של Lodestar היא הימנעות כנה: כאשר אי אפשר לסמוך על אף מיקום, הוא אומר זאת וחוזר הביתה במקום לטוס עם תיקון בטוח-אך-שגוי אל קיר.
בקטע המנהרה החשוכה של המשימה שלנו, מאפיינים חזותיים שמישים קורסים כמעט לאפס, כך שאף מעריך אינו יכול לייצר מיקום אמין. מוניטור שלמות הניווט מתהפך ל-RED, ואחרי 0.5 שניות של RED מתמשך הוא נועל כשל בטוח ומצווה חזרה-הביתה, ב-t=52.5 ש' בהרצה זו. הפעילו את מיזוג ה-LiDAR המדומה האופציונלי והקטע הזה הופך שוב לניתן לצפייה, כך שהמוניטור מחזיק נכון ואף כשל בטוח אינו נורה.
זו סימולציה. הכול הוא משימה סינתטית מוזרעת עם אמת קרקע שנוצרת באופן בלתי תלוי בכל מעריך, כך שההרצה ניתנת לשחזור בייט-אחר-בייט; אין רחפן אמיתי, יומן טיסה או משדר לוחמה אלקטרונית, וה-R-330Zh משמש רק כתרחיש בשם. מה שאמיתי הוא הקוד: EKF VIO עובד, מוניטור השלמות, והבנצ'מרק כולם רצים דטרמיניסטית במצב לא-מקוון. הטענה העמידה היא המבנה, כלומר אמון מחושב מחוץ למעריך ו-RED שמפעיל חזרה-הביתה, לא המטרים המדויקים של משימה אחת.
VIO סטנדרטי אומד מיקום אבל אין לו שופט נפרד אם המיקום אמין, והוא יכול להינעל על מאפיינים דינמיים. באותה הרצה מוזרעת, VIO סטנדרטי עם מיסוך סמנטי כבוי ננעל על שיירה נעה וטס הצידה לסחף של כ-29 אחוז, המקרה הקלאסי של לעקוב אחרי המשאית ולחשוב שהרחפן עדיין עומד. Lodestar מוסיף מיסוך סמנטי שדוחה את המאפיינים הנעים, ועוד מוניטור שלמות שחי מחוץ למעריך כך שהאמון אינו תלוי בדבר שעליו סומכים.
ההדגמה רצה במצב לא-מקוון ובאופן דטרמיניסטי על מחשב נייד כשירות FastAPI עם EKF NumPy ומוניטור שלמות. נתון ה-30 עד 45 FPS על NVIDIA Jetson Orin NX 16 GB הוא מפרט חומרת-יעד, לא תוצאה שנמדדה, ודוח שלמות הטיסה מציין זאת כך. פריסה על הכלי, חזית תמונה אמיתית, וגשר הטייס-האוטומטי/MAVLink נדחים, לא בנויים בגרסה זו.
Blue UAS היא הרשימה המאושרת של יחידת החדשנות הביטחונית של ארה"ב לרחפנים תואמי NDAA, ו-SBIR/AFWERX מממנים בדיוק את סוג העבודה הזו של אוטונומיה בסביבת GPS חסום; אנו מתייחסים אליהם כהקשר שוק, לא כשיוכים. לא נאמר ש-Veriprajna נמצאת ברשימה כלשהי או תחת חוזה כלשהו. מה שההדגמה מספקת לסוג ביקורת כזה הוא דוח שלמות טיסה בלחיצה אחת עם גילוי היקף מפורש של מה מדומה לעומת מה שנדחה.
המחקר מאחורי ההדגמה הזו — הארכיטקטורה, עיצוב האימות, והתוכנית הארגונית.
ההדגמה מוכיחה את המנגנון. העבודה הקשה יותר היא להתאים אותו לפלטפורמה שלכם, לחיישנים שלכם ולמשימה שלכם.
אם הצוות שלכם מתמודד עם ניווט בסביבת GPS חסום ועם השאלה מתי מחסנית אוטונומיה צריכה לסרב לסמוך על המיקום של עצמה, נשמח באמת לשמוע איך אתם חושבים על זה. הבעיה היא כלל-תעשייתית וגם התשובות יהיו כאלה.