Compositionality and Reconfiguration for Distributed Hybrid Systems Download pdf Tags: 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 License: CC-2.5 Submitted by Andre Platzer on Fri, 11/04/2011 - 13:08