論文の概要: Component reusability evaluation and requirement tracing for agent-based simulation-physical systems
- arxiv url: http://arxiv.org/abs/2303.09565v4
- Date: Wed, 7 Aug 2024 13:15:50 GMT
- ステータス: 処理完了
- システム内更新日: 2024-08-08 18:42:56.197793
- Title: Component reusability evaluation and requirement tracing for agent-based simulation-physical systems
- Title(参考訳): エージェントベースシミュレーション物理システムにおけるコンポーネント再利用可能性の評価と要件追跡
- Authors: Wojciech Dudek, Narcis Miguel, Tomasz Winiarski,
- Abstract要約: ドメイン仕様言語(SysML)を用いてシミュレーションと物理部品を組み込んだシステムの設計分析と評価を改善する。
シミュレーション-物理システムモデリング言語(SPSysML)は、少なくとも1つの物理的またはシミュレートされた部分からなるCPSの分類を定義している。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: In the early stages of product development, evaluating design concepts is crucial due to its impact on quality and cost. However, this process is often hindered by vague and uncertain design information. We use the Domain Specification Language (DSL) to improve design analysis and evaluation of systems incorporating simulation and physical parts. ' Goal: Our method evaluates the integrity between the simulated and physical embodiment of the system. The assessment is done in various scopes, e.g. per pair of Digital Twins (DT) and its physical counterpart- Physical Twin (PT), system-wide, or one of many system setups. Method: We propose a DSL based on Systems Modeling Language (SysML). The Simulation-Physical Systems Modeling Language (SPSysML) defines the taxonomy of CPS consisting of at least a physical or simulated part. Based on SPSysML, we define quantitative factors and a requirement-based system structuring method, which enhances requirement analysis and allows DT to perceive exogenous actions in the simulated world. Result: SPSysML is used to develop a robotic system for the INCARE project. In subsequent iterations of the system's design process, the simulation-physical integrity of the system is improved, and more system components is shared between its simulated and physical embodiments. The designed system was deployed on the physical robot and two simulators. System setups are based on Robot Operating System (ROS) and ROS2. Therefore, we argue that SPSysML is neither specific for a control system framework nor a robot simulator. SPSysML was used by a third-party developer and was assessed by him and other practitioners in a survey. Summary: SPSysML allows the design of systems featuring DTs and evaluation for improved integrity between simulation and physical parts. The requirement-based system structuring enhances the traceability of system requirements allocation.
- Abstract(参考訳): 製品開発の初期段階では、品質とコストに影響を与えるため、設計概念を評価することが重要です。
しかし、このプロセスは曖昧で不確実な設計情報によって妨げられることが多い。
ドメイン仕様言語(DSL)を用いてシミュレーションと物理部品を組み込んだシステムの設計分析と評価を改善する。
目的:本手法は,システムのシミュレートと物理的具体化の整合性を評価する。この評価は,様々な分野において実施される。例えば,Digital Twins (DT) とその物理対物理双対 (PT) ,システム全体,あるいは多くのシステム構成の1つである。本手法では,システムモデリング言語 (SysML) に基づく DSL を提案する。シミュレーション-物理システムモデリング言語 (SPSysML) では,少なくとも1つの物理的あるいはシミュレートされた部分からなる CPS の分類を定義している。SPSysML では,要件分析を向上し,DT がシミュレーションの世界においてエキゾネティックな動作を知覚できる要件ベースのシステム構成法を定義する。
設計されたシステムは、物理ロボットと2つのシミュレータに配備された。
システム・セットアップはロボット・オペレーティング・システム(ROS)とROS2に基づいている。
したがって、SPSysMLは制御システムフレームワークやロボットシミュレータに特化していない。
SPSysMLはサードパーティの開発者によって使用され、彼や他の実践者によって調査で評価された。
まとめ: SPSysMLはDTを特徴とするシステムの設計を可能にし、シミュレーションと物理部品の整合性を改善するための評価を行う。
要件ベースのシステム構造は、システム要求割り当てのトレーサビリティを高める。
関連論文リスト
- CPS-LLM: Large Language Model based Safe Usage Plan Generator for Human-in-the-Loop Human-in-the-Plant Cyber-Physical System [5.3052849646510225]
本研究は,大規模言語モデル (LLM) を用いたヒト・イン・ザ・ループ・ヒューマン・イン・ザ・プラントのサイバー物理システムについて検討する。
LLMのコンテキスト化は比較的容易で、ドメイン固有のプランを生成することができる。
CPS-LLMは、命令チューニングフレームワークを用いて再訓練されたLCMであり、生成した計画が物理系力学と整合することを保証する。
論文 参考訳(メタデータ) (2024-05-19T06:00:18Z) - SimLM: Can Language Models Infer Parameters of Physical Systems? [56.38608628187024]
物理系におけるパラメータ推論におけるLarge Language Models (LLM) の性能について検討する。
実験の結果,単純なシステムであっても,本課題には適していないことが示唆された。
物理シミュレータを用いてLLMのコンテキストを拡大する探索の有望な方向を提案する。
論文 参考訳(メタデータ) (2023-12-21T12:05:19Z) - Informal Safety Guarantees for Simulated Optimizers Through
Extrapolation from Partial Simulations [0.0]
自己教師付き学習は、最先端の言語モデリングのバックボーンである。
自己教師付きデータセットにおける予測損失を伴うトレーニングはシミュレータを引き起こすと論じられている。
論文 参考訳(メタデータ) (2023-11-29T09:32:56Z) - DiffuseBot: Breeding Soft Robots With Physics-Augmented Generative
Diffusion Models [102.13968267347553]
本稿では,様々なタスクにおいて優れたソフトロボット形態を生成する物理拡張拡散モデルであるDiffuseBotを提案する。
我々は、その能力とともに、シミュレーションされた、そして製造された様々なロボットを紹介します。
論文 参考訳(メタデータ) (2023-11-28T18:58:48Z) - Optimising Highly-Parallel Simulation-Based Verification of
Cyber-Physical Systems [0.0]
サイバー物理システム(CPS)は多くの産業関連領域で発生し、しばしばミッションクリティカルまたは安全クリティカルである。
CPSのシステムレベル検証(SLV)は、与えられた(例えば、安全か生きか)仕様が満たされているか、あるいはある価値を推定することを保証することを目的としている。
論文 参考訳(メタデータ) (2023-07-28T08:08:27Z) - PHYFU: Fuzzing Modern Physics Simulation Engines [12.512000967313384]
物理シミュレーションエンジン (PSE) は、物理環境や物体をシミュレートするソフトウェアシステムである。
PHYFUは、前と後の両方のシミュレーションフェーズにおけるエラーを明らかにするために、PSE向けに設計されたファジィフレームワークである。
PSEのソフトウェアスタック全体にまたがる不正確なシミュレーション結果を生成する5K以上のエラートリガ入力をうまく発見する。
論文 参考訳(メタデータ) (2023-07-20T12:26:50Z) - Towards Complex Dynamic Physics System Simulation with Graph Neural ODEs [75.7104463046767]
本稿では,粒子系の空間的および時間的依存性を特徴付ける新しい学習ベースシミュレーションモデルを提案する。
我々は,GNSTODEのシミュレーション性能を,重力とクーロンの2つの実世界の粒子系上で実証的に評価した。
論文 参考訳(メタデータ) (2023-05-21T03:51:03Z) - Nonprehensile Riemannian Motion Predictive Control [57.295751294224765]
本稿では,リアル・ツー・シムの報酬分析手法を導入し,リアルなロボット・プラットフォームに対する行動の可能性を確実に予測する。
連続的なアクション空間でオブジェクトを反応的にプッシュするクローズドループコントローラを作成します。
我々は,RMPCが乱雑な環境だけでなく,乱雑な環境においても頑健であり,ベースラインよりも優れていることを観察した。
論文 参考訳(メタデータ) (2021-11-15T18:50:04Z) - PlasticineLab: A Soft-Body Manipulation Benchmark with Differentiable
Physics [89.81550748680245]
PasticineLabと呼ばれる新しい微分可能な物理ベンチマークを導入する。
各タスクにおいて、エージェントはマニピュレータを使用して、プラスチックを所望の構成に変形させる。
本稿では,既存の強化学習(RL)手法と勾配に基づく手法について評価する。
論文 参考訳(メタデータ) (2021-04-07T17:59:23Z) - Learning to Simulate Complex Physics with Graph Networks [68.43901833812448]
本稿では,機械学習のフレームワークとモデルの実装について紹介する。
グラフネットワーク・ベース・シミュレータ(GNS)と呼ばれる我々のフレームワークは、グラフ内のノードとして表現された粒子で物理系の状態を表現し、学習されたメッセージパスによって動的を計算します。
我々のモデルは,訓練中に数千の粒子による1段階の予測から,異なる初期条件,数千の時間ステップ,少なくとも1桁以上の粒子をテスト時に一般化できることを示す。
論文 参考訳(メタデータ) (2020-02-21T16:44:28Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。