Science of Cyber-Physical System Integration

Abstract:

The tight integration of physical and information processes in CPS necessitates the development of a new systems science, which is simultaneously computational and physical. Dynamics, modeling, feedback, and control are central issues in CPS research. The unique challenges in CPS integration emerge from the heterogeneity of components and interactions. This heterogeneity drives the need for modeling and analyzing cross-­‐domain interactions among physical and computational/ networking domains and demands deep understanding of the effects of heterogeneous abstraction layers in the design flow. To address the challenges of CPS integration, significant progress needs to be made toward a new science and technology foundation that is model based, precise, and predictable. Our proposed framework for a theory of composition in heterogeneous systems focuses on stability. Our work presents a passivity-­‐based design approach that decouples stability from implementation effects caused by networking and computation. In addition, our works introduces cross-­‐domain abstractions that provide effective solutions for model-­‐based fully automated software synthesis and high-­‐fidelity performance analysis. The design objectives demonstrated using these techniques are adaptive cruise and lane keeping control of an automotive vehicle.