Nous étudions la fonction d'estimation d'état dans un système discret. Cette fonction d'estimation permet d'alléger la tâche de décision (planification, opération manuelle) dans un système sujet à des aléas divers. Nous présentons un modèle de la fonction d'estimation d'état, ainsi que notre langage à base de contraintes et préférences pour modéliser des stratégies d'estimation. Nous présentons divers problèmes de vérification, dont celui de la présence d'impasses, et différentes manières d'y répondre. Enfin, nous faisons un retour d'expérience sur les tentatives d'application de cet outil sur des systèmes multi-robots, et proposons un lien vers des travaux de conception des opérations.
Lieu : grande salle de réunions dans la coursive du bâtiment R de l'ONERA à Toulouse.
Lien visio : https://rdv.onera.fr/seminaireDTIS