CPS Safety

file

Visible to the public CPS: Synergy: Collaborative Research: Safe and Efficient Cyber-Physical Operation System for Construction Equipment

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

Visible to the public Development of Novel Architectures for Control and Diagnosis of Safety-Critical Complex Cyber-Physical System

The project is developing novel architectures for control and diagnosis of complex cyber--physical systems subject to stringent performance requirements in terms of safety, resilience, and adaptivity. These ever--increasing demands necessitate the use of formal model--based approaches to synthesize provably--correct feedback controllers.

file

Visible to the public CPS- Breakthrough- Development of Novel Architectures for Control and Diagnosis of Safety-Critical Complex Cyber-Physical System

The project is developing novel architectures for control and diagnosis of complex cyber--physical systems subject to stringent performance requirements in terms of safety, resilience, and adaptivity. These ever--increasing demands necessitate the use of formal model--based approaches to synthesize provably--correct feedback controllers.

file

Visible to the public Bringing the Multicore Revolution to Safety-Critical Cyber-Physical Systems

Shared hardware resources like caches and memory introduce timing unpredictability for real-time
systems. Worst-case execution time (WCET) analysis with shared hardware resources is often so pessimistic
that the extra processing capacity of multicore systems is negated. We propose techniques to
improve performance and schedulability for multicore systems.