Radio Controlled Car Controller

Graduate Student Mentor: Graham Hemingway

Undergraduates: Jessica Kane, Thao Nguyen

Overview: Using the existing infrastructure for autonomous helicopter flight, students will equip a small radio-controlled car with sensors so that it can localize itself, then write a controller in Simulink to have the car do things such as follow a line autonomously.

Hybrid System Modeling / Fault Diagnosis

Graduate Student Mentor: Wu Jian

Undergraduates: Nathaniel Allotey, Brian Turnbull

Overview: Students will use Simulink/Stateflow to build a model of the three tank system, then design Stateflow controllers and run those on the actual system, and also perform diagnosis experiments.  May also focus on adaptive control if time permits.

Controlling Lego Robots Using a Synchronous-Reactive Model of Computation

Graduate Student Mentor: Ethan Jackson

Undergraduates: Javier Lara, Darren White

Overview: Using the synchronous-reactive model of computation, students will build various controllers for the Lego Mindstorm robots.

Exploring with Lego Robots

Graduate Student Mentor: Daniel Balasubramanian

Undergraduates:  Daniel Limbrick, Emily Sherrill

Overview: Students will use a Max232 to adapt a Lego Mindstorms robot to use bluetooth communication, then using java, will have the robot explore a maze, communicate the layout of the maze back to a computer, then build a controller to allow the robot to be driven from the computer screen.

Security Analysis of Systems using Model-Integrated-Computing

Graduate Student Mentor: Jan Werner

Undergraduates: Paul Henderson, Blake Sheridan

Overview: Students will build a meta-model for modeling a system with nodes and networks and for embedding attack graphs.  They will then build a model interpreter to do analysis on the attack graph.