論文の概要: A SysML-based language for evaluating the integrity of simulation and physical embodiments of Cyber-Physical systems

• arxiv url: http://arxiv.org/abs/2303.09565v7
• Date: Wed, 01 Jan 2025 19:58:10 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-01-03 14:33:53.488648
• Title: A SysML-based language for evaluating the integrity of simulation and physical embodiments of Cyber-Physical systems
• Title（参考訳）: SysMLに基づくサイバー物理システムのシミュレーションと物理的具体化の整合性評価言語
• Authors: Wojciech Dudek, Narcis Miguel, Tomasz Winiarski,
• Abstract要約: 本稿では,SysMLに基づくシミュレート・物理システムモデリング言語(SPSysML)を紹介する。 サイバー物理システムにおけるコンポーネント再利用性を評価するためのドメイン仕様言語である。
• 参考スコア（独自算出の注目度）: 0.0
• License:
• Abstract: Evaluating early design concepts is crucial as it impacts quality and cost. This process is often hindered by vague and uncertain design information. This article introduces the SysML-based Simulated-Physical Systems Modelling Language (SPSysML). It is a Domain-Specification Language for evaluating component reusability in Cyber-Physical Systems incorporating Digital Twins and other simulated parts. The proposed factors assess the design quantitatively. SPSysML uses a requirement-based system structuring method to couple simulated and physical parts with requirements. SPSysML-based systems incorporate DTs that perceive exogenous actions in the simulated world. SPSysML validation is survey- and application-based. First, we develop a robotic system for an assisted living project. We propose an SPSysML application procedure called SPSysAP that manages the considered system development by evaluating the system designs with the proposed quantitative factors. As a result of the SPSysML application, we observed an integrity improvement between the simulated and physical parts of the system. Thus, more system components are shared between the simulated and physical setups. The system was deployed on the physical robot and two simulators based on ROS and ROS2. Additionally, we share a questionnaire for SPSysML assessment. The feedback that we already received is published in this article.
• Abstract（参考訳）: 品質とコストに影響を与えるため、初期の設計概念を評価することが重要です。 このプロセスは、曖昧で不確実な設計情報によってしばしば妨げられる。 本稿では,SysMLに基づくシミュレート・物理システムモデリング言語(SPSysML)を紹介する。 これは、Digital Twinsや他のシミュレートされた部品を組み込んだサイバー物理システムにおけるコンポーネント再利用性を評価するためのドメイン仕様言語である。 提案した因子は設計を定量的に評価する。 SPSysMLは要件ベースのシステム構造化手法を使用して、シミュレートされた部分と物理的部分とを要求と結合する。 SPSysMLベースのシステムでは、シミュレーションされた世界における外因性行動を認識するDTが組み込まれている。 SPSysMLバリデーションはサーベイとアプリケーションベースである。 まず,支援型生活プロジェクトのためのロボットシステムの開発を行う。 本稿では,SPSysAPと呼ばれるSPSysMLアプリケーション手法を提案する。 SPSysMLの適用により,シミュレーションと物理部品の整合性の改善が観察された。 したがって、シミュレートされた設定と物理的な設定の間でより多くのシステムコンポーネントが共有される。 このシステムは物理ロボットとROSとROS2をベースとした2つのシミュレータに配備された。 さらに,SPSysMLアセスメントに関するアンケート調査を行った。 すでに受け取ったフィードバックはこの記事に掲載されています。

関連論文リスト

• A quantitative framework for evaluating architectural patterns in ML systems [49.1574468325115]
  本研究では,MLシステムにおけるアーキテクチャパターンの定量的評価のための枠組みを提案する。 コスト効率のよいCPUベースの推論のためのスケーラビリティとパフォーマンスメトリクスに注目します。
  論文  参考訳（メタデータ） (2025-01-20T15:30:09Z)
• MAPS: Advancing Multi-Modal Reasoning in Expert-Level Physical Science [62.96434290874878]
  現在のMLLM(Multi-Modal Large Language Models)は、一般的な視覚的推論タスクにおいて強力な機能を示している。 我々は,MLLMに基づく物理知覚とシミュレーションによるマルチモーダル科学推論(MAPS)という新しいフレームワークを開発した。 MAPSは、専門家レベルのマルチモーダル推論タスクを物理的知覚モデル(PPM)を介して物理図理解に分解し、シミュレータを介して物理的知識で推論する。
  論文  参考訳（メタデータ） (2025-01-18T13:54:00Z)
• 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)
• Quantum Computing Enhanced Service Ecosystem for Simulation in Manufacturing [56.61654656648898]
  本稿では,製造シミュレーションのための量子コンピューティングによるサービスエコシステムの枠組みを提案する。 我々は,これらの新しい計算パラダイムを定量的に評価することを目的とした2つの高価値ユースケースを分析した。
  論文  参考訳（メタデータ） (2024-01-19T11:04:14Z)
• SimLM: Can Language Models Infer Parameters of Physical Systems? [56.38608628187024]
  物理系におけるパラメータ推論におけるLarge Language Models (LLM) の性能について検討する。 実験の結果,単純なシステムであっても,本課題には適していないことが示唆された。 物理シミュレータを用いてLLMのコンテキストを拡大する探索の有望な方向を提案する。
  論文  参考訳（メタデータ） (2023-12-21T12:05:19Z)
• Proximal Policy Optimization-based Transmit Beamforming and Phase-shift Design in an IRS-aided ISAC System for the THz Band [90.45915557253385]
  テラヘルツ(THz)帯で動作するIRS支援統合センシング・通信(ISAC)システムを提案し,システム容量を最大化する。 透過ビームフォーミングと位相シフト設計はエルゴード制約を伴う普遍最適化問題に変換される。
  論文  参考訳（メタデータ） (2022-03-21T09:15:18Z)
• 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)

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

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