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
Résumé
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
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...