Cover Image

COOCK project Smart Port 2025 D3.1: "To Twin Or Not To Twin"

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Paredis, Randy, Vangheluwe, Hans, Albertins, Pamela Adelino Ramos
Format:	Preprint
Published:	2024
Subjects:	Systems and Control Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

COOCK project Smart Port 2025 D3.2: "Variability in Twinning Architectures"
by: Paredis, Randy, et al.
Published: (2024)

Continuous Evolution of Digital Twins using the DarTwin Notation
by: Mertens, Joost, et al.
Published: (2024)

Reasonable Experiments in Model-Based Systems Engineering
by: Cederbladh, Johan, et al.
Published: (2025)

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems
by: Deantoni, Julien, et al.
Published: (2024)

DarTwin made precise by SysMLv2 -- An Experiment
by: Haugen, Øystein, et al.
Published: (2025)

A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
by: Alexopoulos, Angelos, et al.
Published: (2025)

Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling
by: Goffi, Pierre-Emmanuel, et al.
Published: (2025)

A Container-based Approach For Proactive Asset Administration Shell Digital Twins
by: Ellwein, Carsten, et al.
Published: (2025)

Directed Testing of ORAN using a Partially Specified Declarative Digital Twin
by: Gatherer, Alan, et al.
Published: (2024)

On Integrating Resilience and Human Oversight into LLM-Assisted Modeling Workflows for Digital Twins
by: P, Lekshmi, et al.
Published: (2026)

Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels
by: Isaku, Erblin, et al.
Published: (2025)

Automation Configuration in Smart Home Systems: Challenges and Opportunities
by: Anik, Sheik Murad Hassan, et al.
Published: (2024)

AI Simulation by Digital Twins: Systematic Survey, Reference Framework, and Mapping to a Standardized Architecture
by: Liu, Xiaoran, et al.
Published: (2025)

DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting
by: Fiter, Kérian, et al.
Published: (2025)

Remote Assistance or Remote Driving: The Impact of Operational Design Domains on ADS-Supporting Systems Selection
by: Hans, Ole, et al.
Published: (2025)

Digital requirements engineering with an INCOSE-derived SysML meta-model
by: Wheaton, James S., et al.
Published: (2024)

Skills Composition Framework for Reconfigurable Cyber-Physical Production Modules
by: Sidorenko, Aleksandr, et al.
Published: (2024)

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
by: Mandrioli, Claudio, et al.
Published: (2024)

A SysML Profile for the Standardized Description of Processes during System Development
by: Beers, Lasse, et al.
Published: (2024)

Cyber-physical WebAssembly: Secure Hardware Interfaces and Pluggable Drivers
by: Van Kenhove, Michiel, et al.
Published: (2024)

Towards Using Behavior Trees in Industrial Automation Controllers
by: Sidorenko, Aleksandr, et al.
Published: (2024)

Exploring LLMs for Verifying Technical System Specifications Against Requirements
by: Reinpold, Lasse M., et al.
Published: (2024)

On Simulation of Power Systems and Microgrid Components with SystemC-AMS
by: Bhadani, Rahul, et al.
Published: (2024)

Three-Stage Adjusted Regression Forecasting (TSARF) for Software Defect Prediction
by: Pritchard, Shadow, et al.
Published: (2024)

Looking back and forward: A retrospective and future directions on Software Engineering for systems-of-systems
by: Cavalcante, Everton, et al.
Published: (2024)

A Modifiable Architectural Design for Commercial Greenhouses Energy Economic Dispatch Testbed
by: Clausen, Christian Skafte Beck, et al.
Published: (2024)

An Industrial Experience Report about Challenges from Continuous Monitoring, Improvement, and Deployment for Autonomous Driving Features
by: Nouri, Ali, et al.
Published: (2024)

Implementation of Formal Standard for Interoperability in M&S/System of Systems Integration with DEVS/SOA
by: Mittal, Saurabh, et al.
Published: (2024)

Formalized Identification Of Key Factors In Safety-Relevant Failure Scenarios
by: Julitz, Tim Maurice, et al.
Published: (2024)

Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
by: Schubert, Richard, et al.
Published: (2026)

TensorConvolutionPlus: A python package for distribution system flexibility area estimation
by: Chrysostomou, Demetris, et al.
Published: (2025)

Streamlined Airborne Software Development for Large UAVs: From Unified Data Collection to Automated Code Generation
by: Sinitsyn, Viktor, et al.
Published: (2025)

ComplexVCoder: An LLM-Driven Framework for Systematic Generation of Complex Verilog Code
by: Zuo, Jian, et al.
Published: (2025)

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
by: Jayasuriya, Dinithi, et al.
Published: (2026)

The Necessity of a Holistic Safety Evaluation Framework for AI-Based Automation Features
by: Abbaspour, Alireza, et al.
Published: (2026)

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis
by: Xu, Kangwei, et al.
Published: (2025)

Semantic Technologies in Practical Demand Response: An Informational Requirement-based Roadmap
by: Mulayim, Ozan Baris, et al.
Published: (2025)

Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
by: A., Gustavo Quiros, et al.
Published: (2025)

SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
by: Lewis, Charles, et al.
Published: (2026)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
by: Foster, Simon, et al.
Published: (2020)