Monitoring and control of cyber-physical systems.
file
Our results concern using program-slicing to model software components in a CPS, with applications to verification of aviation software.
file
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
The overarching project goal is to advance the design of opportunistic state-triggered aperiodic controllers for networked cyber-physical systems. This poster considers the problem of opportunistic human-robot collaboration to solve multi-objective optimization problems. We consider scenarios where a human decision maker works with a robot in a supervisory manner in order to find the best Pareto solution to a given optimization problem. The human has a time-invariant function that represents the value she gives to the different outcomes.
file
This Cyber-Physical Systems (CPS) project supports research to enable the automated monitoring of building and infrastructure construction projects. The purpose of construction monitoring is to provide developers, contractors, subcontractors, and tradesmen with the information they need to easily and quickly make project control decisions. These decisions have a direct impact on the overall efficiency of a construction project. Given that construction is a $800 billion industry, gains in efficiency could lead to enormous cost savings, benefiting both the U.S. economy and society.
file
Equipment operation represents one of the most dangerous tasks on a construction sites and accidents related to such operation often result in death and property damage on the construction site and the surrounding area. Such accidents can also cause considerable delays and disruption, and negatively impact the efficiency of operations. This Cyber Physical System (CPS) research project will conduct research to improve the safety and efficiency of cranes by integrating advances in robotics, computer vision, and construction management.
file
This project addresses the foundational problem of knowledge and limits of knowledge within cyber-physical systems (CPS). A single system observes its environment through sensors and interacts through actuators. Neither is perfect. Thus, the CPS's internal view of the world is blurry and its actions are imprecise. CPS are still analyzed with methods that do not distinguish between truth in the world and an internal view thereof, resulting in a mismatch between the behavior of theoretical models and their real-world counterparts.
file
Traffic control management strategies have been largely focused on improving vehicular traffic flows on highways and freeways but arterials have not been used properly and pedestrians are mostly ignored. New urban arterial designs encourage modal shifts which gives further impetus to devise novel traffic control strategies to more quickly respond to changing conditions and salient events, while balancing safety and efficiency for all users.
file
Assistive machines such as robotic arms and powered wheelchairs promote independence and ability in those with severe motor impairments. As the field of assistive robotics progresses rapidly, these devices are becoming more capable and dextrous and as a result, higher dimensional and harder to control. The dimensionality mismatch between high-dimensional robots and low-dimensional control interfaces requires the control space to be partitioned into control modes. For full control of the robot the user switches between these partitions and this is known as mode switching.
