Controlling Contractors with Monads for Hybrid Dynamical Systems

Gilles Chabert 1 Rémi Douence 2
2 ASCOLA - Aspect and composition languages
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes Atlantique
Résumé : L'élaboration de sytèmes autonomes est le résultat d'interactions entre différents domaines: réseau de capteurs, robotique, optimisation, raison- nement automatique, etc. Cet article, ancré dans cette philosophie pluridis- ciplinaire, montre une connexion entre les systèmes hybrides dynamiques, la propagation de contraintes sur intervalles et la programmation fonctionnelle. Plus précisément, il montre comment concevoir un programme monadique en Haskell pour contrôler les contracteurs (propagateurs de contraintes) permet- tant l'estimation d'état de systèmes dynamiques multi-modéles (hybrides), su- jets à des mesures partielles et incertaines. L'exemple de système pris ici est un ascenseur qui peut monter, descendre ou être stopé. L'altitude est mesurée directement et le problème d'estimation est simplement de suivre son mouve- ment. L'objectif de la bibliothéque Haskell est d'offrir un cadre à la fois flexible et de haut niveau pour construire des stratégies de propagation basées sur les connaissances ou les pré-requis de l'utilisateur.
Type de document :
Rapport
[Research Report] RR-7451, INRIA. 2010, pp.20
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00536614
Contributeur : Rémi Douence <>
Soumis le : mercredi 17 novembre 2010 - 07:55:04
Dernière modification le : mardi 16 janvier 2018 - 14:37:28
Document(s) archivé(s) le : vendredi 26 octobre 2012 - 15:46:48

Fichier

RR-7451.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00536614, version 1

Citation

Gilles Chabert, Rémi Douence. Controlling Contractors with Monads for Hybrid Dynamical Systems. [Research Report] RR-7451, INRIA. 2010, pp.20. 〈inria-00536614〉

Partager

Métriques

Consultations de la notice

402

Téléchargements de fichiers

155