論文の概要: CONSTRUCT: A Program Synthesis Approach for Reconstructing Control
Algorithms from Embedded System Binaries in Cyber-Physical Systems
- arxiv url: http://arxiv.org/abs/2308.00250v1
- Date: Tue, 1 Aug 2023 03:10:55 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-23 15:40:30.921511
- Title: CONSTRUCT: A Program Synthesis Approach for Reconstructing Control
Algorithms from Embedded System Binaries in Cyber-Physical Systems
- Title(参考訳): サイバー物理システムにおける組込みシステムバイナリからの制御アルゴリズム再構成のためのプログラム合成手法
- Authors: Ali Shokri, Alexandre Perez, Souma Chowdhury, Chen Zeng, Gerald
Kaloor, Ion Matei, Peter-Patel Schneider, Akshith Gunasekaran, Shantanu Rane
- Abstract要約: 本稿では,産業用サイバー物理システムに実装された制御アルゴリズムの数学的表現を自動的に合成する新しい手法を提案する。
出力モデルは、課題の専門家によって、期待される振る舞いに対するシステムのコンプライアンスを評価するために使用することができる。
- 参考スコア(独自算出の注目度): 39.78288224911617
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We introduce a novel approach to automatically synthesize a mathematical
representation of the control algorithms implemented in industrial
cyber-physical systems (CPS), given the embedded system binary. The output
model can be used by subject matter experts to assess the system's compliance
with the expected behavior and for a variety of forensic applications. Our
approach first performs static analysis on decompiled binary files of the
controller to create a sketch of the mathematical representation. Then, we
perform an evolutionary-based search to find the correct semantic for the
created representation, i.e., the control law. We demonstrate the effectiveness
of the introduced approach in practice via three case studies conducted on two
real-life industrial CPS.
- Abstract(参考訳): 本稿では,産業用サイバーフィジカルシステム (cps) に実装されている制御アルゴリズムの数学的表現を自動的に合成する手法を提案する。
出力モデルは、課題の専門家によって、期待される振る舞いに対するシステムのコンプライアンスと様々な法医学的応用を評価するために使用することができる。
本手法は,まずコントローラの逆コンパイルされたバイナリファイルの静的解析を行い,数学的表現のスケッチを作成する。
次に、生成した表現、すなわち制御法則の正しい意味を見つけるために進化に基づく探索を行う。
2つの実生活産業用cpsで実施した3つのケーススタディを通して,導入アプローチの有効性を実証する。
関連論文リスト
- A Neural Rewriting System to Solve Algorithmic Problems [51.485598133884615]
本稿では,特殊なモジュールで構成されたニューラルアーキテクチャとして,書き換えシステムを実装可能であることを示す。
シンボリック・フォーミュラの簡素化を必要とする3種類のアルゴリズムタスクに対して,本モデルの評価を行った。
論文 参考訳(メタデータ) (2024-02-27T10:57:07Z) - Operator Learning Framework for Digital Twin and Complex Engineering
Systems [0.0]
ニューラル演算子ネットワーク(英: Neural Operator Networks、ONets)は、偏微分方程式(PDE)の解を近似するための「より高速なサロゲート」として開発された機械学習アルゴリズムである。
オネットはユニバーサル近似定理を用いて有限次元の入力を分岐トランクアーキテクチャを用いて無限次元空間にマッピングする。
1次元常微分方程式 (ODE) や一般拡散系, 対流拡散系 (Burger) など, 演算子近似のためのオネットを用いた3つのテストケースの評価を行った。
論文 参考訳(メタデータ) (2023-01-17T04:57:31Z) - The Predictive Forward-Forward Algorithm [79.07468367923619]
本稿では,ニューラルネットワークにおける信頼割当を行うための予測フォワード(PFF)アルゴリズムを提案する。
我々は,有向生成回路と表現回路を同時に同時に学習する,新しい動的リカレントニューラルネットワークを設計する。
PFFは効率よく学習し、学習信号を伝達し、フォワードパスのみでシナプスを更新する。
論文 参考訳(メタデータ) (2023-01-04T05:34:48Z) - Digital Twin-based Intrusion Detection for Industrial Control Systems [0.5459797813771499]
本研究は,産業制御システムのためのディジタルツインベースのセキュリティフレームワークに寄与する。
4種類のプロセス認識攻撃シナリオが,産業用充填プラントのスタンドアロンのディジタルツイン上に実装されている。
8つの教師付き機械学習アルゴリズムのオフライン評価に基づいて,重ねられたアンサンブルをリアルタイム侵入検出として提案する。
論文 参考訳(メタデータ) (2022-07-20T16:03:10Z) - Supervised DKRC with Images for Offline System Identification [77.34726150561087]
現代の力学系はますます非線形で複雑なものになりつつある。
予測と制御のためのコンパクトで包括的な表現でこれらのシステムをモデル化するフレームワークが必要である。
本手法は,教師付き学習手法を用いてこれらの基礎関数を学習する。
論文 参考訳(メタデータ) (2021-09-06T04:39:06Z) - A Scalable and Reproducible System-on-Chip Simulation for Reinforcement
Learning [0.0]
本稿では,高忠実度Domain-Specific System-on-Chip (DSSoC) アプリケーションに適した,スケーラブルで再現可能なオープン環境である gym-ds3 を提案する。
シミュレーションは階層的ジョブをヘテロジニアスなsystem-on-chip (soc)プロセッサにスケジュールし、システムを強化学習研究に橋渡しする。
論文 参考訳(メタデータ) (2021-04-27T13:46:57Z) - DISPATCH: Design Space Exploration of Cyber-Physical Systems [5.273291582861981]
サイバー物理システム(CPS)の設計は、様々なCPS構成の大規模な検索空間を探索する難題である。
設計空間上のサンプル効率探索のための2段階の手法であるDisdisを提案する。
論文 参考訳(メタデータ) (2020-09-21T23:14:51Z) - Automated and Formal Synthesis of Neural Barrier Certificates for
Dynamical Models [70.70479436076238]
バリア証明書(BC)の自動的,形式的,反例に基づく合成手法を提案する。
このアプローチは、ニューラルネットワークとして構造化されたBCの候補を操作する誘導的フレームワークと、その候補の有効性を認証するか、反例を生成する音検証器によって支えられている。
その結果,音のBCsを最大2桁の速度で合成できることがわかった。
論文 参考訳(メタデータ) (2020-07-07T07:39:42Z) - Pontryagin Differentiable Programming: An End-to-End Learning and
Control Framework [108.4560749465701]
ポントリャーギン微分プログラミングの方法論は、幅広い種類の学習と制御タスクを解決するための統一されたフレームワークを確立する。
本研究では, PDP の逆強化学習, システム識別, 制御・計画の3つの学習モードについて検討する。
マルチリンクロボットアーム,6-DoFオペレーティングクオーロレータ,6-DoFロケット搭載着陸など,多次元システムにおける学習モード毎のPDPの能力を示す。
論文 参考訳(メタデータ) (2019-12-30T15:35:43Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。