Mathematical Models for Digital Twins in Flexible Discrete Manufacturing | IEEE Conference Publication | IEEE Xplore