↓ Skip to main content

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Overview of attention for book
Cover of 'Leveraging Applications of Formal Methods, Verification and Validation. Practice'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Engineering of Digital Twins for Cyber-Physical Systems
  3. Altmetric Badge
    Chapter 2 Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems
  4. Altmetric Badge
    Chapter 3 Digital Twins for Organ Preservation Devices
  5. Altmetric Badge
    Chapter 4 Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems
  6. Altmetric Badge
    Chapter 5 Towards Reactive Planning with Digital Twins and Model-Driven Optimization
  7. Altmetric Badge
    Chapter 6 Digital Twin Reconfiguration Using Asset Models
  8. Altmetric Badge
    Chapter 7 Formally Verified Self-adaptation of an Incubator Digital Twin
  9. Altmetric Badge
    Chapter 8 Adaptive Data-driven Predictor of Ship Maneuvering Motion Under Varying Ocean Environments
  10. Altmetric Badge
    Chapter 9 Robust Adaptive Back-Stepping Control Approach Using Quadratic Lyapunov Functions for MMC-Based HVDC Digital Twins
  11. Altmetric Badge
    Chapter 10 Data-Driven Reachability Analysis of Digital Twin FMI Models
  12. Altmetric Badge
    Chapter 11 Towards Secure Digital Twins
  13. Altmetric Badge
    Chapter 12 Digital Thread in Smart Manufacturing
  14. Altmetric Badge
    Chapter 13 Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era
  15. Altmetric Badge
    Chapter 14 Model-Driven Engineering in Digital Thread Platforms: A Practical Use Case and Future Challenges
  16. Altmetric Badge
    Chapter 15 Trust and Security Analyzer for Collaborative Digital Manufacturing Ecosystems
  17. Altmetric Badge
    Chapter 16 DISTiL: DIStributed Industrial Computing Environment for Trustworthy DigiTaL Workflows: A Design Perspective
  18. Altmetric Badge
    Chapter 17 Using Model Selection and Reduction to Develop an Empirical Model to Predict Energy Consumption of a CNC Machine
  19. Altmetric Badge
    Chapter 18 Crazy Nodes: Towards Ultimate Flexibility in Ubiquitous Big Data Stream Engineering, Visualisation, and Analytics, in Smart Factories
  20. Altmetric Badge
    Chapter 19 Formal Methods for Distributed Control Systems of Future Railways
  21. Altmetric Badge
    Chapter 20 Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
  22. Altmetric Badge
    Chapter 21 Future Train Control Systems: Challenges for Dependability Assessment
  23. Altmetric Badge
    Chapter 22 Standardisation Considerations for Autonomous Train Control
  24. Altmetric Badge
    Chapter 23 Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks
  25. Altmetric Badge
    Chapter 24 Safe and Secure Architecture Using Diverse Formal Methods
  26. Altmetric Badge
    Chapter 25 Formal Methods for a Digital Industry
  27. Altmetric Badge
    Chapter 26 Domain-Specificity as Enabler for Global Organization aLignment and Decision
  28. Altmetric Badge
    Chapter 27 Evolving Data Space Technologies: Lessons Learned from an IDS Connector Reference Implementation
  29. Altmetric Badge
    Chapter 28 Towards a Methodology for Formally Analyzing Federated Identity Management Systems
  30. Altmetric Badge
    Chapter 29 Model-Driven Edge Analytics: Practical Use Cases in Smart Manufacturing
Attention for Chapter 6: Digital Twin Reconfiguration Using Asset Models
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
9 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Digital Twin Reconfiguration Using Asset Models
Chapter number 6
Book title
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-19762-8_6
Book ISBNs
978-3-03-119761-1, 978-3-03-119762-8
Authors

Kamburjan, Eduard, Klungre, Vidar Norstein, Schlatte, Rudolf, Tarifa, S. Lizeth Tapia, Cameron, David, Johnsen, Einar Broch

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 9 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 9 100%

Demographic breakdown

Readers by professional status Count As %
Student > Doctoral Student 2 22%
Student > Ph. D. Student 1 11%
Student > Master 1 11%
Student > Bachelor 1 11%
Professor > Associate Professor 1 11%
Other 0 0%
Unknown 3 33%
Readers by discipline Count As %
Computer Science 3 33%
Engineering 2 22%
Unknown 4 44%