Education

Masters of Computer Science

Vanderbilt University May 2006

Nashville, TN

Bachelor of Arts, Computer Science

Wartburg College May, 2004

Bachelor of Arts, Math

Wartburg College May, 2004

Waverly, IA

Research Experience

NSF REU at Augsburg College with Dr. Karen Sutherland. “Robot Modeling of the Cataglyphis Bicolor” Researching object recognition and navigation in desert ants. Summer 2002

NASA-USRP (Undergraduate Student Research Program) with Dr. Michael Frumkin. “Scheduling for Computational Grids” Researching information-gathering techniques and developing schedulers for a grid. Summer 2003

Senior Research Project with Dr. John Zelle- creating and testing a low-cost stereo-viewing autonomous robot. Spring 2004

NASA-USRP with Dr. Michael Frumkin. “Optimizing a Mars Airplane Trajectory.” Researching scheduling of supercomputers and coordination of large systems of interdependent tasks. Summer 2004

Currently a Research Assistant for Dr. Xenofon Koutsoukos (ISIS) researching verification techniques for stochastic hybrid systems.

Current Work

I am currently preparing for my qualifying exam which will be occurring at the end of May. The work I am proposing will extend my previous work in several areas. I will be introducing a Monte Carlo method for calculating reachability probabilities for stochastic hybrid systems. I will also be developing a large glycolysis model using the methods I have already published. Furthermore I will hopefully be collecting experimental results for the biodiesel system to validate the model we have created.

Publications

2008

Derek Riley, Xenofon Koutsoukos, and Kassandra Riley. "Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process". In Hybrid Systems: Computation and Control (HSCC 2008). M. Egerstedt and B. Mishra (Eds.), LNCS 4981, pp. 429–442, 2008.

Xenofon Koutsoukos and Derek Riley. "Computational Methods for Verification of Stochastic Hybrid Systems". IEEE Transactions on Systems, Man and Cybernetics, Part A. 38(2), 385-396, March 2008.

2007

Derek Riley and Xenofon Koutsoukos. "Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems". In Hybrid Systems: Computation and Control (HSCC 2007), Pisa, Italy, April 2007. Accepted as a short paper.

Derek Riley, Xenofon Koutsoukos, and Kasandra Riley, "Verification of Biochemical Processes Using Stochastic Hybrid Systems", 2007 IEEE Multi-conference on Systems and Control Singapore, October 1-3, 2007.

Derek Riley, Xenofon Koutsoukos, and Kasandra Riley, "Reachability Analysis of a Biodiesel Production System Using Stochastic Hybrid Systems". 15th IEEE Mediterranean Conference on Control & Automation (MED'07) Athens, Greece, June 27-29, 2007.

2006

"Computational Methods for Reachability Analysis of Stochastic Hybrid Systems", X. Koutsoukos and D. Riley, Hybrid Systems: Computation and Control (HSCC 2006). LNCS 3927, pp. 377-391, 2006.

"Safety of Stochastic Hybrid Systems Based on Discrete Approximations", Xenfon Koutsoukos, Derek Riley, IEEE Southeastern Symposium on System Theory 2006.

2004

“Optimizing a Mars Airplane Trajectory Using the Application Navigation System”, Michael Frumkin, Derek Riley, Proceedings of the Parallel and Distributed Computing Systems conference: 2004

“Java simulation and robot modeling of the Cataglyphis Bicolor”, Kelly Cannon, Derek Riley, Journal of Computing Sciences in Colleges Volume 19 , Issue 3: 2004

Poster Presentations

"Parallel Methods for Reachability Analysis of Stochastic Hybrid Systems", Derek Riley, Xenofon Koutsoukos, HSCC 2006 Poster Session.

Interests (non-academic)

I enjoy pretty much anything having to do with water and sports including (but not limited to) canoeing, kayaking (flat and whitewater), waterskiing, fishing, swimming, biking into Vanderbilt (when I can), and curling. I also enjoy woodworking and repairing just about anything.

I also have an interest in biofuels, especially biodiesel. I am a member of the Vanderbilt Biodiesel Initiative, which is a group that collects the waste oil on campus and chemically processes it into biodiesel for campus vehicles.