Control and dynamical systems, formal methods with applications in autonomy, planning, and system identification. Specification, design, and synthesis of networked control systems.
Huan Xu is jointly appointed in the Institute for Systems Research and the Department of Aerospace Engineering. She received her S.B. degree in mechanical engineering and material science from Harvard University in 2007, M.S. and Ph.D. in mechanical engineering from the California Institute of Technology in 2008 and 2013, respectively. Her doctoral work focused on the use of formal methods and timed specification languages in the design and analysis of large-scale, complex, distributed control systems.