Controlling Contractors with Monads for Hybrid Dynamical Systems

Gilles Chabert 1 Rémi Douence 2
2 ASCOLA - Aspect and composition languages
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne 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 :
Reports
[Research Report] RR-7451, INRIA. 2010, pp.20
Liste complète des métadonnées


https://hal.inria.fr/inria-00536614
Contributor : Rémi Douence <>
Submitted on : Wednesday, November 17, 2010 - 7:55:04 AM
Last modification on : Saturday, September 17, 2016 - 1:36:42 AM
Document(s) archivé(s) le : Friday, October 26, 2012 - 3:46:48 PM

File

RR-7451.pdf
Files produced by the author(s)

Identifiers

  • 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>

Share

Metrics

Record views

392

Document downloads

153