Representative projects:

• Designed controller for safety-critical systems with measurement and actuation uncertainties, and tested it in both simulations and quadcopter experiments.
• Developed optimization-based techniques for formal safety verification and reachability analysis of controlled systems with Artificial Neural Network components.
• Proposed provable stability conditions for Neural Network Control Systems with dynamics uncertainties.

Representative projects:

• Designed a high-level architecture for autonomous taxiing of aircraft.
• Implemented separate modules for the proposed architecture which includes a path finding algorithm, a taxi-way waypoint generator and a low-level tracking controller.
• Employed falsification techniques to evaluate the performance of the designed controllers.

• Grading for graduate level course: ECE 560 - Linear Systems Theory

• Worked on experimental and simulation study of methanol MILD combustion in boilers, under the supervision of Prof. Jianchun Mi at the Laboratory of Turbulence and Complex Systems.

• Worked on harvesting kinetic energy from human motion and vibrations under the supervision of Prof. Wei-Hsin Liao.