An Architectural Approach to Heterogeneous Modeling and Verification of CPS Submitted by Bruce Krogh on Wed, 10/30/2013 - 12:49 CPS Domains Robotics Architectures Design Automation Tools Architectures Control Modeling Hybrid Models Validation and Verification Academia