Hybrid systems are dynamic systems that combine continuous dynamics modeled by differential (or difference) equations and discrete dynamics modeled by finite automata. The continuous dynamics models physical systems and the discrete dynamics represents logical components such as computer software that controls the physical systems (e.g., robots, aircraft, etc). Therefore, hybrid systems can model many complex systems such as robotics, embedded systems, traffic systems, and biological systems. The research topics include:

• Modeling, analysis, and control of deterministic/stochastic hybrid systems
• State estimation of hybrid systems
• Information inference and system identification for hybrid systems
• Reachability analysis and efficient computation for nonlinear/hybrid systems