Posters (Sessions 8 & 11)
file
This project is a collaborative grant involving the University of Michigan (Award number CNS-1646392) and the University of Illinois at Urbana-Champaign (Award number CNS-1646305).
file
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
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
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
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
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.
