Applications of CPS technologies dealing with automated machines that can take the place of humans in dangerous environments or manufacturing processes, or resemble humans in appearance, behavior, and/or cognition.
file
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.
