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