2018

file

Visible to the public Sound Invariant Generation for Continuous and Hybrid Systems

Invariant generation is crucial to the success of rigorous deductive verification tools for cyber-physical system. We develop a dedicated invariant generation toolbox for the KeYmaera X theorem prover which combines many custom invariant generation methods under a unified framework. Additionally, we develop a generalization of the method of barrier certificates (vector barrier certificates), building on R. Bellman's work on vector Lyapunov functions.

file

Visible to the public Smart Wearables with Feedback Control

Recently there is an increasing availability of smart wearables including smart watches, bands, buttons and pendants. Many of these devices are part of human-in-the-loop Cyber Physical Systems (CPS). With future fundamental advances in the intersection of communications, control, and computation for these energy and resource limited devices, there is a great potential to revolutionize many CPS applications.

file

Visible to the public Smart Flexible Camera Sheet- Ultra-thin Semantic-guided Cooperative Micro-camera Array

Abstract: This highly interdisciplinary research addresses two fundamental challenges in image sensing and image understanding: 1) versatile camera systems in a small form factor, and 2) 3-dimensional scene and object recognition from 2-dimensional photos. These fundamental challenges are tackled together by developing a cyber-physical imaging system, called a smart flexible camera sheet, which integrates an array of many micro-cameras (each millimeters in size) onto a thin substrate.

file

Visible to the public Smart and Connected Communities Visioning Workshop

Advances in the effective integration of networked information systems, sensing and communication devices, data sources, decision making, and physical infrastructure are transforming society, allowing cities and communities to surmount deeply interlocking physical, social, behavioral, economic, and infrastructural challenges. These novel sociotechnical approaches enable increased understanding of how to intelligently and effectively design, adapt, and manage Smart and Connected Communities (S&CC).

file

Visible to the public Situational Awareness Strategies for Autonomous Systems in Dynamic Uncertain Environments

Abstract: An event-based communication strategy for navigation using signals of opportunity (SOPs) in a collaborative radio simultaneous and mapping (CoRSLAM) framework is developed. The following problem is considered. Multiple autonomous vehicles (AVs) with access to global navigation satellite system (GNSS) signals are aiding their on-board inertial navigation systems (INSs) with GNSS pseudoranges. While navigating, AV-mounted receivers draw pseudorange measurements on ambient unknown terrestrial SOPs and collaboratively estimate the SOPs' states.