The terms denote engineering domains that have high CPS content.
file
This project is developing theoretical foundations and computational algorithms for synthesizing higher-level supervisory and information-acquisition control logic in cyber-physical systems that expend or replenish their resources while interacting with the environment. On the one hand, qualitative requirements capture the safety requirements that are imposed on the system as it operates. On the other hand, quantitative requirements capture resource constraints in the context of energy- aware systems.
file
Visual identification of structural flaws is quite valuable not only to predict an imminent collapse of a bridge, but also to determine effective precautionary measures and repairs.
file
This project is developing tools for traffic management and control using formal methods. By applying techniques such as model-checking and correct-byconstruction synthesis, we ensure that traffic flow satisfies high-level objectives expressed using temporal logics that guarantee desirable behavior such as avoiding congestion, maintaining high throughput, ensuring fairness of ramp metering strategies, and reacting to incidents or unexpected conditions.
file
This project aims to investigate energy and delay sensitive sensing, communication, decision-making and control in the context of cyber physical systems. We particularly focus on systems where sensors with varying accuracy observe heterogeneous source signals that must be processed and communicated and used for inference and decision-making purposes.
file
A challenge for assisting young developmentally-delayed children in learning to walk is to (1) stabilize medio-lateral body sway while promoting opportunities for exploratory behavior, and (2) develop gait that exploits exchange of potential and kinetic energy. To meet the challenge, we have built a modular multi-robot CPS: a scaffold that applies forces at the pelvis via cables to modulate and stabilize center of mass behavior, and a wearable robot that applies assistive torques at the hip.
file
This project advances the scientific knowledge on design methods for improving the resilience of civil infrastructures to disruptions. To improve resilience, critical services in civil infrastructure sectors must utilize new diagnostic tools and control algorithms that ensure survivability in the presence of both security attacks and random faults, and also include the models of incentives of human decision makers in the design process.
file
The recent increase in the variety and usage of wearable sensing systems allows for the continuous monitoring of health and wellness of users. The output of these systems enable individuals to make changes to their personal routines in order to minimize exposures to pollutants and maintain healthy levels of exercise. Furthermore, medical practitioners are using these systems to monitor proper activity levels for rehabilitation purposes and to monitor threatening conditions such as heart arrhythmias.
