Sign in
Digital-Twin Consistency Checking Based on Observed Timed Events With Unobservable Transitions in Smart Manufacturing.
Moon Gi Seok
Wen Jun Tan
Wentong Cai
Daejin Park
Published in:
IEEE Trans. Ind. Informatics (2023)
Keyphrases
</>
consistency checking
stochastic search
petri net
temporal reasoning
event detection
query answering
manufacturing systems
temporal constraints
dynamic programming
constraint satisfaction problems
multi agent
human activities
qualitative and quantitative
finite state machines
discrete event