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
Abstract : Physical systems with intelligent behaviors result from inter-actions of different fields: sensor networks, robotics, optimization, reasoning, etc. Rooted in this philosophy of interdisciplinary, this paper makes a connexion between hybrid dynamical systems, interval-based constraint propagation and functional programming. It shows how to build a monadic program in Haskell to control contractors (constraint propagators) for the state estimation of multi-model (hy- brid) dynamical systems, subject to partial and uncertain measurements. The example of system taken here is an elevator that can either be moving upward, downward or stopped. The altitude is measured directly and the estimation problem is simply to track its motion. The purpose of the Haskell library is to offer both a high-level and flexible framework for building propagation strategies based on user knowledge or user requirements.
Document type :
[Research Report] RR-7451, INRIA. 2010, pp.20
Liste complète des métadonnées

Cited literature [14 references]  Display  Hide  Download
Contributor : Rémi Douence <>
Submitted on : Wednesday, November 17, 2010 - 7:55:04 AM
Last modification on : Tuesday, January 16, 2018 - 2:37:28 PM
Document(s) archivé(s) le : Friday, October 26, 2012 - 3:46:48 PM


Files produced by the author(s)


  • HAL Id : inria-00536614, version 1


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



Record views


Files downloads