The ability to include models as submodels inside other models.
Science of Integration for Cyber Physical Systems
NSF LARGE Project
Vanderbilt University, University of Maryland, University of Notre Dame
in collaboration with
General Motors Corporation
Kickoff Meeting Agenda
Nov 29-30, 2010
Submitted by Janos Sztipanovits on February 7th, 2011
This research project addresses fundamental challenges in the verification and analysis of distributed hybrid systems. In particular, we are working to minimize the mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics currently supported in analysis.
Submitted by Andre Platzer on August 6th, 2010