ABSTRACT

Abstract: 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.

Abstract: Shared hardware resources like caches and translation look aside buffers (TLBs) introduce timing unpredictability for real-time systems. We propose techniques to mitigate unpredictabil- ity for multicore systems. The TLB improves the performance of the system by caching the virtual page to physical frame mapping. But TLBs present a source of unpredictability for real-rime systems. Standard heap allocated regions do not provide guarantees on the TLB set that will hold a particular page translation.

Abstract: Hundreds of millions of people travel in vehicles every day around the world. How to improve road safety and efficiency using cyber technologies (such as connected vehicles) is a critical issue in today’s society. We have been working on a NSF cyber physical system (CPS) project that addresses some key challenges in the design and evaluation of cyber transportation systems (CTS), taking into consideration issues related to human-factors.