University of Arizona

file

Visible to the public Computationally Aware Cyber-Physical Systems

Abstract:

This poster summarizes our recently awarded grant on computationally aware cyber-physical systems (CPSs). The objective of this project is to generate new fundamental science for CPSs that enables more accurate and faster trajectory synthesis for controllers with nonlinear plants, or nonlinear constraints that encode obstacles. The approach is to utilize hybrid control to switch between models whose accuracy is normalized by their computational burden.

file

Visible to the public CAREER: Domain-Specific Modeling Techniques for Cyber-Physical Systems

Abstract:

The objective of this research is an injection of new modeling techniques into the area of Cyber-Physical Systems (CPSs). The approach is to design new architectures for domain- specific modeling tools in order to permit feedback from analysis, validation, and verification engines to influence how CPSs are designed. This project outlines new research into the integration of existing, heterogeneous modeling languages in order to address problems in CPS design, rather than a single language used to design any CPS.

file

Visible to the public Towards Computational Resources-Aware Control Solutions for Automotive CPS

Automotive cyber-physical systems will need to address self-parking, advanced steering control, hazardous situation recovery, limited autonomous driving, and even more complex tasks in the coming decades. Verification of the safe behavior of these tasks for multiple vehicle configurations (weight, wheelbase, front/rear/all-wheel drive, etc.) will require significant advancements in the computational theory, as well as new approaches to compose behaviors and computational constraints with hybrid control theory and system modeling.