Abstract: Despite many advances in vehicle automation, much remains to be done: the best autonomous vehicle today still lags behind human drivers, and connected vehicle (V2V) and infrastructure (V2I) standards are only just emerging. In order for such cyber-physical systems to fully realize their potential, they must be capable of exploiting one of the richest and most complex abilities of humans, which we take for granted: seeing and understanding the visual world.

Abstract: Many safety-critical cyber-physical systems rely on advanced sensing capabilities to react to changing environmental conditions. However, cost-effective deployments of such capabilities have remained elusive. Such deployments will require software infrastructure that enables multiple sensor-processing streams to be multiplexed onto a common hardware platform at reasonable cost, as well as tools and methods for validating that required processing rates can be maintained.

Abstract: This poster presents progress of the synergistic framework and algorithms development for a group sensors to collaborate in disaster scenarios. A number of fundamental research results were obtained on scene understanding in a network of visual sensors. These were experimentally evaluated, and datasets and results from these evaluations have been released to the community.

Abstract: Stochastic hybrid systems are a class of stochastic models that incorporates both continuous- and discretestate dynamics. They have wide applications in modeling various processes, such as communication networks [4] and biochemical reactions [6]. In this work, we focus on continuous-time stochastic hybrid systems (CTSHS); specifically, we propose a framework using Metric Interval Temporal Logic (MITL) [1] to describe the systems’ behavior and verifying the MITL formulas via model reduction and sampling.

Abstract:  Recent progress in battery technology has made it possible to use batteries to power various physical platforms, such as ground/air/water vehicles. These platforms require hundreds/thousands of battery cells to meet their power and energy needs. Of these, automobiles, locomotives, and unmanned air vehicles (UAVs) face the most stringent environmental challenges.

Abstract: Commodity operating systems manage time in a best­ effort fashion, where clock synchronization is performed independently of both application demand and resource constraints. The vision of the RoseLine project is to develop a Quality of Time (QoT) stack for Linux that enables developers to write distributed applications that perform computation with a common sense of time.

Abstract: The Cyber-Physical Systems Virtual Organization (CPS-VO) was founded by NSF in 2010 to: (i) facilitate and foster interaction and exchanges among CPS PIs and their teams; (ii) enable sharing of artifacts and knowledge generated by the projects with the broader engineering and scientific communities; and (iii) facilitate and foster collaboration and information exchange between CPS researchers and industry.

Electricity usage of buildings (including offices, malls and residential apartments) represents a significant portion of a nation's energy expenditure and carbon footprint. Buildings are estimated to consume 72% of the total electricity production in the US. Unfortunately, however, 30% of this energy consumption is wasted. Virtual energy assessment is an approach that can optimize building energy efficiency and minimize waste at a low cost with minimal expert intervention.

Abstract: Existing platforms are built with a static network connecting microprocessor, radio, clock system, and other components. This static configuration prevents researchers from experimentally validating the trade-offs between the way that clocks are conditioned and distributed, and the performance of the embedded system. In particular, such design decisions have major impact on time synchronization.