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
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
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
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00656543
Contributor : Amélie Cordier <>
Submitted on : Tuesday, January 17, 2012 - 4:08:21 PM
Last modification on : Thursday, June 20, 2019 - 12:04:05 PM
Long-term archiving on : Wednesday, April 18, 2012 - 2:27:04 AM

File

rfia2012_submission_39.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00656543, version 1

Citation

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⟩

Share

Metrics

Record views

813

Files downloads

305