論文の概要: SPSysML: A meta-model for quantitative evaluation of Simulation-Physical Systems

• arxiv url: http://arxiv.org/abs/2303.09565v3
• Date: Fri, 22 Dec 2023 15:07:31 GMT
• ステータス: 処理完了
• システム内更新日: 2023-12-25 18:54:31.051049
• Title: SPSysML: A meta-model for quantitative evaluation of Simulation-Physical Systems
• Title（参考訳）: SPSysML:シミュレーション物理システムの定量的評価のためのメタモデル
• Authors: Wojciech Dudek, Narcis Miguel, Tomasz Winiarski
• Abstract要約: 最近のシミュレーション手法は、Digital Twin(DT)の概念の実現を可能にする。 システム開発の間、その部品は模擬モックアップから実際のハードウェアにデプロイされたソフトウェアを実行する物理部品へと進化した。 我々は,CPSのシミュレートされた部品と物理部品の統合を,様々な設定で最大化することを目的としている。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by-sa/4.0/
• Abstract: Robotic systems are complex cyber-physical systems (CPS) commonly equipped with multiple sensors and effectors. Recent simulation methods enable the Digital Twin (DT) concept realisation. However, DT employment in robotic system development, e.g. in-development testing, is unclear. During the system development, its parts evolve from simulated mockups to physical parts which run software deployed on the actual hardware. Therefore, a design tool and a flexible development procedure ensuring the integrity of the simulated and physical parts are required. We aim to maximise the integration between a CPS's simulated and physical parts in various setups. The better integration, the better simulation-based testing coverage of the physical part (hardware and software). We propose a Domain Specification Language (DSL) based on Systems Modeling Language (SysML) that we refer to as SPSysML (Simulation-Physical System Modeling Language). SPSysML defines the taxonomy of a Simulation-Physical System (SPSys), being a CPS consisting of at least a physical or simulated part. In particular, the simulated ones can be DTs. We propose a SPSys Development Procedure (SPSysDP) that enables the maximisation of the simulation-physical integrity of SPSys by evaluating the proposed factors. SPSysDP is used to develop a complex robotic system for the INCARE project. In subsequent iterations of SPSysDP, the simulation-physical integrity of the system is maximised. As a result, the system model consists of fewer components, and a greater fraction of the system components are shared between various system setups. We implement and test the system with popular frameworks, Robot Operating System (ROS) and Gazebo simulator. SPSysML with SPSysDP enables the design of SPSys (including DT and CPS), multi-setup system development featuring maximised integrity between simulation and physical parts in its setups.
• Abstract（参考訳）: ロボットシステムは、複数のセンサーとエフェクターを備えた複雑なサイバー物理システム(CPS)である。 最近のシミュレーション手法は、Digital Twin(DT)の概念の実現を可能にする。 しかし、ロボットシステム開発におけるDTの雇用、例えば開発内テストは不明確である。 システム開発の間、その部品は模擬モックアップから実際のハードウェアにデプロイされたソフトウェアを実行する物理部品へと進化する。 したがって、シミュレーション部品と物理部品の整合性を確保するための設計ツールとフレキシブルな開発手順が必要である。 我々は,CPSのシミュレーションと物理部品の統合を,様々な設定で最大化することを目的としている。 統合性の向上、物理部分(ハードウェアとソフトウェア)のシミュレーションベースのテストカバレッジの向上。 本稿では、SPSysML(Simulation-Physical System Modeling Language)と呼ばれるシステムモデリング言語(SysML)に基づくドメイン仕様言語(DSL)を提案する。 SPSysMLは、シミュレーション・物理システム(SPSys)の分類を定義し、少なくとも物理的またはシミュレートされた部分からなるCPSである。 特に、シミュレーションされたものはDTである。 本稿では,SPSys のシミュレーション・物理的整合性を最大化できる SPSys 開発手法を提案する。 SPSysDPはINCAREプロジェクトのための複雑なロボットシステムの開発に使用されている。 その後のSPSysDPでは、システムのシミュレーションと物理の整合性が最大化される。 結果として、システムモデルは少ないコンポーネントで構成され、システムコンポーネントの大部分は、さまざまなシステムセットアップ間で共有される。 本稿では,ロボットオペレーティング・システム(ROS)とガゼボシミュレータを用いて,システムの実装とテストを行う。 SPSysDPを使用したSPSysMLは、SPSys(DTとCPSを含む)の設計を可能にし、シミュレーションと物理部品間の最大整合性を特徴とするマルチセットアップシステムの開発を可能にする。

