University of Maryland

file

Visible to the public CPS:Synergy:Collaborative Research:Designing semi-autonomous networks of miniature robots for inspection of bridges & other lar

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.

file

Visible to the public Crowdsourcing Urban Bicycle Level of Service Measures

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.

file

Visible to the public CPS: Medium: Collaborative Research: Remote Imaging of Community Ecology via Animal-borne Wireless Networks

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.

file

Visible to the public Modal Logic and Bisimulation for Generalized Synchronization Trees

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.

file

Visible to the public Model-based Specification Reconstruction

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.

file

Visible to the public Opacity and Structural Resilience in Cyber-Physical Systems

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.