25 results on '"Thule, Casper"'
Search Results
2. Introducing Regression Tests and Upgrades to the INTO-CPS Application
3. Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps
4. An FMI-Based Initialization Plugin for INTO-CPS Maestro 2
5. Towards a Digital Twin - Modelling an Agricultural Vehicle
6. Migrating the INTO-CPS Application to the Cloud
7. Generation of Co-simulation Algorithms Subject to Simulator Contracts
8. Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks
9. Towards a Static Check of FMUs in VDM-SL
10. Collaborative Modelling and Co-simulation in Engineering and Computing Curricula
11. Distributed Co-simulation of Embedded Control Software Using INTO-CPS
12. Co-simulation: The Past, Future, and Open Challenges
13. Towards the Verification of Hybrid Co-simulation Algorithms
14. Demo: Stabilization Technique in INTO-CPS
15. Addressing time discrepancy between digital and physical twins
16. Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps
17. Building Custom, Extensible, Fast, and Verifiable, Co-Simulations with Maestro2
18. Fault Injecting Co-simulations for Safety
19. Developing a Physical and Digital Twin: An Example Process Model
20. The Effect and Selection of Solution Sequence in Co-Simulation
21. Introduction to Digital Twin Engineering
22. Application of Model-Based Testing to Dynamic Evaluation ofFunctional Mockup Units
23. Maestro: The INTO-CPS co-simulation framework
24. Co-Simulation
25. Semantic adaptation for FMI co-simulation with hierarchical simulators
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.