We conduct research at the board interface of control, dynamical systems, and computation.
Current research involves developing numerical methods for the rigorous analysis and provably correct control of dynamical systems. Such approaches often leverage formal methods from computer science, lead to interesting theoretical and computational problems in applied mathematics (e.g., analysis and design of hybrid dynamical systems), and find engineering applications in control of cyber-physical systems, such as networked robotic systems and electric power systems.
We are part of the Department of Applied Mathematics are physically located in the Mathematics and Computer Building (MC6470).
