University of Illinois Urbana-Champaign

file

Design Automation Challenges in Automotive CPS

In principle, best-effort technologies can be used for building each individual automotive cyber-physical system (CPS) from the ground-up, through careful design, testing, and verification. Each such undertaking, however, is technically challenging, error-prone, and expensive. Since many of these systems share common challenges, employ common design patterns, and verification principles, it is expected that generic software tools for automating design, testing, and verification can alleviate these challenges.
file

Foundations of Cyberphysical Systems

A presentation on Foundations of Cyberphysical Systems by P.R. Kumar (University of Illinois, Urbana-Champaign) at the National CPS PI Meeting 2010

file

Mathematical, Computational, and Perceptual Foundations for Interactive Cyber-Physical Systems: Year One

The objective of this research is to create interfaces that enable people with impaired sensory-motor function to control interactive cyber-physical systems such as artificial limbs, wheelchairs, automobiles, and aircraft. The approach is based on the premise that performance can be significantly enhanced merely by warping the perceptual feedback provided to the human user. A systematic way to design this feedback will be developed by addressing a number of underlying mathematical and computational challenges.