Integrating physics-based prediction with Semantic plan Execution Monitoring | IEEE Conference Publication | IEEE Xplore