Revisiting The PBH Test: Fast Uncontrollability Certificates via Krylov Methods
यह शोध पत्र परिमित-क्षितिज पहुँच-योग्यता (finite-horizon reachability) और क्रायलोव उप-स्थान (Krylov subspace) विधियों के माध्यम से अनियंत्रणीयता के लिए गणनात्मक रूप से कुशल, द्वैत असक्षमता प्रमाणों (dual infeasibility certificates) को व्युत्पन्न करके शास्त्रीय PBH परीक्षण का पुनरावलोकन करता है, जो पूर्ण नियंत्रणीयता आव्यूह (controllability matrix) बनाए बिना या वैश्विक आइगेनडीकंपोजिशन (eigendecomposition) किए बिना बड़े गतिशील नेटवर्क में अप्राप्य अवस्थाओं के स्केलेबल प्रमाणन को सक्षम बनाता है।