Composition

The ability to include models as submodels inside other models.
project

Visible to the public CPS: Large: Science of Integration for Cyber-Physical Systems

Submitted by Janos.Sztipanovits on Thu, 04/07/2011 - 6:24pm
Project Details
Institution(s): 
Vanderbilt University
Sponsor Award URL: 
http://www.nsf.gov/awardsearch/showAward?AWD_ID=1035655&HistoricalAwards=false

System integration today relies on ad-hoc methods: After all the components have been designed and manufactured, existing integration methods simply aim at 'making it work somehow'. As the complexity of engineered systems continues to increase, our lack of a systematic theory for systems integration creates more and more problems.

file

Visible to the public SoS_CPS-Large_Kickoff-Agenda.pdf

Submitted by Janos.Sztipanovits on Mon, 02/07/2011 - 2:53pm

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
file

Visible to the public Compositionality and Reconfiguration for Distributed Hybrid Systems

Submitted by Andre Platzer on Fri, 08/06/2010 - 6:34pm. Contributors:
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.