Hybrid & Networked Systems Group
We are interested in phenomena that occur when continuous dynamics, described by systems of differential equations, are combined with discrete dynamics, modeled as automata or state transition graphs. Such systems are called hybrid, and examples range from man-made systems such as mobile robots, to naturally occurring systems such as biochemical networks, where the continuous dynamics of metabolic processes is regulated by the logic of gene expression. Our approach to the analysis and control of such systems combine concepts and tools from formal methods in computer science and control theory. Our current application areas are robotics and biology.