Real-time physics model-based system verification of state could help to verify data input and control sequence changes