Associate Professor, Electrical, Computer, and Systems Engineering
Email: agung@ecse.rpi.edu
Phone: 518-276-6993
Education / Experience
- PhD 2005, University of Twente (The Netherlands)
- Postdoctoral Researcher 2005-2008, University of Pennsylvania (GRASP Lab)
Research Expertise & Interests
control systems, formal methods in safety verification of autonomous control systems, formal methods in controller synthesis
Rotary-Wing/VTOL Application
formal methods in performance assurance of autonomous aerial vehicles, planning and controller synthesis