This website reports on the research activities of the Effective Modeling Group (EMG), which is directed by Professor Walid Taha. The EMG group develops and studies better technologies for supporting model-based development of cyber-physical systems. It is widely anticipated that most future innovations will be in the form of cyber-physical systems, that is, systems where embedded cyber components interact closely and in complex ways with their physical environment. Such systems pose significant challenges when it comes to design, analysis, testing and certification. The EMG group investigates the possibility of addressing these challenges through the novel support for mathematical modeling, rigorous simulation, visualization, and immersive interaction. The methods developed by the group are evaluated in a wide variety of contexts, including bipedal and exoskeleton robotics, vehicle dynamics, advanced driver assistance systems, assisted living devices, and others. A recent talk describes our activities in this area.
