Reusing Model Validation Methods for the Continuous Validation of Digital Twins of Cyber-Physical Systems
Fuente:
arXiv
Saved in:
| Main Authors: | Mertens, Joost, Denil, Joachim |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Continuous Evolution of Digital Twins using the DarTwin Notation
by: Mertens, Joost, et al.
Published: (2024)
by: Mertens, Joost, et al.
Published: (2024)
DarTwin made precise by SysMLv2 -- An Experiment
by: Haugen, Øystein, et al.
Published: (2025)
by: Haugen, Øystein, et al.
Published: (2025)
Foundation Models for the Digital Twin Creation of Cyber-Physical Systems
by: Ali, Shaukat, et al.
Published: (2024)
by: Ali, Shaukat, et al.
Published: (2024)
Towards a Unifying Reference Model for Digital Twins of Cyber-Physical Systems
by: Pfeiffer, Jerome, et al.
Published: (2025)
by: Pfeiffer, Jerome, et al.
Published: (2025)
Lab-Scale Gantry Crane Digital Twin Exemplar
by: Mertens, Joost, et al.
Published: (2025)
by: Mertens, Joost, et al.
Published: (2025)
Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
by: Jodat, Baharin A., et al.
Published: (2025)
by: Jodat, Baharin A., et al.
Published: (2025)
Validating Terrain Models in Digital Twins for Trustworthy sUAS Operations
by: Bernal, Arturo Miguel Russell, et al.
Published: (2025)
by: Bernal, Arturo Miguel Russell, et al.
Published: (2025)
Testing, Evaluation, Verification and Validation (TEVV) of Digital Twins: A Comprehensive Framework
by: Waters, Gabriella
Published: (2025)
by: Waters, Gabriella
Published: (2025)
Early Validation of High-level Requirements on Cyber-Physical Systems
by: Vašíček, Ondřej
Published: (2025)
by: Vašíček, Ondřej
Published: (2025)
Pretrain, Prompt, and Transfer: Evolving Digital Twins for Time-to-Event Analysis in Cyber-physical Systems
by: Xu, Qinghua, et al.
Published: (2023)
by: Xu, Qinghua, et al.
Published: (2023)
CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
by: Odyurt, Uraz, et al.
Published: (2025)
by: Odyurt, Uraz, et al.
Published: (2025)
Automated Repair of Cyber-Physical Systems
by: Valle, Pablo
Published: (2025)
by: Valle, Pablo
Published: (2025)
Modeling and Simulation Based Engineering in the Context of Cyber-Physical Systems
by: Muzy, Alexandre
Published: (2026)
by: Muzy, Alexandre
Published: (2026)
An Evaluation of Requirements Modeling for Cyber-Physical Systems via LLMs
by: Jin, Dongming, et al.
Published: (2024)
by: Jin, Dongming, et al.
Published: (2024)
An Expert Survey on Models and Digital Twins
by: Reif, Jonathan, et al.
Published: (2025)
by: Reif, Jonathan, et al.
Published: (2025)
From Digital Twins to Digital Twin Prototypes: Concepts, Formalization, and Applications
by: Barbie, Alexander, et al.
Published: (2024)
by: Barbie, Alexander, et al.
Published: (2024)
Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead
by: Lu, Chengjie, et al.
Published: (2025)
by: Lu, Chengjie, et al.
Published: (2025)
Dynamic Risk Management in Cyber Physical Systems
by: Schneider, Daniel, et al.
Published: (2024)
by: Schneider, Daniel, et al.
Published: (2024)
A Generalized Feature Model for Digital Twins
by: Zech, Philipp, et al.
Published: (2026)
by: Zech, Philipp, et al.
Published: (2026)
The Composition of Digital Twins for Systems-of-Systems: a Systematic Literature Review
by: Khedr, Mennatullah T., et al.
Published: (2025)
by: Khedr, Mennatullah T., et al.
Published: (2025)
Customer Validation, Feedback and Collaboration in Large-Scale Continuous Software Development
by: Molamphy, David
Published: (2025)
by: Molamphy, David
Published: (2025)
Towards an Engineering Discipline for Resilient Cyber-Physical Systems
by: Caldas, Ricardo D.
Published: (2024)
by: Caldas, Ricardo D.
Published: (2024)
Stress Testing Control Loops in Cyber-Physical Systems
by: Mandrioli, Claudio, et al.
Published: (2023)
by: Mandrioli, Claudio, et al.
Published: (2023)
Industrial Survey on Robustness Testing In Cyber Physical Systems
by: Ponsard, Christophe, et al.
Published: (2026)
by: Ponsard, Christophe, et al.
Published: (2026)
Towards a Digital Twin Modeling Method for Container Terminal Port
by: Hakimi, Faouzi, et al.
Published: (2025)
by: Hakimi, Faouzi, et al.
Published: (2025)
Towards Improving the External Validity of Software Engineering Experiments with Transportability Methods
by: Frattini, Julian, et al.
Published: (2026)
by: Frattini, Julian, et al.
Published: (2026)
Validity in Design Science
by: Larsen, K., et al.
Published: (2025)
by: Larsen, K., et al.
Published: (2025)
Verification and Validation of Autonomous Systems
by: Shetiya, Sneha Sudhir, et al.
Published: (2024)
by: Shetiya, Sneha Sudhir, et al.
Published: (2024)
SlsReuse: LLM-Powered Serverless Function Reuse
by: Wen, Jinfeng, et al.
Published: (2025)
by: Wen, Jinfeng, et al.
Published: (2025)
Digital Twins for Software Engineering Processes
by: Kimmel, Robin, et al.
Published: (2025)
by: Kimmel, Robin, et al.
Published: (2025)
Towards Federated Digital Twin Platforms
by: Frasheri, Mirgita, et al.
Published: (2025)
by: Frasheri, Mirgita, et al.
Published: (2025)
Architecting Digital Twins for Intelligent Transportation Systems
by: Bhatt, Hiya, et al.
Published: (2025)
by: Bhatt, Hiya, et al.
Published: (2025)
Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications
by: Sartaj, Hassan, et al.
Published: (2023)
by: Sartaj, Hassan, et al.
Published: (2023)
Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
by: Chechik, Marsha, et al.
Published: (2025)
by: Chechik, Marsha, et al.
Published: (2025)
Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
by: Lee, Jaekwon, et al.
Published: (2025)
by: Lee, Jaekwon, et al.
Published: (2025)
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
by: Etemadi, Khashayar, et al.
Published: (2025)
by: Etemadi, Khashayar, et al.
Published: (2025)
DPM-Bench: Benchmark for Distributed Process Mining Algorithms on Cyber-Physical Systems
by: Reiter, Hendrik, et al.
Published: (2025)
by: Reiter, Hendrik, et al.
Published: (2025)
Towards an Extensible Model-Based Digital Twin Framework for Space Launch Vehicles
by: Wei, Ran, et al.
Published: (2024)
by: Wei, Ran, et al.
Published: (2024)
A Model-Driven Digital Twin for the Systematic Improvement of DevOps Pipelines
by: Samoud, Achref, et al.
Published: (2026)
by: Samoud, Achref, et al.
Published: (2026)
Test Input Validation for Vision-based DL Systems: An Active Learning Approach
by: Ghobari, Delaram, et al.
Published: (2025)
by: Ghobari, Delaram, et al.
Published: (2025)
Similar Items
-
Continuous Evolution of Digital Twins using the DarTwin Notation
by: Mertens, Joost, et al.
Published: (2024) -
DarTwin made precise by SysMLv2 -- An Experiment
by: Haugen, Øystein, et al.
Published: (2025) -
Foundation Models for the Digital Twin Creation of Cyber-Physical Systems
by: Ali, Shaukat, et al.
Published: (2024) -
Towards a Unifying Reference Model for Digital Twins of Cyber-Physical Systems
by: Pfeiffer, Jerome, et al.
Published: (2025) -
Lab-Scale Gantry Crane Digital Twin Exemplar
by: Mertens, Joost, et al.
Published: (2025)