L'interaction de composantes informatiques, qui calculent et communiquent, avec leur environnement régi par des lois physiques, comme pour un avion ou un système médical implanté, est au centre du domaine émergent des systèmes cyber-physiques. Parmi les défis posés par ces systèmes auxquels nous nous intéresserons, l'utilisation croissante d'algorithmes d'intelligence artificielle (réseaux de neurones typiquement), que ce soit pour la perception ou le contrôle.
Maitriser la modélisation, le contrôle et la vérification du comportement de tels systèmes est crucial pour garantir l'efficacité, les fonctionnalités et la fiabilité de ces systèmes, toujours plus complexes et le plus souvent critiques en terme de sécurité ou de coût.
Il est central aux thématiques de la filière Conception des systèmes autonomes intelligents. Il est également naturel dans le parcours Electrical Engineering ou dans les filières The Internet of Everything for a Digitized Society (IOE4DS) ou Algorithms and Foundations of Programming Languages.
Computer-driven control of physical systems is at the center of the emerging field of cyber-physical systems, among which autonomous systems. These systems are most often critical in terms of safety or cost. A challenge is the increasing use of artificial intelligence, whether for perception or control. Mastering the modeling, control and verification of such systems is crucial to guarantee their functionality and reliability. The course aims at both introducing the theoretical background and exploring some practical cases.
- Responsable: Putot Sylvie