The Cyber-Physical Systems Lab is focused on the design and analysis of cyber-physical systems. This includes embedded and distributed network/control, real-time systems, and high-confidence medical device systems.