Répondre aux questions "Que faire pour" par synthèse de contrôleur sur des automates temporisés - Application à la gestion de la pêche

Yulong Zhao (1, 2) , Marie-Odile Cordier (1) , Christine Largouët (1, 3)

1 DREAM - Diagnosing, Recommending Actions and Modelling
2 UR - Université de Rennes
3 AGROCAMPUS OUEST

Nous montrons dans cet article comment répondre à des questions de type "Que faire pour éviter telle situation ?" (requête de sûreté) en nous appuyant sur une modélisation qualitative sous forme d'automates temporisés et en utilisant des outils de model-checking. Une approche exploitant la synthèse de contrôleur est comparée à une approche de type "Générer et tester". L'application qui motive ce travail est celle de la gestion d'un écosystème marin et l'élaboration de politiques de gestion de pêche

Mots clés: Modélisation qualitative; automates temporisés; synthèse de contrôleur; model-checking

Domaines: Intelligence artificielle [cs.AI]; Vision par ordinateur et reconnaissance de formes [cs.CV]

Yulong Zhao, Marie-Odile Cordier, Christine Largouët. Répondre aux questions "Que faire pour" par synthèse de contrôleur sur des automates temporisés - Application à la gestion de la pêche. RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. ⟨hal-00656543⟩