E. Altman and V. Gaitsgory, Asymptotic Optimization of a Nonlinear Hybrid System Governed by a Markov Decision Process, SIAM Journal on Control and Optimization, vol.35, issue.6, pp.2070-2085, 1997.
DOI : 10.1137/S0363012995279985

A. Balluchi, A. Casagrande, P. Collins, A. Ferrari, T. Villa et al., Ariadne: a Framework for Reachability Analysis of Hybrid Automata, Proceedings of the International Syposium on Mathematical Theory of Networks and Systems, 2006.

G. Chabert and L. Jaulin, Contractor programming, Artificial Intelligence, vol.173, issue.11, pp.1079-1100, 2009.
DOI : 10.1016/j.artint.2009.03.002
URL : https://hal.archives-ouvertes.fr/hal-00428957

G. Chabert, L. Jaulin, and X. Lorca, A Constraint on the Number of Distinct Vectors with Application to Localization, 15th International Conference on Principles and Practice of Constraint Programming, pp.196-210, 2009.
DOI : 10.1109/31.34669
URL : https://hal.archives-ouvertes.fr/hal-00428967

R. L. Grossman, A. Nerode, and A. P. Ravn, Hybrid Systems, LNCS, vol.736, 1993.
DOI : 10.1007/3-540-57318-6

J. Guéguen and H. Zaytoon, On the formal verification of hybrid systems, Control Engineering Practice, vol.12, issue.10, pp.1253-1267, 2004.
DOI : 10.1016/j.conengprac.2004.03.015

G. Hutton and E. Meijer, Monadic parsing in Haskell, Journal of Functional Programming, vol.8, issue.4, pp.437-444, 1998.
DOI : 10.1017/S0956796898003050

L. Jaulin, Interval constraint propagation with application to bounded-error estimation, Automatica, vol.36, issue.10, pp.1547-1552, 2000.
DOI : 10.1016/S0005-1098(00)00068-6
URL : https://hal.archives-ouvertes.fr/hal-00844895

N. S. Nedialkov, K. R. Jackson, and G. F. Corliss, Validated solutions of initial value problems for ordinary differential equations, Applied Mathematics and Computation, vol.105, issue.1, pp.21-68, 1999.
DOI : 10.1016/S0096-3003(98)10083-8

A. Neumaier, Complete Search in Continuous Global Optimization and Constraint Satisfaction, pp.1-99, 2004.

L. P. Simon, P. Jones, and . Wadler, Imperative Functional Programming, POPL '93, pp.71-84, 1993.

N. Ramdani, N. Meslem, and Y. Candau, A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems, IEEE Transactions on Automatic Control, vol.54, issue.10, pp.2352-2364, 2009.
DOI : 10.1109/TAC.2009.2028974
URL : https://hal.archives-ouvertes.fr/hal-00629913

T. Schrijvers, P. Stuckey, and P. Wadler, Monadic constraint programming, Journal of Functional Programming, vol.19, issue.06, pp.663-697, 2009.
DOI : 10.1145/359496.359529

P. Wuille and T. Schrijvers, Monadic Constraint Programming with Gecode, 8th Int. Workshop on Constraint Modelling and Reformulation, pp.171-185, 2009.