Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations.
Muhammad Usman SanwalOsman HasanPublished in: CyPhy (2015)
Keyphrases
- differential equations
- cyber physical systems
- dynamical systems
- difference equations
- runge kutta
- cyber physical
- numerical solution
- ordinary differential equations
- boundary value problem
- numerical methods
- cyber security
- physical world
- image processing
- discrete data
- network security
- information sharing
- software engineering