Hybrid and Networked Systems (HyNeSs) Lab

A cyber-physical-systems research group translating requirements expressed in formal logic into controllers with mathematical guarantees on behavior. Current themes include safe and interpretable reinforcement learning, autonomous driving that complies with traffic rules, and coordination of heterogeneous robot teams, with additional applications in synthetic biology.