論文の概要: Execution-Time Validation of Context-Carrying Action Intents in Industrial Cyber-Physical Systems

• arxiv url: http://arxiv.org/abs/2610.27971v1
• Date: Tue, 20 Oct 2026 10:16:08 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-21 21:58:47.75999
• Title: Execution-Time Validation of Context-Carrying Action Intents in Industrial Cyber-Physical Systems
• Title（参考訳）: 産業用サイバー物理システムにおけるコンテキストキャリング動作インテントの実行時間検証
• Abstract要約: 産業用セルでは、学習したポリシー、オペレータ、スケジューラからのコマンドが、推論、確認、転送の後にコントローラに届く。 これを実行ギャップと呼び、どのコンポーネントが最後にチェックすべきか、どのバージョンにするかを尋ねます。 XAIRはリリース前に各インテントを再チェックし、コンテキストストアでその認証をアトミックにコミットし、バージョン条件コマンドとしてリリースすることができる。
• 参考スコア（独自算出の注目度）: 1.13995778529295
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: In industrial cells, commands from learned policies, operators and schedulers reach the controller after inference, confirmation and transport, and the plant may have changed meanwhile, for instance by an operator pause. Such a command is released, or takes effect, when it is no longer correct. We call this the execution gap and ask which component should make the last check, and against which version of which state. The Action Intent Schema (AIS) is a contract in which a producer states how long its decision stays valid and what it assumes. The runtime XAIR rechecks each intent before release, can commit its authorization atomically in the context store, and can release it as a version-conditional command, which the controller executes only if its version of the state is unchanged. In controlled ablations with declared ground truth on emulated and physical cells, OpenPLC and ARM and RISC-V boards, a check on a replica always left an unprotected interval: a pause written from a few to over 100ms after submission escaped it. Only a check in the scan of a software controller, either a controller-local interlock or the version-conditional command, closed the interval for the state that controller owns; only the version-conditional command also refused commands after a pause that had been undone. A global version revoked up to every valid command under unrelated updates. Versions scoped to what the intent reads, or to the truth of its predicates, did not; with continuous signals on the variables the intent reads, only the latter avoided false revocations, though it burdens the store as predicates accumulate. On one embedded-board core, XAIR validated 148-168 intents/s.
• Abstract（参考訳）: 産業用セルでは、学習したポリシー、オペレータ、スケジューラからのコマンドが推論、確認、輸送の後にコントローラに届く。 このようなコマンドは、もはや正しくない場合に解放されるか、有効になる。 これを実行ギャップと呼び、どのコンポーネントが最後にチェックすべきか、どのバージョンにするかを尋ねます。 アクション・インテント・スキーマ(Action Intent Schema、AIS)は、プロデューサが意思決定がどの程度有効で、何を想定しているかを述べる契約である。 ランタイムXAIRはリリース前のインテントを再チェックし、コンテキストストアでその認証をアトミックにコミットし、バージョン条件コマンドとしてリリースすることができる。 OpenPLCとARMとRISC-Vのボードは、エミュレートされた細胞と物理的細胞に真実が宣言された制御されたアブリケーションにおいて、レプリカのチェックは常に保護されていない間隔を残していた。 コントローラローカルのインターロックかバージョン条件コマンドのどちらかであるソフトウェアコントローラのスキャンのチェックのみ、コントローラが所有する状態の間隔を閉じた。 グローバルバージョンは、無関係な更新の下で有効なすべてのコマンドを無効にした。 意図が何を読むか、あるいはその述語の真理にスコープされたバージョンはそうではない; 変数の連続的なシグナルによって、述語が蓄積するにつれてストアを負担するが、後者だけが偽の取り消しを回避した。 1つの組み込みボードコアでは、XAIRは148-168のインテント/sを検証した。

関連論文リスト

• Same Operation, Different Permission: Evaluating Whether Guardrails Honor Authorization [47.05539777659961]
  ベンチは、その言語トラックで同じ操作の 認証証拠を対比するベンチマークです。 ブロックされた操作の多くは、正しい否定ではなく、レビューの失敗によるものであることを示す。 出力フォーマットの修復は使用可能な決定を復元するが、承認された要求に敬意を表し、第2のレビュアーを追加することでエラーを除去する。
  論文  参考訳（メタデータ） (2026-10-12T14:17:21Z)
• KedgeFlow: A Programmable Control Plane for Enterprise AI Agents [2.124730017640531]
  KedgeFlowは、状態変更操作を認可する信頼できるコントローラのための言語に依存しない契約を指定する。 OpenFlowにインスパイアされたOpenFlowは、エビデンスによってサポートされているポリシーチェックと、正確なアクションの署名された許可を接続する。 参照実装は、モデルコンテキストプロトコルを介してエージェントシステムにこの実行パスを公開する。
  論文  参考訳（メタデータ） (2026-10-10T11:01:36Z)
