Browse by author
Lookup NU author(s): Dr Sergiy BogomolovORCiD, Professor John FitzgeraldORCiD, Paulius Stankaitis
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Digital Twins are an emerging technology which makes it possible to couple cyber-physical assets with their virtual representation in real-time. The technology is applicable to a variety of domains and facilitates a more intelligent and dependable system design and operation. In this paper, we address the challenge of analysing Digital Twins by proposing a simulation-based reachability analysis of models based on the Functional Mock-Up Interface standard. The analysis approach uses simulations to obtain the Lipschitz constant of the model which is then used to compute reachable states of the system. The approach also provides probabilistic guarantees on the accuracy of the computed reachable sets that are based on simulations of the system from random initial states.
Author(s): Bogomolov S, Fitzgerald J, Soudjani S, Stankaitis P
Editor(s): Margaria, T; Steffen, B
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Year of Conference: 2022
Number of Volumes: 4
Pages: 139-158
Online publication date: 17/10/2022
Acceptance date: 07/05/2022
Publisher: Springer Nature
URL: https://doi.org/10.1007/978-3-031-19762-8_10
DOI: 10.1007/978-3-031-19762-8_10
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
Series Editor(s): Leveraging Applications of Formal Methods, Verification and Validation
ISBN: 9783031197611
