Formal Properties of the Digital Twin – Implications for Learning, optimization, and Control | IEEE Conference Publication | IEEE Xplore