Synthèse et simulation de contrôleurs à événements discrets avec représentation spatialisée pour l'évaluation et la conception d'automatismes en agriculture de précision.

par Rim Saddem

Projet de thèse en SYAM - Systèmes Automatiques et Micro-Électroniques

Sous la direction de Didier Crestani et de Olivier Naud.

Thèses en préparation à Montpellier , dans le cadre de École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) , en partenariat avec Laboratoire d'Informatique, Robotique et Micro-électronique de Montpellier (laboratoire) et de Département Robotique (equipe de recherche) depuis le 01-10-2015 .


  • Résumé

    Rappel du sujet : Synthèse et simulation de contrôleurs à événements discrets avec représentation spatialisée pour l'évaluation et la conception d'automatismes en agriculture de précision. Première question posée dans ce sujet : Comment vérifier des propriétés sur l'ensemble du parcours contraint d'une grille et des actions à réaliser par le robot ? Nous avons répondu à cette question.

  • Titre traduit

    Synthesis and simulation of discrete event controllers with spatial representation for the evaluation and conception of automatism in precision agriculture.


  • Résumé

    Synthesis and simulation of discrete event controllers with spatial representation for the evaluation and conception of automatism in precision agriculture. First question : How to check property done by a robot in a field ? We answer this question in my first year.