mLAB is a group of electrical, bio-medical, mechanical and computer engineers and scientists who collectively work on problems related to Cyber-Physical Theory and Systems (CPS). CPS is the systematic approach to building the next generation of real-time and embedded systems where the communication and computation are tightly coupled with the underlying physical substrates. We focus on domains spanning Networked CPS, Automotive CPS, Medical Devices Software & Systems and Real-Time Parallel Computing.
mLAB is part of the Penn Research in Embedded Computing and Integrated Systems Engineering PRECISE Center. The PRECISE Center is the point of convergence for several related research efforts by the affiliated faculty in the areas of cyber-physical systems, distributed, real-time, and embedded systems, formal specification and verification, control theory, and trust management.
mLAB coordinates its activities closely with the Real-Time Group to develop methods, tools and systems to facilitate the design and implementation of reliable distributed real-time systems. The current projects include the development of specification and analysis techniques for real-time systems, probabilistic modeling and analysis, schedulability analysis, run-time monitoring and checking, real-time wireless communication and hybrid systems.
mLAB Tour