Transportation

Workshop on Smart Cities, Arlington, Virginia, December 3-4, 2015

This Workshop will bring together researchers and technical leaders from academia, industry, and municipal government in order to set a short and long-term research agenda for Smart Cities aiming to integrate the three broad fields of Engineering, Computer Science, and Social Science. The Workshop topics cover a variety of fields and specialized disciplines including: transportation, […]

CPS: Synergy: Collaborative Research: Efficient Traffic Management: A Formal Methods Approach

The objective of this project is to develop a formal methods approach to traffic management. Formal methods is an area of computer science that develops efficient techniques for proving the correct operation of systems, such as computer programs and digital circuits, and for designing systems that are correct by construction. This project extends this formalism […]

PFI:BIC A Smart-city Cloud-based Open Platform and Ecosystem (SCOPE)

This NSF Partnerships for Innovation: Building Innovation Capacity (PFI:BIC) project from Boston University will research, prototype, and evaluate novel “smart-city” services for the city of Boston and for the Commonwealth of Massachusetts. The centerpiece of the project is a Smart-city Cloud-based Open Platform and Ecosystem (SCOPE), which creates a multisided marketplace for smart-city services based […]

NeTS: Small: Understanding Communication Strategies for Ad hoc Networks

Ad-hoc networks hold great promise, but there is a vast array of competing proposals for organizing such networks. Unfortunately it is unclear, in general, how to choose among the various proposed designs in any given deployment. In response, this project is asking a fundamental question: how should a collection of nodes decide what basic architecture […]

CPS: Synergy: Data Driven Intelligent Controlled Sensing for Cyber Physical Systems

The goal of this project is to develop the foundations of a control and optimization science base for sensor networks viewed as complex systems operating in an uncertain and potentially adverse environment. The approach taken is a combination of addressing fundamental research issues while maintaining a focus on a specific target application domain, a manufacturing […]