The Congestion Impacts Reduction via CAV-in-the-loop Lagrangian Energy Smoothing (CIRCLES) project aims to reduce instabilities in traffic flow, called "phantom jams," that cause congestion and wasted energy.

Workshop for Aspiring PIs in Cyber-Physical Systems

On February 18-19, 2014, we will hold a one and a half-day workshop designed for researchers who aspire to participate in NSF's Cyber-Physical Systems (CPS) program.  The workshop is by invitation only, and is open to people with research interests in cyber-physical systems who have not previously been funded by NSF as part of the CPS Program.  The goal of the works

CAREER: Domain-Specific Modeling Techniques for Cyber-Physical Systems

The objective of this research is an injection of new modeling techniques into the area of Cyber-Physical Systems (CPSs). The approach is to design new architectures for domain-specific modeling tools in order to permit feedback from analysis, validation, and verification engines to influence how CPSs are designed.

NSF REU Site: Cognitive and Autonomous Test Vehicle (CATVehicle)

This research experience for undergraduates (REU) engaged in the myriad of applications that are related to autonomous ground vehicles.

NSF I-Corps:A Cost-Limited Home Thermostat (CLD/HT)

With about half of a home’s energy cost resulting from heating, ventilation, and air conditioning (HVAC), choices for the heating and cooling setpoints can have a large impact on monthly expenses.

Modeling of Embedded Human Systems

The objective of this research is to develop abstractions of embedded human systems (i.e., where components are necessarily human and computational) that permit computational analysis and verification of their design.

Command and Control (C2) Wind Tunnel: High-Level Autonomy for Multi-Rotorcraft Experiments

Multiple computational nodes will perform simulations of quad-rotor vehicle control models, allowing evaluation of various human-UAV interaction protocols through the C2WT infrastructure (under development at Vanderbilt).

MultiCore Hardware Experiments in Software Producibility

This work was supported by the Air Force Research Laboratory, under award #FA8750-08-1-0024, titled "MultiCore Hardware Experiments in Software Producibility."

STOMA II: Subspace Techniques for Obfuscating Matrix-based Algorithms

This project was subcontracted through SSCI to ARO, as a Phase 2 STTR. The project is publication restricted, so only the private webpage is available. This work is supported by the Army Research Office, under award #W31P4Q-08-C-0498, titled "Modeling Techniques to Support Matrix-Based Algorithm Obfuscation".

Control of Vehicular Traffic Flow via Low Density Autonomous Vehicles

In the next few decades, autonomous vehicles will become an integral part of the traffic flow on highways. However, they will constitute only a small fraction of all vehicles on the road. This research develops technologies to employ autonomous vehicles already in the stream to improve traffic flow of human-controlled vehicles.