Descriptif
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. Le cours propose une introduction aux fondements théoriques et une mise en application sur des cas d’études pratiques. Il est notamment central à la filière Méthodes formelles et fondements des systèmes cyber-physiques.Objectifs pédagogiques
Introduction aux fondements théoriques et aspects pratiques de la modélisation et vérification des systèmes cyber-physiques. Introduction a la sureté des systèmes autonomes et la fiabilité de l’intelligence artificielle.
36 heures en présentiel
Diplôme(s) concerné(s)
- M2 PDS - Parallel and Distributed Systems
- M1 MPRI - Fondements de l'Informatique
- M1 CPS - Système Cyber Physique
