Hybrid & Networked Systems Group
The research in the HyNeSs group focuses on safety and provable correctness of dynamical systems. We bring together concepts and tools from control theory, formal methods, and machine learning to develop analysis and control strategies. Our applications include robotic systems (manipulators, air and ground vehicles) and biological systems (synthetic biology, pattern formation).