LSHS - Large-scale hybrid systems

The main challenges include developing methods, tools, and algorithms for designing centralized, large-scale distributed, and embedded systems with sensors and actuators, ensuring that these systems are responsive, secure, and reliable.

Our research will focus on:

1. distributed, hybrid, and embedded systems,
2. the Cloud and the Internet of Things.

The main topics covered will include:

• Formal analysis techniques, validation, and certification,
• Modeling and simulation of cyber-physical systems,
• Design of smart sensors and actuators,
• Real-time monitoring and optimization,
• Fault tolerance and optimization,
• Innovative research in the Internet of Things,
• Large-scale data management,
• Hardware reliability and security, with robust designs to prevent vulnerabilities and protect against threats.

Research area coordinators:

Hassen Fourati (Gipsa-lab), Ioana Vatajelu (Tima)