University of Maryland

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 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 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.