The formalization of system engineering models and approaches.
file
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
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 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
Performance monitoring data (e.g., measurements, logs, events) are becoming increasingly accessible and abundant (in terms of cost and availability) in modern distributed complex systems such as computer systems and networks, integrated buildings, industrial systems, transportation networks and power-grids. With efficient exploration of such data, health monitoring, diagnosis and prognosis can be greatly improved beyond the current state-of-the-art.
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.
file
The electric power grid is a complex cyber-physical system (CPS) that forms the lifeline of modern society. Cybersecurity and resiliency of the power grid is of paramount importance to national security and economic well-being. CPS security testbeds are enabling technologies that provide realistic experimental platforms for the evaluation and validation of security technologies within controlled environments, and they also enable the exploration of robust security solutions.
file
The objective of this project is to improve the performance of autonomous systems in dynamic environments by integrating perception, planning paradigms, learning, and databases. For the next generation of autonomous systems to be truly effective in terms of tangible performance improvements (e.g., long-term operations, complex and rapidly changing environments), a new level of intelligence must be attained.
