Visual identification of structural flaws is quite valuable not only to predict an imminent collapse of a bridge, but also to determine effective precautionary measures and repairs.

Abstract: Cycling communities have been related to lower obesity rates and lower stress levels. Nevertheless, one of the main obstacles to increase ridership in cities is the lack of information regarding perceived cycling safety at the street level. City planners have typically used extensive road network and traffic information to approximate cycling safety levels.

This project features conception, design, and deployment of a wireless network of embedded devices, for monitoring the behavior of animals in the wild.  The system is being deployed and tested in biologically relevant scenarios.

This poster surveys results obtained by the project team in the area of logical characterizations for bisimulation over a general mathematical model for cyber-physical systems (CPSs) called Generalized Synchronization Trees (GSTs). GSTs extend traditional models for discrete-event systems with capabilities for modeling non-discrete behavior, and are intended to serve as a vehicle for giving mathematically well-defined notions of compositions for CPSs. Bisimulation represents a notion of equivalence over GSTs that captures when two GSTs are indistinguishable to an outside observer.

This poster surveys results in the area of specification reconstruction for system models obtained by teams from the University of Maryland and Fraunhofer Center as part of the NSF CPS Frontier program "CyberCardia". The specification-reconstruction problem is this: given a system model, and a template of a property describing a pattern of behavior, determine how to complete the template so that the resulting property holds for all behaviors of the system.

This poster surveys results obtained by the project team in the general area of cybersecurity for Cyberphysical Systems (CPSs). In particular, the team has shown how the notion of opacity, which has been defined and studied in the context of discrete-event systems, may be lifted to linear time-invariant and switched systems. Opacity is concerned with the ability of a system to conceal aspects of its behavior (“secrets”) from a passive adversary who can observe aspects of system dynamics.

Visual identification of structural flaws is quite valuable not only to predict an imminent collapse of a bridge, but also to determine effective precautionary measures and repairs.