Physical systems and their interactions with embedded digital sub-systems and communication networks are analyzed by representing them in the context of cyber-physical systems (CPS). Related concepts of system control, hybrid dynamical systems and state estimation are presented. The application of the CPS model as a digital twin and approaches for representing the model across it's lifecycle are explored. The specification of functional, behavioral and security requirements for CPS using a model-based systems engineering framework is undertaken. The performance verification with multiphysics models and simulation experiments are conducted. Particular focus will be on the verifying correctness of algorithms that control the CPS and challenges in bridging continuous and discrete event based systems that comprise a CPS.
EECE.5492 Systems, Modeling and Simulation for Digital Eng.