Despite their importance within the energy sector, buildings have not kept pace with technological improvements and particularly the evolution of intelligent features. A primary obstacle in enabling intelligent buildings is their highly distributed and diverse nature.
Recent years have seen medical devices go from being monolithic to a collection of integrated systems. Modern medical device systems have thus become a distinct class of cyber-physical systems called Medical Cyber Physical Systems (MCPS), featuring complex and close interaction of sophisticated treatment algorithms with the physical aspects of the system, and especially the patient whose safety is of the utmost concern. The goal of this project is to develop a new paradigm for the design and implementation of safe, secure, and reliable MCPS, which includes:
Telerobotic systems, such as those used in rescue operations, remotely-operated vehicles or the next-generation robotic surgery, human operators interact with robots through a communi- cation network.
Our overarching goal is to develop a framework for design automation of cyber-physical systems that augment human-in-the-loop inference and interaction by complex systems operating at the interface of computation and physical environment.
Fault tolerance is vital to ensuring the integrity and availability of safety critical systems. Current solutions are based almost exclusively on physical redundancy at all levels of the design. The use of physical redundancy, however, dramatically increases system size, complexity, weight, and power consumption.
Multicore platforms have the potential of revolutionizing the capabilities of embedded cyber-physical systems but lack predictability in execution time due to shared resources. Safety-critical systems require such predictability for certification. This research aims at resolving this multicore "predictability problem.'' It will develop methods that enable to share hardware resources to be allocated and provide predictability, including support for real-time operating systems, middleware, and associated analysis tools.
This project focuses on the formal design of semi-autonomous automotive Cyber Physical Systems (CPS). Rather than disconnecting the driver from the vehicle, the goal is to obtain a vehicle where the degree of autonomy is continuously changed in real-time as a function of certified uncertainty ranges in driver behavior and environment reconstruction.
Cerebral Palsy (CP) is the most common motor disorder of central origin in childhood and affects at least 2 children per 1000 live births every year. This project will research new methods and tools in motor/cognitive assessment for small children (5-8 years old) with Cerebral Palsy.
