Visible to the public Compositionality and Reconfiguration for Distributed Hybrid Systems

Submitted by Andre Platzer on Fri, 08/06/2010 - 5: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.
License: 
Creative Commons 2.5

Other available formats:

Compositionality and Reconfiguration for Distributed Hybrid Systems