関連論文リスト

• Modeling and Simulation of a Multi Robot System Architecture [0.3686808512438362]
  マルチロボットシステム(Multi Robot System、MRS)は、ロボットが人間のニーズを理解する知的サイバー物理システムの基盤である。 本稿では,人間が利用可能なロボットによる要求を開始する,汎用的なMSSケーススタディを紹介する。 MRSのモデリングは、提案したアーキテクチャの性能をシミュレートし、測定するために使用できるため、適切なシステムアーキテクチャを設計する上で重要な側面である。
  論文  参考訳（メタデータ） (2024-11-04T14:00:43Z)
• A Realistic Simulation Framework for Analog/Digital Neuromorphic Architectures [73.65190161312555]
  ARCANAは、混合信号ニューロモルフィック回路の特性を考慮に入れたスパイクニューラルネットワークシミュレータである。 その結果,ソフトウェアでトレーニングしたスパイクニューラルネットワークの挙動を,信頼性の高い推定結果として提示した。
  論文  参考訳（メタデータ） (2024-09-23T11:16:46Z)
• Multi-Robot System Architecture design in SysML and BPMN [0.4143603294943439]
  マルチロボットシステム(MRS)は多くの異なるソフトウェアとハードウェアコンポーネントを含む複雑なシステムである。 提案手法は,システム工学の形式的手法に基づくモジュラーモデリングとシミュレーション技術を提供する。
  論文  参考訳（メタデータ） (2024-07-26T14:04:40Z)
• 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)
• MS-MANO: Enabling Hand Pose Tracking with Biomechanical Constraints [50.61346764110482]
  筋骨格系と学習可能なパラメトリックハンドモデルMANOを統合し,MS-MANOを作成する。 このモデルは骨格系を駆動する筋肉と腱の力学をエミュレートし、結果として生じるトルク軌跡に生理学的に現実的な制約を与える。 また,マルチ層パーセプトロンネットワークによる初期推定ポーズを改良する,ループ式ポーズ改善フレームワークBioPRを提案する。
  論文  参考訳（メタデータ） (2024-04-16T02:18:18Z)
• SimLM: Can Language Models Infer Parameters of Physical Systems? [56.38608628187024]
  物理系におけるパラメータ推論におけるLarge Language Models (LLM) の性能について検討する。 実験の結果,単純なシステムであっても,本課題には適していないことが示唆された。 物理シミュレータを用いてLLMのコンテキストを拡大する探索の有望な方向を提案する。
  論文  参考訳（メタデータ） (2023-12-21T12:05:19Z)
• Machine Learning-Enabled Software and System Architecture Frameworks [48.87872564630711]
  データサイエンスと機械学習に関連する関心事、例えばデータサイエンティストやデータエンジニアの利害関係者は、まだ既存のアーキテクチャフレームワークには含まれていない。 10か国25以上の組織から61名の被験者を対象に調査を行った。
  論文  参考訳（メタデータ） (2023-08-09T21:54:34Z)
• Learning Physical Concepts in Cyber-Physical Systems: A Case Study [72.74318982275052]
  本稿では,時系列データにおける物理概念の学習方法に関する研究の現状について概説する。 また,3タンクシステムの例を用いて,最先端技術から最も重要な手法を分析した。
  論文  参考訳（メタデータ） (2021-11-28T14:24:52Z)
• An Extensible Benchmark Suite for Learning to Simulate Physical Systems [60.249111272844374]
  我々は、統一されたベンチマークと評価プロトコルへの一歩を踏み出すために、一連のベンチマーク問題を導入する。 本稿では,4つの物理系と,広く使用されている古典的時間ベースおよび代表的なデータ駆動手法のコレクションを提案する。
  論文  参考訳（メタデータ） (2021-08-09T17:39:09Z)
• Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems [20.491263196235376]
  我々は,ロボット工学の分野で広く利用されている学習可能な状態推定システム(LE-SESs)に注目した。 LE-SESを形式的検証の観点から検討し,システムモデルの満足度を決定する。
  論文  参考訳（メタデータ） (2020-10-16T11:06:50Z)

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

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