Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
यह शोध पत्र RoVer-CoRe को प्रस्तुत करता है, जो एक नवीन फ्रेमवर्क है जो सिस्टम घटकों को हैमिल्टन-जैकबी (Hamilton-Jacobi) पहुंच विश्लेषण के अनुकूल एक समतुल्य क्लोज्ड-लूप मॉडल में जोड़कर, अवस्था अनिश्चितता (state uncertainty) के तहत धारणा-आधारित नियंत्रकों (perception-based controllers) के सुदृढ़ औपचारिक सत्यापन और डिजाइन को सक्षम बनाता है।