Posters

file

Visible to the public CAREER- Practical Algorithms and Fundamental Limits for Complex Cyber-Physical Systems

Designing software that can properly and safely interact with the physical world is an important cyber-physical systems design challenge. The proposed work includes the development of a novel approach to designing planning and control algorithms for high-performance cyber physical systems. The new approach was inspired by statistical mechanics and stochastic geometry. It will (i) identify behavior such as phase transitions in cyber-physical systems and (ii) capitalize this behavior in order to design practical algorithms with provable correctness and performance guarantees.

file

Visible to the public Matching Parking Supply to Travel Demand towards Sustainability Poster.pdf

Parking can take up a significant amount of the trip costs (time and money) in urban travel. As such, it can considerably influence travelers' choices of modes, locations, and time of travel. The advent of smart sensors, wireless communications, social media and big data analytics offers a unique opportunity to tap parking's influence on travel to make the transportation system more efficient, cleaner, and more resilient. A cyber-physical social system for parking is proposed to realize parking's potential in achieving the above goals.

file

Visible to the public Parameterizing Cardiac Models for Medical Cyber-physical Systems

This project is a component of a larger effort is to develop the foundations of modeling, synthesis and development of verified medical device software and systems from verified closed-loop models of the device and organ(s). This research spans both implantable medical devices such as cardiac pacemakers and physiological control systems such as drug infusion pumps which have multiple networked medical systems. Here we focus on advancing two aspects of this work: (1) development of patient-specific models and therapies and (2) multi-scale modeling of complex physiological phenomena.

file

Visible to the public CPS Frontiers- Compositional, Approximate, and Quantitative Reasoning for Medical CPSs poster.pdf

The CyberCardia project will lead to significant advances in the state of the art for system verification and cardiac therapies based on the use of formal methods and closed-loop control and verification. The animating vision for the work is to enable the development of a true in silico design methodology for medical devices that can be used to speed the development of new devices and to provide greater assurance that their behavior matches designer intentions, and to pass regulatory muster more quickly so that they can be used on patients needing their care.

file

Visible to the public CAREER- Resilient Design of Networked Infrastructure Systems- Models, Validation, and Synthesis Poster.pdf

This project advances the scientific knowledge on design methods for improving the resilience of civil infrastructures to disruptions. To improve resilience, critical services in civil infrastructure sectors must utilize new diagnostic tools and control algorithms that ensure survivability in the presence of both security attacks and random faults, and also include the models of incentives of human decision makers in the design process.

file

Visible to the public Planning for Autonomous Cars that Leverage Effects on Human Actions

Traditionally, autonomous cars make predictions about other drivers' future trajectories, and plan to stay out of their way. This tends to result in defensive and opaque behaviors. Our key insight is that an autonomous car's actions will actually affect what other cars will do in response, whether the car is aware of it or not. Our thesis is that we can leverage these responses to plan more efficient and

file

Visible to the public Sufficient Statistics for Team Decision Problems

In a team decision problem, a team of agents interacts with a system; each agent receives
a measurement that is probabilistically related to the state of the system; each agent uses its
measurement to choose an action; and the team incurs a cost that is a function of the state of
the system and the actions of the agents; the objective is to design the rules that the agents
use to choose their actions in order to minimize the expected cost. Despite their simplicity,
team decision problems are a fundamental building block of decentralized control, and the

file

Visible to the public CPS- Synergy- Collaborative Research- Threat-Assessment Tools for Management-Coupled Cyber and Physical Infrastructures

Wide-area management of terrestrial scale infrastructures often involves human operators, who are sandwiched between physical-world systems and cyber- assets. These Management Coupled Cyber-Physical Infrastructures (MCCPIs) are subject to diverse threats that can propagate across network elements. In this research effort, a layered network modeling paradigm for MCCPIs is developed, and threats to cyber, physical, and human assets are modeled at several resolutions.

file

Visible to the public Provably-safe interventions for Human-Cyber-Physical Systems

Human interaction with the physical world is increasingly mediated by autonomy, as planes assist pilots, robots assist surgeons, and cars assist drivers. Automation is introduced in such systems to aid humans and guarantee safety and performance. However, such guarantees are hard to provide, since humans may misunderstand the automation's intentions or behave in an unanticipated manner; tragic examples like the crash of Air France flight 447 illustrate that such confusion between pilots and autopilots can lead to catastrophic outcomes.

file

Visible to the public EAGER- SOCIUS- Socially Responsible Smart Cities Poster.pdf

This research is high-risk and high-reward. Failure means that the resulting planning algorithms will make unfair decisions and prioritize a few organizations or donors, or will make fair, but inefficient allocation decisions, which will endanger social justice and community well-being. Success will improve both eciency of resource distribution and the quality of life of underserved populations in the United States.