Compositionality and Reconfiguration for Distributed Hybrid Systems

Submitted by Andre Platzer on Fri, 11/04/2011 - 13:08
  • 0931985
  • Automotive
  • CPS Domains
  • Hybrid Models
  • Composition
  • Semantics
  • Modeling
  • Robotics
  • Transportation
  • Validation and Verification
  • Education
  • Foundations
  • Carnegie Mellon University
  • National CPS PI Meeting 2011
  • Academia
  • Project Abstracts