These are systems which combine continuous time dynamics with discrete event dynamics.
Research involves design, verification, and simulation of hybrid systems.
We are currently developing the theory and trying to design models to predict the behavior of complex systems. This is joint work with NASA Ames to design models of and control systems for Air Traffic dynamics. This research includes algorithms for automatic resolution of trajectory conflicts between multiple aircraft. In this project we are building a team of UAVs with the goals of studying formation flying, architectures for distributed control, and methods for reliable control over communication links. This research involves analysis of aerodynamic envelope protection, flight mode switching, and non-minimum phase aircraft dynamics.