Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. ([2018])