• Embodied Turing Machines: Stateful Code for Robot Recursive Self-Improvement [48.15578211739314]
  我々は,ロボット,環境,タスク状態の計測と追跡を行うCode-Only-as-Policyを提案する。 VLAやAgen Harnessesと比較すると、COAPの利点は3つある。 (i) Explicit State: 状態はコードに格納できる; (ii) 実行: コードが決定を制御可能とし、障害から柔軟に回復し、高速で安価にオンラインで実行される。 RoboDojoの42のバイマニュアルタスクでは、テスト時にモデルなしで結果のライブラリが70.24%の成功率に達する。
  論文  参考訳（メタデータ） (2026-10-08T17:29:08Z)
• From Source Code to Network Profile: Automated and Traceable MUD Profile Generation for IoT Devices [86.57251613552715]
  ファームウェアとソフトウェアソースコードからIoTデバイス用のトレース可能なMUDプロファイルを生成する,ソースコード駆動のツールであるAutoMUDを紹介する。 コードレベルのエビデンスを分析することで、AutoMUDは、稀なエクササイズや条件付き通信パスを公開し、生成されたすべてのルールをソースレベルの証明にリンクし、除外された結果をレビューの明確な理由で保存する。
  論文  参考訳（メタデータ） (2026-09-25T17:52:09Z)
• ZeroGate: Trust-Preserving Fast Paths for Governed AI Agent Runtimes [0.6526824510982799]
  早い段階での移動許可は、承認作業を削除することなくエージェントのディスパッチ境界を短縮することができる。 ZeroGateは、正確なアクション承認と耐久性のあるローカルインセプションを分離する。 トランザクションは、ナンス消費、適用可能なクォータ更新、および受け入れレシートを結合する。
  論文  参考訳（メタデータ） (2026-09-21T21:54:27Z)
• Access Control as Verified Parse Constraints [2.230473633870735]
  セキュリティゲートウェイは、ネットワークとポリシー決定の間のコードパスに、繰り返し実装バグを出荷する。 既存のアプローチでは、厳密さを保ったままにするか、差分テストのみで形式的なモデルを手書きのエンジンに接続する。 私たちのコントリビューションはクラスの結果です。フォワードオンリーでバックトラックフリーのEverParseバリデータです。
  論文  参考訳（メタデータ） (2026-09-11T06:33:41Z)
• From Version Conflicts to Decision Conflicts: Selective Revalidation for Long-Running AI Agents [5.854855197115679]
  長期にわたるAIエージェントは、状態や理由を読み、ツールや人間の承認を待ち、ずっと後に外部アクションを実行する。 ATRは、保留中の動作を正当化する明示的で実行可能な条件を記録し、外部操作を解放する前に変更によって影響を受ける条件のみを再チェックする。
  論文  参考訳（メタデータ） (2026-09-07T21:56:48Z)
• LMSM: LLM Security Framework Inspired by Linux Security Modules [56.93644694627783]
  大規模言語モデル(LLM)は階層化されたディフェンスでデプロイされることが多いが、悪意のあるプロンプトはそれらをバイパスすることができる。 我々は,Language Model Security Modules (LMSM) という,Linux Security Modules (LSM) の背後にある分離を LLM サービスに適応させるセキュリティフレームワークを提案する。
  論文  参考訳（メタデータ） (2026-08-26T12:13:05Z)
• PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
  我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。 セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。 SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。 ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
  論文  参考訳（メタデータ） (2026-07-18T04:46:53Z)
• Lingering Authority: Revocable Resource-and-Effect Capabilities for Coding Agents [0.0]
  PortICOは、プランナーに露出する機能のリファレンスモニターである。 明示的なタスクコントラクトを初期機能にコンパイルし、ルールを付与し、信頼できるクロージャ述語、グローバルな否定ルールを付与する。
  論文  参考訳（メタデータ） (2026-06-21T13:52:37Z)
• Compiling Activation Steering into Weights via Null-Space Constraints for Stealthy Backdoors [48.881343993730844]
  安全性に整合した大規模言語モデル(LLM)は、現実世界のパイプラインにますますデプロイされている。 敵は通常の評価では動作しないバックドアのチェックポイントを配布することができる。 最近のポストホック重み付け法は、そのようなバックドアを注入するための効率的なアプローチを提供する。
  論文  参考訳（メタデータ） (2026-04-14T06:48:33Z)

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

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