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