論文の概要: Opacity problems in multi-energy timed automata

• arxiv url: http://arxiv.org/abs/2512.04950v1
• Date: Thu, 04 Dec 2025 16:15:48 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-12-05 21:11:46.265232
• Title: Opacity problems in multi-energy timed automata
• Title（参考訳）: マルチエネルギー時空オートマトンにおける環境問題
• Authors: Étienne André, Lydia Bakiri,
• Abstract要約: タイミング情報とエネルギー情報の両方を観測するシステムにおける不透明度問題の検証について検討する。 この一般形式主義の不決定性にもかかわらず、我々はいくつかのサブクラスに対して肯定的な結果を確立する。
• 参考スコア（独自算出の注目度）: 1.4732811715354452
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Cyber-physical systems can be subject to information leakage; in the presence of continuous variables such as time and energy, these leaks can be subtle to detect. We study here the verification of opacity problems over systems with observation over both timing and energy information. We introduce guarded multi-energy timed automata as an extension of timed automata with multiple energy variables and guards over such variables. Despite undecidability of this general formalism, we establish positive results over a number of subclasses, notably when the attacker observes the final energy and/or the execution time, but also when they have access to the value of the energy variables every time unit.
• Abstract（参考訳）: サイバー物理システムには情報漏洩があり、時間やエネルギーといった連続的な変数が存在する場合、これらの漏れを検知することは微妙である。 本稿では,時間情報とエネルギー情報の両方を観測するシステムにおける不透明度問題の検証について検討する。 我々は、複数のエネルギー変数とそれらの変数に対するガードを備えた時空オートマトンの拡張として、ガード付きマルチエネルギー時空オートマトンを導入した。 この一般的な定式化の不確定性にもかかわらず、攻撃者が最終エネルギーおよび/または実行時間を見る場合、特に、単位単位ごとにエネルギー変数の値にアクセスする場合に、いくつかのサブクラスに対して正の結果を確立する。

関連論文リスト

• The Bright Side of Timed Opacity [0.0]
  タイムオートマトン(タイムオートマトン、英: Timed Automatica、TA)は、時間経過を計測し、反応することができる有限オートマトンの拡張である。 2009年、フランク・カッシーズ(Franck Cassez)は、攻撃者がタイムスタンプで何らかの行動を観察し、情報を引き出そうとする時間不透明性問題は、TAにとって決定不可能であることを示した。 我々は、システムまたは攻撃者を制限することにより、同じ不透明度の定義を考察する。
  論文  参考訳（メタデータ） (2024-08-22T09:17:59Z)
• Expiring opacity problems in parametric timed automata [0.0]
  タイムドオートマトンにおける期限付き不透明度問題について検討した。 我々は,システムが不透明な時間境界の集合を考察し,時間付きオートマトンに対して有効に計算できることを示す。
  論文  参考訳（メタデータ） (2024-03-12T13:30:53Z)
• TimeXer: Empowering Transformers for Time Series Forecasting with Exogenous Variables [75.83318701911274]
  TimeXerは外部情報を取り込み、内因性変数の予測を強化する。 TimeXerは、12の現実世界の予測ベンチマークで一貫した最先端のパフォーマンスを達成する。
  論文  参考訳（メタデータ） (2024-02-29T11:54:35Z)
• Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata [2.2003515924552044]
  タイムオートマトン(Timed Automatica)は、有限状態オートマトンの拡張であり、一連のクロックが線形に進化する。 我々は、タイムドオートマトンを入力形式として使用し、攻撃者がシステム実行時間のみにアクセス可能であると仮定する。
  論文  参考訳（メタデータ） (2023-10-31T12:10:35Z)
• Learning quantum systems via out-of-time-order correlators [0.27961972519572437]
  時間外相関器は、強い相互作用を持つシステムの学習性を大幅に向上させることができることを示す。 我々はこれらの利点を様々な学習問題で数値的に特徴づけ、読み出し誤りとデコヒーレンスの両方に頑健であることがわかった。
  論文  参考訳（メタデータ） (2022-08-03T18:00:00Z)
• Explaining Time Series Predictions with Dynamic Masks [91.3755431537592]
  機械学習モデルの予測を説明するために動的マスク(Dynamask)を提案する。 人工的および実世界のデータを用いて、Dynamaskのダイナミックな基盤は、そのパーシモニーとともに、時間とともに重要な特徴を識別する優れた改善をもたらすことを実証する。 Dynamaskのモジュラリティは、医療や金融といった分野における幅広い機械学習モデルの透明性を高めるためのプラグインとして理想的だ。
  論文  参考訳（メタデータ） (2021-06-09T18:01:09Z)
• Energy Aware Deep Reinforcement Learning Scheduling for Sensors Correlated in Time and Space [62.39318039798564]
  相関情報を利用するスケジューリング機構を提案する。 提案したメカニズムは、センサが更新を送信する頻度を決定することができる。 我々は,センサの寿命を大幅に延長できることを示した。
  論文  参考訳（メタデータ） (2020-11-19T09:53:27Z)

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

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