POSTER: 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 2010 National CPS PI Meeting 2015 Poster Academia Posters License: Creative Commons 2.5 Submitted by Andre Platzer on Mon, 09/14/2015 - 12:22