論文の概要: The Composition of Digital Twins for Systems-of-Systems: a Systematic Literature Review
- arxiv url: http://arxiv.org/abs/2506.20435v1
- Date: Wed, 25 Jun 2025 13:45:16 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-06-26 21:00:42.762945
- Title: The Composition of Digital Twins for Systems-of-Systems: a Systematic Literature Review
- Title（参考訳）: システム・オブ・システムのためのディジタルツインの構成:システム文献レビュー
- Authors: Mennatullah T. Khedr, John S. Fitzgerald,
- Abstract要約: 本稿では,DT合成と検証・検証(V&V)手法について検討する。
V&Vのアプローチは、半形式的手法やシミュレーションが支配的であり、形式的検証は未利用である。
統合とサイバー物理の整合性に対処するためには、モデル検証を超えて進む必要がある。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Digital Twins (DTs) are increasingly used to model complex systems, especially in Cyber-Physical Systems (CPS) and System-of-Systems (SoS), where effective integration is key. This systematic literature review investigates DT composition and verification and validation (V&V) methodologies. Analyzing 21 studies from 2022-2024, we examined composition mechanisms, SoS characteristics, and V&V formality, scope, and challenges. While composition is discussed, formalization is limited. V&V approaches vary, with semi-formal methods and simulations dominating; formal verification is underutilized. Key technical challenges include model uncertainty and integration complexity. Methodological challenges highlight the lack of standardized DT-specific V&V frameworks. There is a need to move beyond model validation to address integration and cyber-physical consistency. This review contributes a structured classification of V&V approaches and emphasizes the need for standardized, scalable V&V and rigorous composition methodologies for complex DT implementations.
- Abstract（参考訳）: デジタルツイン(DT)は複雑なシステム、特にCPS(Cyber-Physical Systems)やSoS(System-of-Systems)において、効果的な統合が鍵となる複雑なシステムのモデル化にますます利用されている。
本稿では,DT合成と検証・検証(V&V)手法について検討する。
2022-2024年に行われた21の研究では,合成機構,SoS特性,V&V形式,スコープ,課題について検討した。
構成は議論されているが、形式化は限られている。
V&Vのアプローチは、半形式的手法やシミュレーションが支配的であり、形式的検証は未利用である。
主な技術的課題は、モデルの不確実性と統合の複雑さである。
方法論上の課題は、標準化されたDT固有のV&Vフレームワークの欠如である。
統合とサイバー物理の整合性に対処するためには、モデル検証を超えて進む必要がある。
本稿では、V&Vアプローチの構造的分類に寄与し、複雑なDT実装のための標準化されたスケーラブルなV&Vおよび厳密な構成手法の必要性を強調した。
関連論文リスト
- Systems of Twinned Systems: A Systematic Literature Review [0.3749861135832073]
現代のシステムは、その規模、相互接続性、デジタルおよび物理部品の不均一性により、前例のない複雑さを示す。
スケーリングの課題に対応するため、システム・オブ・システム(SoS)パラダイムは、サブシステムのより柔軟な集約を全体へ提案する。
サイバー物理収束に反応して、デジタルツイン(DT)パラダイムは、計算反射と正確な制御を通じて、デジタルコンポーネントと物理コンポーネントの密結合を提案する。
論文 参考訳（メタデータ） (2025-05-26T12:40:38Z) - A Theory-driven Interpretation and Elaboration of Verification and Validation [49.97673761305336]
本稿では,システム工学における検証と検証の形式理論について述べる。
検証と検証の正確な定義を開発し、システムに関する知識の確認と文脈化におけるそれらの役割を明確にする。
論文 参考訳（メタデータ） (2025-04-11T17:58:07Z) - Complete FSM Testing Using Strong Separability [1.0128808054306186]
アパルタネス(Apartness)は、構成数学で開発された概念であり、状態分離のための強力な概念として再浮上している。
我々は、ハイブリッドやシステムなど、定量的モデルにおける相違性の根本的な欠点を識別する。
我々は、強い分離性(strong separability)と呼ばれる、密接に関連する代替案を提案する。
論文 参考訳（メタデータ） (2025-02-06T12:54:24Z) - Identifying Large-Scale Linear Parameter Varying Systems with Dynamic Mode Decomposition Methods [5.217516787417401]
本研究は,大規模LPVシステムの局所的およびグローバルな同定手法を開発する。
この方法は動的モード分解(DMD)にインスパイアされたDMD-LPVと呼ばれる。
実験により,提案手法は,全次元の同定を行うことなく,与えられた大規模システムの低次モデルを容易に同定できることが示唆された。
論文 参考訳（メタデータ） (2025-02-04T14:15:16Z) - Automatically Learning Hybrid Digital Twins of Dynamical Systems [56.69628749813084]
Digital Twins (DT)は、現実世界のシステムの状態と時間力学をシミュレートする。
DTは、しばしばデータスカース設定で目に見えない条件に一般化するのに苦労します。
本稿では,HDTwinsを自律的に提案し,評価し,最適化するための進化的アルゴリズム(textbfHDTwinGen$)を提案する。
論文 参考訳（メタデータ） (2024-10-31T07:28:22Z) - Identifiability Analysis of Linear ODE Systems with Hidden Confounders [45.14890063421295]
本稿では,隠れた共同設立者を組み込んだ線形ODEシステムにおける識別可能性の体系的解析について述べる。
最初のケースでは、潜伏した共同設立者は因果関係を示さないが、その進化は特定の形態に固執する。
その後、この分析を、隠れた共同創設者が因果依存性を示すシナリオにまで拡張する。
論文 参考訳（メタデータ） (2024-10-29T10:15:56Z) - Learning Paradigms and Modelling Methodologies for Digital Twins in Process Industry [1.1060425537315088]
デジタルツイン(Digital Twins、DT)は、センサーデータと高度なデータベースまたは物理ベースのモデル、あるいはその組み合わせを組み合わせた物理製造システムの仮想レプリカで、プロセス監視、予測制御、意思決定支援など、さまざまな産業関連タスクに対処する。
DTのバックボーン、すなわち、これらのモデルをサポートする具体的なモデリング方法論とアーキテクチャフレームワークは、複雑で多様性があり、急速に進化し、最新の最先端の手法と競争の激しい市場のトップに留まる傾向を徹底的に理解する必要がある。
論文 参考訳（メタデータ） (2024-07-02T14:05:10Z) - An Interventional Perspective on Identifiability in Gaussian LTI Systems
with Independent Component Analysis [44.892642197610215]
ガウス線形時間不変 (LTI) システムでは, 多様な干渉信号を導入することで, システムパラメータを同定できることが示されている。
隠れマルコフモデルと(ガウス) LTI 系が連続パラメータを持つコーサル・デ・フィネッティの定理を一般化することを示した。
論文 参考訳（メタデータ） (2023-11-29T19:51:35Z) - A Verification Framework for Component-Based Modeling and Simulation
Putting the pieces together [0.0]
提案する検証フレームワークは,コンポーザビリティを異なるレベルで検証するための方法,テクニック,ツールサポートを提供する。
特に、コンポーザビリティ全体の正しさにおける重要性と、プロセスで生じる困難度から、ダイナミック・セマンティック・コンポータビリティ(Dynamic-Semantic Composability)のレベルに注目します。
論文 参考訳（メタデータ） (2023-01-08T18:53:28Z) - Leveraging the structure of dynamical systems for data-driven modeling [111.45324708884813]
トレーニングセットとその構造が長期予測の品質に与える影響を考察する。
トレーニングセットのインフォームドデザインは,システムの不変性と基盤となるアトラクションの構造に基づいて,結果のモデルを大幅に改善することを示す。
論文 参考訳（メタデータ） (2021-12-15T20:09:20Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。