Model-Enhanced Control for Cyber-Physical Security: Simulation of Model-Based Navigation of an Environment-Coupled Watercraft Under Disrupted Global Positioning Conditions | IEEE Conference Publication | IEEE Xplore