The integration of diversely redundant designs, dynamic system models, and state estimation technology to the cyber security of physical systems | Synapse