A Specification-based State Replication Approach for Digital Twins.

Matthias Eckhart Andreas Ekelhart

Published in: CPS-SPC@CCS (2018)

Keyphrases

state transition
high level
state space
database
artificial intelligence
dynamic programming
user defined
real time
machine learning
genetic algorithm
relational databases
specification language
replicated databases