論文の概要: Runtime Assurance Under Measurement Attack: Necessary and Sufficient Observability Conditions for Learned Control in Radio Access Networks

• arxiv url: http://arxiv.org/abs/2610.00285v1
• Date: Fri, 25 Sep 2026 04:03:05 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-03 01:19:23.59301
• Title: Runtime Assurance Under Measurement Attack: Necessary and Sufficient Observability Conditions for Learned Control in Radio Access Networks
• Title（参考訳）: 計測攻撃時の実行保証:無線アクセスネットワークにおける学習制御のための必要十分かつ十分な可観測性条件
• Abstract要約: 停止保証は、信頼できないコントローラとスイッチングモニタと検証済みのフォールバックをペアリングする。 この保証は、植物が2q$-sparseオブザーバブルである場合に限り、$q$チャネルを制御する敵に生存する。 ランクテストは予算を決定し、識別はそれを保持しないので、公表された予算はそのマージンフロアを名付けなければならない。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Runtime assurance pairs a verified fallback with an untrusted controller and a switching monitor, and is the leading route to admitting learned policies into safety-relevant network control. Its guarantee rests on a condition it assumes rather than requires: that the monitor's estimation error is zero, or at worst stochastic with a characterisable rate. In mobile networks many measurements originate at untrusted endpoints, where the error is neither. We state this assurance precondition and prove it: at zero measurement noise the guarantee survives an adversary controlling $q$ channels if and only if the plant is $2q$-sparse observable with respect to the safety-relevant output. This is functional observability over attack supports, strictly weaker than full-state observability: on our topology a per-cell outage condition doubles the budget and one stated over total offered load triples it. The converse is a constructive attack making a safe and an unsafe trajectory observationally identical; it defeats every monitor on those channels, not one detector, at any noise level. As the trust split is static and known before deployment, confining the adversary to one family yields a confinement threshold, above which trusted channels alone resolve the state and all untrusted channels may be corrupt at once. Three uninfluenceable counters cross it here, lifting the budget from two to six and making placement the dominant lever. Below the precondition the monitor faces a frontier, not a dichotomy; a set-valued monitor is optimal and carries sufficiency into non-zero noise at the residual test's false-rejection rate. An adversary reaching the trigger radius owns the switch regardless. The same argument bounds any monitor reading agent messages rather than measurements. A rank test decides the budget and identification does not preserve it, so a published budget must name its margin floor.
• Abstract（参考訳）: 実行保証は、信頼できないコントローラとスイッチングモニターと検証済みのフォールバックをペアリングし、学習したポリシーを安全関連ネットワーク制御に含めるための先導となる。 その保証は、モニターの推定誤差がゼロである、または、特性的な確率で最悪の確率である、という要求よりもむしろ想定される条件にかかっている。 モバイルネットワークでは、多くの測定は信頼できないエンドポイントで発生し、エラーは発生しない。 我々は、この保証条件を述べ、それを証明している: ゼロ測定ノイズでは、保証が$q$チャネルを制御している敵に生存し、プラントが安全関連出力に関して2q$-sparseオブザーバブルである場合に限り、保証は生存する。 当社のトポロジでは、セルごとの停止条件が予算を2倍にし、提供された総負荷が3倍になる。 逆は、安全で安全でない軌道を観察的に同一にする建設的な攻撃であり、あらゆるノイズレベルにおいて1つの検出器ではなく、これらのチャネル上のすべてのモニターを破る。 信頼分割は、デプロイ前に静的で知られているため、ある家族に敵を結集すると、制限しきい値が得られ、その上、信頼されたチャンネルだけが状態を解決し、信頼されていない全てのチャンネルが一度に破壊される可能性がある。 3つの影響力のないカウンターがここで交差し、予算を2から6に引き上げ、支配的なレバーを配置した。 予備条件の下では、モニターは二分法ではなくフロンティアに面しており、設定値のモニターは最適であり、残留試験の虚退率でゼロでないノイズに充足する。 トリガー半径に達する敵は、いずれにせよスイッチを所有する。 同じ引数は、測定ではなく、いかなるモニター読み取りエージェントメッセージにも拘束される。 ランクテストは予算を決定し、識別はそれを保持しないので、公表された予算はそのマージンフロアを名付けなければならない。

