Akshay Rajhans
 |
Ph.D. student |
Contact
Office: Porter Hall B21, Office Phone: (412)-268-4721
Mail:
Electrical and Computer Engineering,
Carnegie Mellon University,
5000 Forbes Avenue,
Pittsburgh, PA 15213
Papers
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models,
Alexandre Donze, Bruce Krogh, Akshay Rajhans,
In Proc. Hybrid Systems: Computation and Control 2009.
Talks
Robustness of Temporal Logic Specifications for Testing of Signals, August 2008. (slides)
Specification and Verification Center, School of Computer Science, CMU
Part-I of the two-talk seminar that touched upon some of the contributions of the PhD thesis of Dr. Georgios Fainekos, my former group-mate at Penn and winner of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award.Verification of Systems Using Robust Temporal Logic Testing, August 2008. (slides)
Specification and Verification Center, School of Computer Science, CMU
Part-II of the two-talk seminar that touched upon some of the contributions of the PhD thesis of Dr. Georgios Fainekos, my former group-mate at Penn and winner of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award.
Software
As a part of my masters reaseach work, I developed a Matlab-based toolbox called STRONG toolbox, which is a research tool that implements the ideas from the HSCC ’07 paper by Julius et al. The tool is available here.
Caution: Not very well maintained. I would like to maintain the page and the tool better, but haven’t been doing so of late.
Teaching
Teaching assistant for:
Introduction to Calculus: II (Math 114), Spring 2008, Fall 2007,
University of PennsylvaniaIntroduction to Dynamic Systems (ESE 210), Spring 2007
University of PennsylvaniaIntroduction to Probability (ESE 301), Fall 2006
University of Pennsylvania
Education
M.S.E., Electrical Engineering, University of Pennsylvania, December 2007
B.E. (Hons) (First class with distinction), Electronics and Telecommunication Engineering, University of Pune, May 2003
Outside of work
I currently serve on the executive committee of Maharashtra Mandal - Pittsburgh