関連論文リスト

• Safety Does Not Compose: Non-Decaying Loop State for Autonomous LLM Agents [16.24087700490158]
  大規模言語モデルエージェントは、自律ループとしてますますデプロイされる。 これは実装の詳細ではなく、構成の失敗であることを示す。 LoopHarnessは、ループレベルでの永続的非遅延安全状態を復元する。
  論文  参考訳（メタデータ） (2026-08-27T13:52:31Z)
• Beyond Uncertainty: Generalizable Failure Monitoring for Surgical Segmentation under Acquisition Degradation [2.287641923890767]
  外科的セグメンテーションネットワークは、取得劣化時に静かに失敗することがある。 観測可能な形状,時間整合性,画像品質などの信頼性を組み合わせた,ホット後の障害監視フレームワークであるTCSR-Monitorを提案する。
  論文  参考訳（メタデータ） (2026-08-17T15:57:19Z)
• Agents That Certify Their Own Exploits: Confidence-Scheduled Restricted Responses for Safe Opponent Exploitation [38.06569764716213]
  我々は,Emphbudget-Constrained confidence-scheduled limited response (CS-RNR)を導入する。 CS-RNRは、安全保証がエージェントが実際に展開する戦略に基づいて計算する証明書である最初の相手探索方式である。
  論文  参考訳（メタデータ） (2026-07-30T16:57:57Z)
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages [0.7252027234425333]
  我々は、信頼できない政策家族を制御軸とし、家族間のAUROCを、各家族のサボタージュがいかに明白であるかに分解する。 コードバックドアの書き起こしでは、相互作用は肯定的であり、支配的なコンファウンドを生き残る。 ギャップに作用する4段階のプロトコルを,各ステップで測定結果を出力する。
  論文  参考訳（メタデータ） (2026-07-06T22:40:07Z)
• What Accuracy and Gradient Cosine Miss: Evaluating Feedback Alignment via Scale Stability, Reference Validity, and Depth Utility [48.10132234701036]
  本稿では,3つのチェック(スケール安定性,参照妥当性,深度ユーティリティ)に基づく診断評価プロトコルを提案する。 複数のアーキテクチャや手法にまたがって、我々のプロトコルは広い校正マージンを持つ全ての障害を識別する。
  論文  参考訳（メタデータ） (2026-06-19T06:04:17Z)
• Affordance Agent Harness: Verification-Gated Skill Orchestration [45.231685718099264]
  Affordance groundingは、オープンワールドのシーンでエージェントがどこでどのように対話すべきかを特定する必要がある。 本稿では,エビデンスストアとコストコントロールを備えたクローズドループランタイムであるAffordance Agent Harnessを提案する。
  論文  参考訳（メタデータ） (2026-05-01T13:45:16Z)
• Conditional Coverage Diagnostics for Conformal Prediction [47.93989136542648]
  条件付きカバレッジ推定が分類問題であることを示す。 得られたメトリクスの族をターゲットカバレッジ(ERT)の過剰なリスクと呼びます。 ERTのオープンソースパッケージと、以前の条件付きカバレッジメトリクスをリリースしています。
  論文  参考訳（メタデータ） (2025-12-12T18:47:39Z)
• Beyond Linear Probes: Dynamic Safety Monitoring for Language Models [67.15793594651609]
  従来の安全モニタは、クエリ毎に同じ量の計算を必要とする。 動的アクティベーションモニタリングのための線形プローブの自然な拡張であるTrncated Polynomials (TPCs)を紹介する。 我々の重要な洞察は、TPCを段階的に、短期的に訓練し、評価できるということです。
  論文  参考訳（メタデータ） (2025-09-30T13:32:59Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。