COPRIN Publications, years: 2001 to 2012

This publication list is automatically generated from the bibtex files of our activity reports

2012

Thesis

  1. Bennour S. Contribution au Développement d’une Plateforme Robotisée pour la Rééducation Fonctionnelle. Thèse de doctorat, Ecole Nationale d’Ingénieurs de Monastir, Monastir,
  2. Harshe M. Analyse et conception d’un système de rééducation de membres inférieurs reposant sur un robot parallèle à câbles. Thèse de doctorat, Université de Nice, Nice,
  3. Papegay Yves. De la modélisation littérale à la simulation certifiée. Habilitation à diriger des recherches, Université de Nice Sophia-Antipolis, Nice, France, http://tel.archives-ouvertes.fr/tel-00787230,

Journals

  1. Araya Ignacio, Neveu Bertrand, et Trombettoni Gilles. An Interval Extension Based on Occurrence Grouping. Computing, 94(2):173–188, http://hal.inria.fr/hal-00733855, 2012.
  2. Bennour S., Zarrouk N., Dogui M., Romdhane L., et Merlet J-P. Biomechanical model of the ankle to estimate the musculotendinous forces during an isometric plantar flexion. Computer Methods in Biomechanics and Biomedical Engineering, 15(sup 1):167–170, 2012.
  3. Carricato M. et Merlet J-P. Stability analysis of underconstrained cable-driven parallel robots. IEEE Trans. on Robotics, 2012.
  4. Chen Chao, Gayral Thibault, Caro Stéphane, Chablat Damien, Moroz Guillaume, et Abeywardena Sajeeva. A Six Degree of Freedom Epicyclic-Parallel Manipulator. ASME Journal of Mechanisms and Robotics, 4(4):041011, http://hal.inria.fr/hal-00684803, April 2012.

Conferences

  1. Alexandre dit Sandretto Julien, Daney David, et Gouttefarde Marc. Calibration of a fully-constrained parallel cable-driven robot. In Romansy, pages 12–41, Paris, France, http://www-sop.inria.fr/coprin/PDF/a_romansy2012.pdf, June 2012.
  2. Alexandre dit Sandretto Julien, Trombettoni Gilles, et Daney David. Confirmation of hypothesis on cable properties for cable-driven robots. In 4h European Conference on Mechanism Science (Eucomes), pages 85–94, Santander, Spain, http://www-sop.inria.fr/coprin/PDF/a_eucomes2012.pdf, September 2012.
  3. Araya Ignacio, Trombettoni Gilles, et Neveu Bertrand. A Contractor Based on Convex Interval Taylor. In 9th international CPAIOR conference, volume 7298 of LNCS, pages 1–16, Nantes, France, 2012. http://hal.inria.fr/hal-00733848, Springer.
  4. Araya Ignacio, Trombettoni Gilles, Neveu Bertrand, et Chabert Gilles. Upper Bounding in Inner Regions for Global Optimization under Inequality Constraints. In GLOBAL OPTIMIZATION WORKSHOP 2012, pages 25–29, Natal, Brazil, http://hal.inria.fr/hal-00733860, 2012.
  5. Berti A., Merlet J-P., et Carricato M. Solving the direct geometrico-static problem of the 3-3 cable-driven parallel robots by interval analysis: preliminary results. In 1st Int. Conf. on cable-driven parallel robots, pages 251–268, Stuttgart, http://www-sop.inria.fr/coprin/PDF/berti_cableconf_2012.pdf, September 2012.
  6. Blanchet L. et Merlet J-P. Dimensionnement d’un robot à câbles garantissant une contrainte de précision via le calcul par intervalles des paramètres de conception. In Journées Scientifiques Robotique et Automatique, Nantes, France, http://www-sop.inria.fr/coprin/PDF/jra2012-abstract.pdf, October 2012.
  7. Merlet J-P. ANG, a family of multi-mode, low cost walking aid. In IEEE Int. Conf. on Intelligent Robots and Systems (IROS),Workshop Assistance and Service Robotics in a Human Environment, Vilamoura, http://www-sop.inria.fr/coprin/PDF/trans_irosws2012.pdf, October 2012.
  8. Merlet J-P. Comparison of actuation schemes for wire-driven parallel robots. In 4h European Conf. on Mechanism Science (Eucomes), pages 245–254, Santander, http://www-sop.inria.fr/coprin/PDF/eucomes2012.pdf, September 2012.
  9. Merlet J-P. The kinematics of the redundant n-1 wire driven parallel robot. In IEEE Int. Conf. on Robotics and Automation, pages 2313–2318, Saint Paul, http://www-sop.inria.fr/coprin/PDF/icra2012.pdf, May 2012.
  10. Merlet J-P. Managing the redundancy of N-1 wire-driven parallel robots. In ARK, pages 405–412, Innsbruck, http://www-sop.inria.fr/coprin/PDF/ark2012.pdf, June 2012.
  11. Merlet J-P. On the accuracy of n-1 wire-driven parallel robots. In Romansy, pages 1–10, Paris, http://www-sop.inria.fr/coprin/PDF/romansy2012.pdf, June 2012.
  12. Merlet J-P. Unsolved issues in kinematics and redundancy of wire-driven parallel robots. In 1st Int. Conf. on cable-driven parallel robots, Stuttgart, http://www-sop.inria.fr/coprin/PDF/trans_cablecon2012.pdf, September 2012.
  13. Merlet J-P. Wire-driven parallel robots: open issues. In Romansy, Paris, http://www-sop.inria.fr/coprin/PDF/romansy2012-1.pdf, June 2012.
  14. Trombettoni Gilles, Araya Ignacio, Neveu Bertrand, et Chabert Gilles. IbexOpt : un module d’optimisation globale sous contraintes fiable. In 13e congrès annuel de la Société française de Recherche Opérationnelle et d’Aide à la Décision, page 2p, Angers, France, http://hal.inria.fr/hal-00733916, 2012.

Miscellaneous

  1. Alexandre dit Sandretto Julien, Daney David, Gouttefarde Marc, et Baradat Cédric. Calibration of a fully-constrained parallel cable-driven robot. Research Report RR-7879, INRIA, http://hal.inria.fr/hal-00668921, February 2012.
  2. Alexandre dit Sandretto Julien, Trombettoni Gilles, et Daney David. Interval Methods for Model Qualification: Methodology and Advanced Application. Research Report RR-7880, INRIA, http://hal.inria.fr/hal-00668950, February 2012.
  3. Araya Ignacio, Trombettoni Gilles, et Neveu Bertrand. A Contractor Based on Convex Interval Taylor. Research Report RR-7887, INRIA, http://hal.inria.fr/hal-00673447, February 2012.
  4. Bossy Mireille, Maïzi Nadia, et Pourtallier Odile. Modélisation de la valeur carbone, rapport de recherches menées dans le cadre de la convention ademe no 0805 c 0098. Rapport d’etude, CMA- Mines ParisTech/INRIA, August 2012.
  5. Gayral Thibault et Daney David. Experimental calibration of an active space telescope with flexure joints. Research Report RR-8096, INRIA, http://hal.inria.fr/hal-00740272, October 2012.
  6. Papegay Yves. The mosela modeling and simulation environment: The final report. Rapport d’etude, INRIA/Airbus France, December 2012.

2011

Journals

  1. Araya Ignacio, Neveu Bertrand, et Trombettoni Gilles. An Interval Extension based on Occurrence Grouping. Computing, 2012. to appear.
  2. Bennour Sami, Harshe Mandar, Romdhane Lotfi, et Merlet Jean-Pierre. A new experimental set-up based on a parallel cable robot for analysis and control of human motion. Computer Methods in Biomechanics and Biomedical Engineering, 14(sup1):83–85, http://www.tandfonline.com/doi/abs/10.1080/10255842.2011.592372, 2011.
  3. Gouttefarde Marc, Daney David, et Merlet Jean-Pierre. Interval analysis based determination of the wrench-feasible workspace of parallel cable-driven robots. IEEE Trans. on Robotics, 27(1):1–13, http://hal.inria.fr/lirmm-00573491/en, February 2011.
  4. Hladík Milan, Daney David, et Tsigaridas Elias P. An algorithm for addressing the real interval eigenvalue problem. Journal of Computational and Applied Mathematics, 235(8):2715–2730, http://www-sop.inria.fr/coprin/PDF/jcam2011.pdf, 2011.
  5. Hladík Milan, Daney David, et Tsigaridas Elias P. Characterizing and approximating eigenvalue sets of symmetric interval matrices. Computers and Mathematics with Applications, 62:3152–3163, http://www-sop.inria.fr/coprin/PDF/CAMWA6430.pdf, 2011.
  6. Hladík Milan, Daney David, et Tsigaridas Elias P. A filtering method for the interval eigenvalue problem. Applied Mathematics and Computation, 217(12):5236–5242, http://www-sop.inria.fr/coprin/PDF/amc2011.pdf, 2011.

Conferences

  1. Altman Eitan, Pourtallier Odile, Jimenez Tania, et Kameda Hisao. Symmetric games with networking applications. In IEEE Xplore, International Conference on NETwork Games, COntrol and OPtimization, October 2011.
  2. Bennour Sami, Harshe Mandar, Romdhane Lotfi, et Merlet Jean-Pierre. A robotic application for analysis and control of human motion. In 4eme Congrès International Conception et Modélisation des Systèmes Mécaniques CMSM, Sousse, June 30-May 1 2011.
  3. Bennour Sami, Romdhane Lotfi, Merlet Jean-Pierre, et Harshe Mandar. Nouvelle machine robotisé à base d’une plateforme à câbles pour la rééducation fonctionnelle. In 20ème Congrés Francais de Mécanique, Besancon, http://www-sop.inria.fr/coprin/PDF/cfm2011.pdf, August 28-September 2 2011.
  4. Carricato Marco et Merlet Jean-Pierre. Direct geometrico-static problem of under-constrained cable-driven parallel robots with three cables. In IEEE Int. Conf. on Robotics and Automation, pages 3011–3017, Shangai, May 9-13 2011.
  5. Daney David. Robotic services for the elderly improving their autonomy at home. In Robotics for Neurology and Rehabilitation, IEEE/RSJ International Conference on Intelligent Robots and Systems, San Francisco, September 2011.
  6. Harshe Mandar, Merlet Jean-Pierre, Daney David, et Bennour Sami. A multi-sensors system for human motion measurement: Preliminary setup. In The 13th World Congress in Mechanism and Machine Science, Guanajuato, Mexico, http://www-sop.inria.fr/coprin/PDF/wciftomm2011_mandar.pdf, June 2011.
  7. Maïzi Nadia, Bossy Mireille, Pourtallier Odile, et Carmona René. Carbon allowances and electricity prices: a game-theory approach. In ICIAM, International Conference for Industrial and Applied Matematics, Vancouver, Canada, July 18-22 2011.
  8. Merlet Jean-Pierre. Activities of the inria project-team coprin in at-home assistance. In European Robotics Forum, Vasteras, http://www-sop.inria.fr/coprin/PDF/workshop_euron_2011.pdf, April 6-8 2011.
  9. Merlet Jean-Pierre. Mechanism science and assistance to elderly. In 4eme Congrès International Conception et Modélisation des Systèmes Mécaniques CMSM, Sousse, http://www-sop.inria.fr/coprin/PDF/trans_cmsm_2011.pdf, May 30-June 1 2011.
  10. Merlet Jean-Pierre et al. Siropa: singularités des robots parallèles. In Colloque ANR, Paris, January 11-12 2011.
  11. Papegay Yves. A formal approach for modeling and simulation. In Wolfram Technology Conference, Champaign, Illinois, USA, http://www-sop.inria.fr/coprin/PDF/WTC2011_YP.pdf, 2011.
  12. Trombettoni Gilles, Araya Ignacio, Neveu Bertrand, et Chabert Gilles. Inner Regions and Interval Linearizations for Global Optimization. In Proc of AAAI 2011, pages 99–104, 2011.
  13. Trombettoni Gilles, Araya Ignacio, Neveu Bertrand, et Chabert Gilles. Inner Regions and Interval Linearizations for Global Optimization. In Abstract at SWIM, WS on Interval Methods, 2011.
  14. Trombettoni Gilles, Araya Ignacio, Neveu Bertrand, et Chabert Gilles. Régions intérieures et linéarisations par intervalles en optimisation globale. In Proc. JFPC, journées francophones de programmation par contraintes, pages 299–306, 2011.

Miscellaneous

  1. Araya Ignacio, Neveu Bertrand, et Trombettoni Gilles. An Interval Extension based on Occurrence Grouping: Method and Properties. Rapport de Recherche 7806, INRIA, http://hal.inria.fr/hal-00642819/fr/, November 2011.
  2. Daney David, Hladík Milan, et Tsigaridas Elias P. Characterizing and approximating eigenvalue sets of symmetric interval matrices. Research Report RR-7544, INRIA, http://hal.inria.fr/inria-00567385/en, February 2011.

2010

Book chapters

  1. Riff M-C., Montero E., et Neveu Bertrand. C-Strategy: A Dynamic Adaptive Strategy for the CLONALG Algorithm. In Gavrilova M. L. et Tan C.J.K., editors, Transactions on Computational Science VIII, volume 6260 of Lecture Notes in Computer Science, pages 41–55. Springer, 2010.

Thesis

  1. Araya Ignacio. Exploiting Common Subexpressions and Monotonicity of Functions for Filtering Algorithms over Intervals. Thèse de doctorat, University of Nice–Sophia,
  2. Hubert J. Singularités et manipulateurs parallèles. Thèse de doctorat, Ecole des Mines de Paris,

Journals

  1. Harada K., Oetomo D., Susilo E., Menciassi A., Daney D., Merlet J-P., et Dario P. A reconfigurable modular robotic endoluminal surgical system: Vision and preliminary results. Robotica, 28(2):171–183, http://dx.doi.org/10.1017/S0263574709990610, 2010.
  2. Hladík M., Daney D., Tsigaridas E., et Elis P. Bounds on real eigenvalues and singular values of interval matrices. SIAM Journal of Matrix Analysis and Applications, 31(4):2116–2129, http://www-sop.inria.fr/coprin/PDF/siam2010.pdf, 2010.
  3. Neveu Bertrand, Trombettoni Gilles, et Chabert Gilles. Improving inter-block backtracking with interval newton. Constraints, 15(1):93–116, http://hal.inria.fr/hal-00481324, 2010.

Conferences

  1. Araya Ignacio, Neveu Bertrand, et Trombettoni Gilles. An Interval Extension Based on Occurrence Grouping. In Abstract at SCAN, Int. Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Lyon, France, 2010.
  2. Araya Ignacio, Neveu Bertrand, et Trombettoni Gilles. Exploitation de la monotonie des fonctions dans la propagation de contraintes sur intervalles. In JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, pages 23–31, Caen, France, http://hal.inria.fr/inria-00520371, Jun 2010.
  3. Araya Ignacio, Neveu Bertrand, et Trombettoni Gilles. Une nouvelle extension de fonctions aux intervalles basée sur le groupement d’occurrences. In JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, pages 13–22, Caen, France, http://hal.inria.fr/inria-00520373, Jun 2010.
  4. Araya Ignacio, Neveu Bertrand, et Trombettoni Gilles. Une nouvelle extension de fonctions aux intervalles basée sur le regroupement d’occurrences. In Proc. JFPC, journées francophones de programmation par contraintes, pages 13–22, Caen, 2010.
  5. Araya Ignacio, Trombettoni Gilles, et Neveu Bertrand. Exploiting Monotonicity in Interval Constraint Propagation. In Proc. AAAI, pages 9–14, Atlanta, 2010. AAAI Press.
  6. Araya Ignacio, Trombettoni Gilles, et Neveu Bertrand. Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity. In Proc. CP, Constraint Programming, number 6308 in LNCS, pages 61–68, St Andrews, 2010. Springer.
  7. Araya Ignacio, Trombettoni Gilles, et Neveu Bertrand. Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity. In Abstract at SWIM, WS on Interval Methods, Nantes, 2010.
  8. Carricato M. et Merlet J-P. Geometrico-static Analysis of Under-constrained Cable-driven Parallel Robots. In ARK, Piran, http://www-sop.inria.fr/coprin/PDF/ark_carricato_2010.pdf, 28 June-1 July 2010.
  9. Daney D. Int4sci: Scilab interface for interval analyis. In Proceedings of the 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN’2010), Lyon, France, September 2010. Invited Talk.
  10. Merlet J-P. Managing uncertainties in kinematics. In SIAM 2010 Annual Meeting, Pittsburgh, 12-16 July 2010. Invited talk.
  11. Merlet J-P. Managing uncertainties in robotics with interval analysis. In Ninth International Workshop on the Algorithmic Foundations of Robotics (WAFR), Singapore, 13-15 December 2010. Invited talk.
  12. Merlet J-P. MARIONET, a family of modular wire-driven parallel robots. In ARK, pages 53–62, Piran, http://www-sop.inria.fr/coprin/PDF/ark2010.pdf, 28 June-1 July 2010.
  13. Merlet J-P. Preliminary design of ANG, a low-cost automated walker for elderly. In 3rd European Conf. on Mechanism Science (Eucomes), pages 529–536, Cluj-Napoca, http://www-sop.inria.fr/coprin/PDF/eucomes_2010.pdf, 14-17 September 2010.
  14. Merlet J-P. et Daney D. A portable, modular parallel wire crane for rescue operations. In IEEE Int. Conf. on Robotics and Automation, pages 2834–2839, Anchorage, http://www-sop.inria.fr/coprin/PDF/icra2010.pdf, 3-8 May 2010.
  15. Papegay Y. An application of modelling and simulation tools to elections. In 10th International Mathematica Symposium, Beijing, China, http://www-sop.inria.fr/coprin/PDF/IMS2010_YP.pdf, 2010.
  16. Papegay Y. Garantir le calcul numérique malgré les incertitudes. In Conférence Mathematica Paris 2010, http://www-sop.inria.fr/coprin/PDF/MParis2010_YP.pdf, Juin 2010.
  17. Papegay Y. Modeling and simulation of french elections. In Wolfram Technology Conference, Champaign, Illinois, USA, http://www-sop.inria.fr/coprin/PDF/WTC20102010_YP.pdf, 2010.
  18. Papegay Y. et Farenc L. Mosela - modelling and simulation environment. In Conférence Mathematica Paris 2010, Juin 2010.
  19. Trombettoni Gilles, Papegay Y., Chabert Gilles, et Pourtallier O. A Box-Consistency Contractor Based on Extremal Functions. In Proc. CP, Constraint Programming, LNCS 6308, pages 491–498, St Andrews, 2010. http://www-sop.inria.fr/coprin/PDF/CP2010_YP.pdf, Springer.

Miscellaneous

  1. Trombettoni Gilles. Introduction aux méthodes à intervalles pour la résolution de systèmes d’équations non linéaires. Journées Nationales du GDR Informatique Mathématique, janvier 2010.

2009

Books

  1. Papegay Y., editor. IMS Special Issue, volume 11-2 of The Mathematica Journal. Wolfram Media, 2009.

Thesis

  1. Trombettoni G. Résolution de systèmes d’équations : l’essor de la programmation par contraintes sur intervalles. Habilitation à diriger des recherches, Université de Nice-Sophia Antipolis,

Journals

  1. Davidau O., Bossy M., Maizi N., et Pourtallier O. Valuing CO2 Emission Allowances with Stochastic Control. ERCIM News, (78), 2009.
  2. Harada K., Oetomo D., Susilo E., Menciassi A., Daney D., Merlet J-P., et Dario P. A Reconfigurable Modular Robotic Endoluminal Surgical System. Robotica, Special Issue on Surgical Robots, 2009. to appear.
  3. Hubert J. et Merlet J-P. Static of Parallel Manipulators and Closeness to Singularity. ASME Journal of Mechanisms and Robotics, 1(1), February 2009.
  4. Merlet J-P. Interval Analysis and Reliability in Robotics. International Journal of Reliability and Safety, 3:104–130, 2009.
  5. Merlet J-P. Interval Analysis for Certified Numerical Solution of Problems in Robotics. Int. J. of Applied Mathematics and Computer Science, 19(3):399–412, September 2009.
  6. Meslem N., Ramdani N., et Candau Y. Approximation garantie de l’espace d’état atteignable des systèmes dynamiques continus incertains. Journal Européen des Systèmes Automatisés (JESA), 43(6):587–612, 2009.
  7. Meslem N., Ramdani N., et Candau Y. Guaranteed Parameter Set Estimation with Monotone Dynamical Systems Using Hybrid Automata. Reliable Computing, 2009. to appear.
  8. Neveu B., Trombettoni G., et Chabert G. Improving Inter-Block Backtracking with Interval Newton. Constraints, http://www-sop.inria.fr/coprin/PDF/ibb-constraints.pdf, 2009. to appear.
  9. Oetomo D., Daney D., et Merlet J-P. Design Strategy of Serial Manipulators With Certified Constraint Satisfaction. IEEE Trans. on Robotics, 25(1):1–11, 2009.
  10. Oetomo D., Daney D., Shirinzadeh B., et Merlet J-P. An Interval-Based Method for Workspace Analysis of Planar Flexure-Jointed Mechanism. ASME J. of Mechanical Design, 131(1), http://www-sop.inria.fr/coprin/PDF/jmd2009.pdf, January 2009.
  11. Pagès G., Ramdani N., Fraisse P., et D.Guiraud . A Method for Paraplegic Upper-body Posture Estimation during Standing: a Pilot Study for Rehabilitation Purposes. Medical & Biological Engineering & Computing, 47(6):625–633, 2009.
  12. Raïssi T., Ramdani N., et Candau Y. Set Membership Parameter Estimation in the Frequency Domain. International Journal of Control, Automation, and Systems, 7(5):824–834, 2009.
  13. Ramdani N., Meslem N., et Candau Y. A Hybrid Bounding Method for Computing an Over-approximation for the Reachable Space of Uncertain Nonlinear Systems. IEEE Transactions on Automatic Control, 54(10):2352–2364, 2009.
  14. Ramdani N., Meslem N., et Candau Y. Computing Reachable Sets for Uncertain Nonlinear Monotone Systems. Nonlinear Analysis : Hybrid Systems, 2009. to appear.
  15. Riff M.-C., Bonnaire X., et Neveu B. A Revision of Recent Approaches for Two Dimensional Strip-Packing Problems. Engineering Applications of Artificial Intelligence, 22(4-5):823–827, http://www-sop.inria.fr/coprin/PDF/riffbonnaireneveu09.pdf, 2009.

Conferences

  1. Araya I., Neveu B., et Trombettoni G. A New Monotonicity-Based Interval Extension Using Occurrence Grouping. In Proc. of IntCP’09 workshop, pages 51–64, Lisbon, Portugal, http://www-sop.inria.fr/coprin/PDF/occgp.pdf, 2009.
  2. Araya I., Neveu B., et Trombettoni G. An Interval Constraint Propagation Algorithm Exploiting Monotonicity. In Proc. of IntCP’09 workshop, pages 65–83, Lisbon, Portugal, http://www-sop.inria.fr/coprin/PDF/mohc-intcp.pdf, 2009.
  3. Araya I., Neveu B., et Trombettoni G. Introduction of Auxiliary Variables into an Interval Function for Improving its Monotonicity-based Image Computation. In SmallWorkshop on Interval Methods (SWIM’09), Lausanne, Switzerland, 2009.
  4. Araya I., Neveu B., et Trombettoni G. Monotonic Hull Consistency: A new Interval Constraint Propagation Algorithm Exploiting Monotonicity. In SmallWorkshop on Interval Methods (SWIM’09), Lausanne, Switzerland, 2009.
  5. Araya I., Trombettoni G., et Neveu B. Filtering Numerical CSPs Using Well-Constrained Subsystems. In Principles and Practice of Constraint Programming CP 2009, number 5732 in LNCS, pages 158–172, Lisbon, Portugal, 2009. http://www-sop.inria.fr/coprin/PDF/boxk-cp09.pdf, Springer.
  6. Araya I., Trombettoni G., et Neveu B. Utilisation de systèmes bien contraints pour le filtrage de CSP numériques. In Actes des Journées Francophones de Programmation par Contraintes JFPC 2009, pages 335–344, Orléans, France, http://www-sop.inria.fr/coprin/PDF/araya-jfpc09.pdf, 2009.
  7. Bennour S., Romdhane L., et Merlet J-P. Application robotique pour la rééducation fonctionnelle de la cheville. In Congrès Français de Mécanique, Marseille, France, August 2009.
  8. Bennour S., Romdhane L., et Merlet J-P. Contrôle du membre inférieur pour un mouvement de la marche. In Conception et Modélisation de Systèmes Mécaniques (CMSM’09), Hammamet, Tunisia, March 2009.
  9. Bonnet V., Bardy B.G., Fraisse P., Ramdani N., Lagarde J., et Ramdani S. A Closed-loop Controller to Model Postural Coordination. In International Conference on Perception and Action (ICPA), July 12-17, Studies in Perception & Action, Minneapolis, MN, USA, 2009.
  10. Bonnet V., Fraisse P., Ramdani N., Lagarde J., Ramdani S., et Bardy B.G. A Closed Loop Musculoskeletal Model of Postural Coordination Dynamics. In 48th IEEE Conference on Decision and Control, Shanghai, China, 2009.
  11. Bonnet V., Fraisse P., Ramdani N., Lagarde J., Ramdani S., et Bardy B.G. A Closed-loop Musculoskeletal Model of Postural Coordination Dynamics. In 7th Progress in Motor Control 2009, July 23-25, Marseille, France, 2009.
  12. Bonnet V., Fraisse P., Ramdani N., Lagarde J., Ramdani S., et Bardy B.G. A Robotic Closed-loop Scheme to Model Human Postural Coordination. In IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, pages 2525–2530, St Louis, MO, USA, 2009.
  13. Davidau O., Bossy M., Maizi N., et Pourtallier O. Indifference Prices for CO2 Emission Allowances. In EURO 2009, Bonn, Germany, July 2009.
  14. Hladik M., Daney D., et Tsigaridas E.P. Bounds on Eigenvalues of Symmetric Interval Matrices. In SmallWorkshop on Interval Methods (SWIM’09), Lausanne, Switzerland, 2009.
  15. Lengagne S., Ramdani N., et Fraisse P. Planning and Fast Re-Planning of Safe Motions for Humanoid Robots: Application to a Kicking Motion. In IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, pages 441–446, St Louis, MO, USA, 2009.
  16. Lengagne S., Ramdani N., et Fraisse P. Safe Motion Planning Computation for Databasing Balanced Movement of Humanoid Robots. In IEEE Int. Conf. on Robotics and Automation (ICRA), pages 1669–1674, Kobe, Japan, May 2009.
  17. Merlet J-P. Kinematic Analysis of a Spatial Four-wire Driven Parallel Crane without Constraining Mechanism. In Computational Kinematics, pages 1–8, Duisburg, Germany, http://www-sop.inria.fr/coprin/PDF/ck2099.pdf, May 2009.
  18. Meslem N., Ramdani N., et Candau Y. Hybrid Modeling for Set-membership State Estimation with UncertainNonlinear Continuous-time Systems. In Filipe J., Andrade-Cetto J., et Ferrier J-L., editors, Informatics in Control, Automation and Robotics, ICINCO 2008, volume 37 part 4 of LNEE, pages 255–266. Springer, 2009.
  19. Oetomo D., Daney D., Harada K., Merlet J-P., et Dario P. Topology Design of Surgical Reconfigurable Robots by Interval Analysis. In IEEE Int. Conf. on Robotics and Automation (ICRA), pages 3085–3090, Kobe, Japan, http://www-sop.inria.fr/coprin/PDF/icra2009.pdf, May 2009.
  20. Papegay Y. Delegating Computations to C Code. In International Mathematica User Conference, Champaign, Illinois, USA, http://www-sop.inria.fr/coprin/PDF/IMUC09_YP.pdf, October 2009.
  21. Ramdani N. et Nedialkov N.S. Computing Reachable Sets for Uncertain Nonlinear Hybrid Systems using Interval Constraint Propagation Techniques. In 3rd IFAC ADHS 09 Analysis and Design of Hybrid Systems, pages 156–161, Zaragoza, Spain, September 2009.
  22. Trombettoni G. Méthodes par intervalles pour la résolution de systèmes d’équations non linéaires. In Rencontres Arithmétique de l’Informatique Mathématique (RAIM’09), Lyon,France, 2009.
  23. Varoqui D., Bonnet V., Froger J., Pélissier J.-Y., Fraisse P., Ramdani N., et Bardy B.G. Ankle-hip Coordination during Supra-postural Tracking by Stroke Patients. In 7th Progress in Motor Control, Marseille, France, July 23-25, 2009.

Miscellaneous

  1. Hladik M., Daney D., et Tsigaridas E.P. A Filtering Method for the Interval Eigenvalue Problem. Research Report 7057, INRIA, http://hal.inria.fr/inria-00422966/en/, October 2009.
  2. Hladik M., Daney D., et Tsigaridas E.P. Bounds on eigenvalues and singular values of interval matrices. Research report, INRIA, http://hal.inria.fr/inria-00370603/en/, March 2009.
  3. Nedialkov N.S. et Ramdani N. Towards Integrating Hybrid DAEs with a High-Index DAE Solver. Research Report 6384, INRIA, February 2009.

2008

Book chapters

  1. Araya I., Neveu B., et Riff M-C. An Efficient Hyperheuristic for Strip Packing Problems. In Cotta C., Sevaux M., et Sörensen K., editors, Adaptive and Multilevel Metaheuristics, volume 136 of Studies on Computational Intelligence, pages 71–76. Springer, 2008.
  2. Merlet J-P. et Daney D. Smart Devices and Machines for Advanced Manufacturing, chapter 1, pages 1–25. Springer, March 2008.
  3. Merlet J-P. et Gosselin C. Handbook of Robotics, chapter Parallel Mechanisms and Robots, pages 269–285. Springer, Heidelberg, 2008.

Journals

  1. Bastogne T., Mézières-Wantz S., Ramdani N., Vallois P., et Barberi-Heyob M. Identification of Pharmacokinetics Models in the presence of Timing Noise. European Journal of Control, 14(2), 2008.
  2. Kameda H., Altman E., et Pourtallier O. A Mixed Optimum in Symmetric Distributed Computer Systems. IEEE Trans. on Automatic Control, 53(2), 2008.
  3. Merlet J-P. Interval Analysis and Reliability in Robotics. International Journal of Reliability and Safety, 2009. to appear.
  4. Meslem N., Ramdani N., et Candau Y. Méthodes intervalles pour le calcul de l’espace atteignable des systèmes dynamiques continus incertains. APII-JESA, 2009. to appear.
  5. Neveu B., Trombettoni G., Araya I., et Riff M.-C. A Strip Packing Solving Method Using an Incremental Move based on Maximal Holes. International Journal on Artificial Intelligence Tools, 17(5):881–901, 2008.
  6. Oetomo D., Daney D., et Merlet J-P. Design Strategy of Serial Manipulators With Certified Constraint Satisfaction. IEEE Trans. on Robotics, 24(6), 2008.
  7. Oetomo D., Daney D., Shirinzadeh B., et Merlet J-P. Workspace Analysis of Micro/Nano Precision Flexure Mechanism. ASME J. of Mechanical Design, 2009. to appear.
  8. Riff M.-C., Bonnaire X., et Neveu B. A Revision of Recent Approaches for Two Dimensional Strip-Packing Problems. Engineering Applications of Artificial Intelligence, 2009. to appear.

Conferences

  1. Araya I., B.Neveu , et Trombettoni G. Exploiter les sous-expressions communes dans les CSP numériques. In Actes des journées JFPC 2008, Nantes, France, 2008.
  2. Araya I., Neveu B., et Trombettoni G. Exploiting Common Subexpressions in Numerical CSPs. In Principles and Practice of Constraint Programming CP 2008, number 5202 in LNCS, pages 342–357, Sydney, Australia, 2008. Springer.
  3. Bonnet V., Fraisse P., Ramdani N., Lagarde J., Ramdani S., et Bardy B. Modeling postural coordination dynamics using a closed-loop controller. In Proc. of IEEE International Conference on Humanoid Robots, Humanoids 2008, Daejeon, South Korea, 2008.
  4. Bonnet V., Lagarde J., Fraisse P., Ramdani N., Ramdani S., et Bardy B. Understanding Bistable Human Postural Coordination Dynamics to Guide Bio-inspired Control of Humanoids. In the 38th annual meeting of the Society for Neuroscience, Washington, DC, USA, 2008.
  5. Gouttefarde M., Krut S., Company O., Pierrot F., et Ramdani N. On the Design of Fully Constrained Parallel Cable-driven Robots. In Advances in Robot Kinematics: Analysis and Design, pages 71–78, 2008.
  6. Hubert J. et Merlet J-P. Singularity Analysis through Static Analysis. In ARK, pages 13–20, Batz-sur-mer, France, http://www-sop.inria.fr/coprin/PDF/ark2008.pdf, 2008.
  7. Krut S., Ramdani N., Gouttefarde M., Company O., et Pierrot F. A Parallel Cable-Driven Crane for Scara-Motions. In Proc. of ASME International Design Engineering Technical Conferences (IDETC), New York, NY, USA, 2008.
  8. Lengagne S., Ramdani N., et Fraisse P. Méthode pour la planification de trajectoires garanties. In Proc. of Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes, Metz, France, 2008.
  9. Lengagne S., Ramdani N., et Fraisse P. A new method for generating safe motions for humanoid robots. In Proc. of IEEE International Conference on Humanoid Robots, Humanoids 2008, Daejeon, South Korea, 2008.
  10. Merlet J-P. Influence of Uncertainties on Ultrasonic Localization Systems. In Small Workshop on Interval Methods (SWIM), Montpellier, France, 2008.
  11. Merlet J-P. Kinematics of the Wire-driven Parallel Robot MARIONET using Linear Actuators. In IEEE Int. Conf. on Robotics and Automation, Pasadena,CA,USA, http://www-sop.inria.fr/coprin/PDF/icra2008.pdf, 2008.
  12. Meslem N., Ramdani N., et Candau Y. Approximation conservative de l’espace d’état atteignable des systèmes dynamiques monotones par analyse par intervalles et hybridation. In Proc. of CIFA, Bucharest, Romania, 2008.
  13. Meslem N., Ramdani N., et Candau Y. Guaranteed State Bounding Estimation for Uncertain Non Linear Continuous Systems using Hybrid Automata. In Proc. of IFAC International Conference on Informatics in Control, Automation & Robotics, Funchal, Madeira, Portugal, 2008.
  14. Meslem N., Ramdani N., et Candau Y. Interval Observers for Uncertain Nonlinear Systems. Application to bioreactors. In Proc. of the 17th World Congress IFAC, pages 9667–9672, Seoul, South Korea, 2008.
  15. Neveu B. et Trombettoni G. Strip Packing Based on Local Search and a Randomized Best-Fit. In Proc. of First Workshop on Bin Packing and Placement Constraints BPPC’08, Paris, France, 2008.
  16. Oetomo D., Daney D., Shirinzadeh B., et Merlet J-P. Certified Workspace Analysis of 3RRR Planar Parallel Flexure Mechanism. In IEEE Int. Conf. on Robotics and Automation, pages 3838–3843, Pasadena,CA,USA, http://www-sop.inria.fr/coprin/PDF/icra2008.2.pdf, 2008.
  17. Papegay Y. Certified Computations with UnCertainties‘. In Mathematica User Conference, Champaign, Illinois, USA, http://www-sop.inria.fr/coprin/PDF/IMUC08_YP.pdf, 2008.
  18. Papegay Y. et Daney D. Uncertainties, a package for interval analysis. In 9th International Mathematica Symposium, Maastricht, The Netherlands, http://www-sop.inria.fr/coprin/PDF/IMS2008a_YP.pdf, 2008.
  19. Papegay Y. et Pourtallier O. Exploring routing strategies for a virtual yacht race. In 9th International Mathematica Symposium, Maastricht, The Netherlands, 2008.
  20. Ramdani N., Gouttefarde M., Pierrot F., et Merlet J.-P. First Results on the Design of High Speed Parallel Robots in Presence of Uncertainty. In Proc. of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 2410–2415, Nice, France, 2008.
  21. Ramdani N., Meslem N., et Candau Y. Reachability Analysis of Uncertain Nonlinear Systems using Guaranteed Set Integration. In Proc. of the 17th World Congress IFAC, pages 8972–8977, Seoul, South Korea, 2008.
  22. Ramdani N., Meslem N., et Candau Y. Reachability of Uncertain Nonlinear Systems using a Nonlinear Hybridization. In HSCC, volume 4981 of LNCS, pages 415–428. Springer, 2008.
  23. Ramdani N. et Papegay Y. Guaranteed Numerical Integration of Nonlinear Parametric ODEs. In 9th International Mathematica Symposium, Maastricht, The Netherlands, http://www-sop.inria.fr/coprin/PDF/IMS2008c_YP.pdf, 2008.
  24. Ramdani N. et Papegay Y. Guaranteed Numerical Integration of Nonlinear Parametric ODEs. In 9th International Mathematica Symposium, Maastricht, The Netherlands, http://www-sop.inria.fr/coprin/PDF/IMS2008c_YP.pdf, 2008.
  25. Tavolieri C., Ceccarelli M., et Merlet J-P. A Workspace Analysis of a Fully constrained Cable-Based Parallel Manipulator by Using Interval Analysis. In Musme, San Juan, Argentina, http://www-sop.inria.fr/coprin/PDF/TavolieriMusme08.pdf, 2008.
  26. Trombettoni G., Papegay Y., Chabert G., et Pourtallier O. A Box-Consistency Contraction Operator Based on Extremal Functions. In Abstract in the GAMM/IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations (SCAN), El Paso, TX,USA, 2008.

Miscellaneous

  1. Milan Hladik David Daney et Tsigaridas Elias P. An Algorithm for the Real Interval Eigenvalue Problem. Rapport de Recherche 6680, INRIA, http://hal.inria.fr/docs/00/32/97/14/PDF/RR-6680.pdf, 2008.

2007

Thesis

  1. Chabert Gilles. Techniques d’intervalles pour la résolution de systèmes d’équations. Thèse de doctorat, Université de Nice-Sophia Antipolis,
  2. Grandon Carlos. Solving distance equations with uncertainties. Thèse de doctorat, Université de Nice-Sophia Antipolis,

Journals

  1. Chabert G. et Goldsztejn A. Extension of the Hansen-Bliek Method to Right-Quantified Linear Systems. Reliable Computing, 13(4):325–349, August 2007.
  2. Merlet J-P. A formal-numerical approach for robust in-workspace singularity detection. IEEE Trans. on Robotics and Automation, 23(3):393–402, June 2007.

Conferences

  1. Bastogne T., Mézières-Wantz S., Ramdani N., Vallois P., et Barberi-Heyob M. Parameter estimation of pharmacokinetics models in the presence of timing noise. In Proc. of ECC’07, Kos, Greece, 2007.
  2. G.Pagès , N.Ramdani , P.Fraisse , et D.Guiraud . Upper body posture estimation for standing function restoration. In IEEE International Conference on Robotics and Automation ICRA’07, pages 3742–3747, Roma, Italy, 2007.
  3. Grandón C., Chabert G., et Neveu B. Generalized Interval Projection: A New Technique for Consistent Domain Extension. In Proceedings of IJCAI-07, pages 94–99, Hyderabad, India, January 2007.
  4. Grandon C., Daney D., Papegay Y., Tavolieri C., Ottaviano E., et Ceccarelli M. Handling Uncertainties with Symbolic/Numerical Solvers for a Class of Parallel Robots. In WC - International Federation for the Theory of Machines and Mechanisms (IFToMM), June 2007.
  5. Liem K., Kecskemethy A., et Merlet J-P. Hexaspine : A parallel platform for physical cervical spine simulation - design and interval-based verification. In 12th IFToMM World Congress in Mechanism and Machine Science, Besançcon, France, June 17-21 2007.
  6. M. Gouttefarde J-P. Merlet et Daney D. Wrench-Feasible Workspace of Parallel Cable-Driven Mechanisms. In IEEE Int. Conf. on Robotics and Automation ICRA’07, http://www-sop.inria.fr/coprin/PDF/icra2007.pdf, May 2007.
  7. Merlet J-P. Interval analysis and robotics. In 13th International Symposium of Robotics Research, Hiroshima, Japan, http://www-sop.inria.fr/coprin/PDF/isrr2007.pdf, November 26-29 2007.
  8. Merlet J-P. A local motion planner for closed-loop robots. In IEEE Int. Conf. on Intelligent Robots and Systems (IROS), San-Diego, CA, USA, http://www-sop.inria.fr/coprin/PDF/ieee2007.pdf, Oct 29- Nov 2 2007.
  9. Merlet J-P. Robotique, domotique et constructions. In 1st Int. Rivieran Meeting on ImmoTIC-DomoTIC, Sophia-Antipolis, France, December 6-8 2007.
  10. Merlet J-P. et Daney D. A new design for wire-driven parallel robot. In 2nd Int. Congress, Design and Modelling of mechanical systems, Monastir, Tunisia, March 19-21 2007.
  11. Neveu B., Trombettoni G., et Araya I. Incremental move for strip-packing. In Proceedings of 19th IEEE Int. Conf. on Tools with Artificial Intelligence ICTAI’2007, Patras, Greece, 2007.
  12. Neveu B., Trombettoni G., et Araya I. Recherche locale pour la découpe de rectangles. In Actes du congrès ROADEF 2007, pages 43–44, Grenoble, France, 2007.
  13. Neveu B., Trombettoni G., et Araya I. Un mouvement incrémental pour le problème du strip-packing. In Actes des journées JFPC 2007, pages 347–356, Rocquencourt, France, 2007.
  14. Papegay Y. et Daney D. Computing with Intervals : the Ultimate Symbolic Computation ? In Wolfram Technology Conference, Champaign, Illinois, USA, 2007.
  15. S.Lengagne , Ramdani N., et Fraisse P. Guaranteed computation of constraints for safe path planning. In IEEE International Conference on Humanoid Robots, Humanoids 2007, Pittsburg, USA, 2007.
  16. Trombettoni G. et Chabert G. Cid : Construction disjonctive sur intervalles. In Actes des journées JFPC 2007, pages 347–356, Rocquencourt, France, 2007.
  17. Trombettoni G. et Chabert G. Constructive Interval Disjunction. In Principles and Practice of Constraint Programming CP 2007, number 4741 in LNCS, pages 635–650, Providence, RI, USA, 2007. Springer.
  18. V.Bonnet , J.Lagarde , P.Fraisse , N.Ramdani , S.Ramdani , Poignet P., et B.Bardy . Modeling of the human postural coordination to improve the humanoids control of balance. In IEEE International Conference on Humanoid Robots, Humanoids 2007, Pittsburg, USA, 2007.

2006

Books

  1. Papegay Y., editor. Applied Mathematica, Proc. of the 8th Int. Mathematica Symposium. INRIA, Avignon, Juin 2006.

Journals

  1. Chabert G. et Goldsztejn A. Extension of the Hansen-Bliek Method to Right-Quantified Linear Systems. Reliable Computing, to appear.
  2. Daney D., Andreff N., Chabert G., et Papegay Y. Interval method for calibration of parallel robots: a vision-based experimentation. Mechanism and Machine Theory, 41(8):929–944, http://www-sop.inria.fr/coprin/PDF/mmt2006.pdf, August 2006.
  3. Gouttefarde M. et Gosselin C. M. Analysis of the wrench-closure workspace of planar parallel cable-driven mechanisms. IEEE Trans. on Robotics, 22(3):434–445, June 2006.
  4. Jermann C., Trombettoni G., Neveu B., et Mathis P. Decomposition of Geometric Constraint Systems: a Survey. Int. Journal of Computational Geometry and Applications (IJCGA), 16, 2006. to appear.
  5. Merlet J-P. Jacobian, manipulability,condition number, and accuracy of parallel robots. ASME J. of Mechanical Design, 128(1):199–206, January 2006.
  6. Merlet J-P. Robust design of a deployable space telescope. ECMI Newsletter, 39:9–11, March 2006.
  7. Papegay Y. Exploring board game strategies. The Mathematica Journal, 10(2):363–395, 2006.
  8. Trombettoni G. et Wilczkowiak M. GPDOF: A fast algorithm to decompose under-constrained geometric constraints: Application to 3d modeling. Int. Journal of Computational Geometry and Applications (IJCGA), 16, 2006. to appear.

Conferences

  1. Daney D. et al. Calibration of parallel robots: on the elimination of pose-dependent parameters. In 1st European Conf. on Mechanism Science (Eucomes), Obergurgl, http://www-sop.inria.fr/coprin/PDF/eucomes2006.pdf, February 21-26 2006.
  2. Farenc L. et Papegay Y. Modeling flight dynamics for real-time simulator applications. In International Mathematica Symp., Juin 2006.
  3. Goldsztejn A. et Chabert G. A Generalized Interval LU Decomposition for the Solution of Interval Linear Systems. In NMA - 6th International Conference on Numerical Methods and Applications. Springer, 2006.
  4. Goldsztejn A. et Chabert G. On the approximation of linear AE-solution sets. In SCAN - 12th International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006.
  5. Gouttefarde M., Merlet J-P., et Daney D. Determination of the wrench-closure workspace of 6-dof parallel cable-driven mechanisms. In ARK, pages 315–322, Ljubljana, http://www-sop.inria.fr/coprin/PDF/ark2006.pdf, June 26-29 2006.
  6. Grandón C., Chabert G., et Neveu B. Generalized Interval Projection: A New Technique fo r Consistent Domain Extension. In IJCAI, 2007.
  7. Grandón C., Daney D., et Papegay Y. Combining CP and interval methods for solving the direct kinematic of a parallel robot under uncertainties. In Workshop of the Int. Conf. on Principles and Practice of Constraint Programming (IntCP 06), http://www-sop.inria.fr/coprin/PDF/intcp06.pdf, September 2006.
  8. Grandón C. et Goldsztejn A. Inner Aproximation of Distance Constraints with Existentially Quantified Parameters. In SAC ’06: Proceedings of the 2006 ACM symposium on Applied computing, pages 1660–1661, New York, NY, USA, 2006. www-sop.inria.fr/coprin/cgrandon/Publica/index.html, ACM Press.
  9. Grandón C. et Goldsztejn A. Quantifier Elimination versus Generalized Interval Evaluation: A comparison on a special class of quantified constraints. In Proc. of the 11th Information Processing and Management of Uncertainty International Conference, IPMU 2006, pages 786–793, Paris, France, 2006. www-sop.inria.fr/coprin/cgrandon/Publica/index.html, Editions EDK.
  10. Grandón C., Morales N., et Chabert G. A strategy for solving systems of equations with uncertainties. In 12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN 2006, Duisburg, Germany, 2006.
  11. Merlet J-P. Interval analysis and robotics. In Twelfth International Conference on Principles and Practice of Constraint Programming CP-2006, Nantes, 2006. Invited talk.
  12. Merlet J-P. Computing the worst case accuracy of a PKM over a workspace or a trajectory. In 5th Chemnitzer Parallelkinematik Seminar, pages 83–96, Chemnitz, http://www-sop.inria.fr/coprin/PDF/chemntiz-2006-1.pdf, April 25-26 2006.
  13. Merlet J-P. et Daney D. Legs interference checking of parallel robots over a given workspace or trajectory. In IEEE Int. Conf. on Robotics and Automation, Orlando, http://www-sop.inria.fr/coprin/PDF/icra2006.pdf, May 16-18 2006.
  14. Merlet J-P. et Donelan P. On the regularity of the inverse jacobian of parallel robot. In ARK, pages 41–48, Ljubljana, http://www-sop.inria.fr/coprin/PDF/ARK2006.pdf, June 26-29 2006.
  15. Neveu B., Chabert G., et Trombettoni G. When Interval Analysis helps Interblock Backtracking. In Twelth International Conference on Principles and Practice of Constraint Programming (CP’2006), LNCS 4204, pages 390–405, 2006.
  16. Papegay Y. Industrial C code generation, SymbolicC: a C wrapper. In Wolfram Technology Conference, Urbana-Champaign, 2006.
  17. Riff M.C., Alfaro T., Bonnaire X., et Grandón C. EA-MP: An evolutionary algorithm to solve a mine planning problem. In Sixth International Conference on Numerical Methods and Applications - NMA’06, Borovets, Bulgaria, 2006.
  18. Trombettoni G. et Chabert G. Constructive Interval Disjunction. In IntCP (interval analysis, constraint propagation, applications) Int. workshop at CP’2006 conference, 2006.

Miscellaneous

  1. Grandón C. et Neveu B. A Specific Quantifier Elimination for Inner Box Test in Distance Constraints with Uncertainties. Research Report 5883, INRIA, April 2006.

2005

Books

  1. Merlet J-P. Parallel robots. Springer, 2005.

Book chapters

  1. Azouzi R. El, Altman E., et Pourtallier O. Dynamic games, theory and applications, chapter 3, pages 57–77. Springer, 2005. Braess paradox and properties of wardropp equilibrium in some multiservice networks.
  2. Bossy M., Maizi N., Olsder G.J., Pourtallier O., et Tanré E. Dynamic games, theory and applications, chapter 7, pages 135–159. Springer, 2005. Electricity prices in a game theory context.

Thesis

  1. Batnini H. Contraintes Globales et Techniques de Résolution pour les CSPs Continus. Thèse de doctorat, Université de Nice-Sophia Antipolis,
  2. Goldsztejn A. Définition et Applications des Extensions des Fonctions Réelles aux Intervalles Généralisés. Thèse de doctorat, Université de Nice-Sophia Antipolis,
  3. Neveu Bertrand. Techniques de résolution de problèmes de satisfaction de contraintes. Habilitation à diriger des recherches, Université de Nice-Sophia Antipolis,

Journals

  1. Daney D., Madeline B., et Papegay Y. Choosing measurement poses for robot calibration with local convergence method and tabu search. International Journal of Robotic Research, 24(6):501–518, http://www-sop.inria.fr/coprin/PDF/ijrr2005.pdf, 2005.
  2. Goldsztejn A. A right-precondtioning process for the formal-algebraic approach to inner and outer estimation of AE-solution sets. Reliable Computing, 11, 2005.
  3. Lebbah Y., Michel C., et Rueher M. A rigorous global filtering algorithm for quadratic constraints. Constraints Journal, 10(1):47–65, 2005.
  4. Lebbah Y., Michel C., Rueher M., Daney D., et Merlet J-P. Efficient and safe global constraints for handling numerical constraint systems. SIAM Journal on Numerical Analysis, 42(5):2076–2097, http://www-sop.inria.fr/coprin/PDF/siam2005.pdf, 2005.
  5. Pavicic M., Merlet J-P., McKay B., et Megill N.D. Kochen-specker vectors. J. Phys. A: Math Gen., 38(7):1577–1592, February 2005.
  6. Régin J.-C. et M.Rueher . Inequality-sum: a global constraint capturing the objective function. RAIRO-Operations research, 39(2):123–139, 2005.
  7. Régin J-C. et Rueher M. An efficient and safe framework for solving optimization problems. J. of Computational and Applied Mathematics. to appear.

Conferences

  1. Batnini H., C.Michel , et M.Rueher . Mind the gaps: A new splitting strategy for consistency techniques. In Proc. of CP’05, Eleventh International Conference on Principles and Practice of Constraint Programming, number 3709 in LNCS, pages 77–91, Sitges, Spain, 2005. Springer.
  2. Batnini H., Rueher M., et Michel C. Une stratégie de résolution orientée par la topologie des csp numériques. In Actes JFPC’05 (1ères Journées Francophones de Programmation par Contraintes), pages 199–210, Lens, 2005.
  3. Chabert G., Trombettoni G., et Neveu B. Box-set consistency for interval-based constraint problems. In 20th ACM Symposium on Applied Computing (SAC’05), pages 1439–1443, 2005.
  4. Chabert G., Trombettoni G., et Neveu B. Igc : une nouvelle consistance partielle pour les csp continus. In Actes JFPC’05 (1ères Journées Francophones de Programmation par Contraintes), pages 211–218, Lens, 2005.
  5. Daney D., Andreff A., et Papegay Y. Interval method for calibration of parallel robots: a vision-based experimentation. In Computational Kinematics, Cassino, http://www-sop.inria.fr/coprin/PDF/ck2005.pdf, 2005.
  6. Goldsztejn A., Daney D., Rueher M., et Taillibert P. Modal intervals revisited: a mean-value extension to generalized intervals. In Proc. of QCP-2005 (Quantification in Constraint Programming), Sitges, Spain, 2005.
  7. Grandon C. et Neveu B. Using constraint programming for solving distance csp with uncertainty. In Proc. of CP’05, Eleventh International Conference on Principles and Practice of Constraint Programming, page doctoral program, Sitges, Spain, 2005.
  8. Lebbah Y. Safe reduction techniques for global optimization. In INT’05: Interval methods and their applications, Copenhagen, August 25-27 2005.
  9. Lebbah Y., Michel C., et Rueher M. Efficient pruning technique based on linear relaxations. In Global Optimization and Constraint Satisfaction, revised selected papers of COCOS’03, number 3478 in LNCS, pages 1–14. Springer, 2005.
  10. Merlet J-P. Applications of interval analysis in robotics. In INT’05: Interval methods and their applications, Copenhagen, August 25-27 2005.
  11. Merlet J-P. Jacobian, manipulability, condition number and accuracy of parallel robots. In ISRR, San Francisco, October 12-15 2005.
  12. Merlet J-P. The necessity of optimal design for parallel machines and a possible certified methodology. In 2nd Int. Colloquium, Collaborative Research Centre 562, pages 7–20, Braunschweig, May 10-11 2005.
  13. Merlet J-P. Optimal design of robots. In Robotics: Science and Systems, Boston, June 8-11 2005.
  14. Merlet J-P. Systems of distance equations: application to robotics. In Workshop Proc. of Interval Analysis, Constraint Propagation, Application, pages 48–57, Sitges, October 1 2005.
  15. Merlet J-P. et Daney D. Dimensional synthesis of parallel robots with a guaranteed given accuracy over a specific workspace. In IEEE Int. Conf. on Robotics and Automation, Barcelona, http://www-sop.inria.fr/coprin/PDF/icra2005.pdf, April 19-22 2005.
  16. Merlet J-P. et Daney D. Kinematics and synthesis of cams-coupled parallel robots. In Computational Kinematics, Cassino, May 4-6 2005.
  17. Neveu B., Jermann C., et Trombettoni G. Inter-block backtracking : Exploiting the structure in continuous csps. In Global Optimization and Constraint Satisfaction, revised selected papers of COCOS’03, number 3478 in LNCS, pages 15–30. Springer, 2005.
  18. Neveu B., Trombettoni G., et Glover F. Idw : un algorithme de recherche locale combinant intensification et diversification. In Actes ROADEF’05, pages 288–289, Tours, 2005.
  19. Papegay Y. Exploring boardgame strategies. In Proceedings of the 7th International Mathematica Symposium, Perth, Western Australia, 2005.
  20. Papegay Y. et Daney D. Solving with interval analysis. In Wolfram Technology Conference, Illinois, USA, 2005.
  21. Rueher M. Solving continuous constraint systems. In 8th International Conference on Computer Graphics and Artificial Intelligence (3IA’2005), 2005. Invited Talk.

2004

Journals

  1. Batnini H. et Rueher M. Décomposition sémantique pour la résolution de systèmes d’équations de distances. JEDAI (Journal Électronique d’Intelligence Artificielle), 2(1), 2004. Édition spéciale JNPC 2003.
  2. Chablat D., Wenger P., Majou F., et Merlet J-P. An interval analysis based study for the design and the comparison of three-degrees-of-freedom parallel kinematic machine. Int. J. of Robotics Research, 23(6):615–624, 2004.
  3. Hao F. et Merlet J-P. Multi-criteria optimal design of parallel manipulators based on interval analysis. Mechanism and Machine Theory. Available on-line, September 11 2004.
  4. Jermann Christophe, Neveu Bertrand, et Trombettoni Gilles. Algorithmes pour la détection de rigidités dans les csp géométriques. JEDAI (Journal Électronique d’Intelligence Artificielle), 2, 2004. Édition spéciale JNPC 2003.
  5. Lebbah Y., Michel C., Rueher M., Merlet J-P., et Daney D. Combining local consistencies with a new global filtering algorithm on linear relaxations. SIAM J. of Numerical Analysis. to appear.
  6. Lebbah Yahia, Michel Claude, et Rueher Michel. A rigorous global filtering algorithm for quadratic constraints. CONSTRAINTS, 10(1), 2005. to appear.
  7. Lee E., Mavroidis C., et Merlet J-P. Five precision points synthesis of spatial RRR manipulators using interval analysis. ASME J. of Mechanical Design, 126(5):842–849, September 2004.
  8. Merlet J-P. Solving the forward kinematics of a Gough-type parallel manipulator with interval analysis. Int. J. of Robotics Research, 23(3):221–236, 2004.
  9. Neveu Bertrand et Trombettoni Gilles. Hybridation de gww avec de la recherche locale. JEDAI (Journal Électronique d’Intelligence Artificielle), 3, 2004. Édition spéciale JNPC 2003.
  10. Papegay Y., Merlet J-P., et Daney D. Exact kinematics analysis of car’s suspension mechanisms using symbolic computation and interval analysis. Mechanism and Machine Theory. Available on-line September 28 2004.

Conferences

  1. Batnini H. et Rueher M. Quaddist: Filtrage global pour les contraintes de distance. In Actes JNPC’04(10èmes Journées Nationales pour la résolution pratique de Problèmes NP-complets), pages 59–71, Angers, 2004.
  2. B.Neveu , Trombettoni G., et Jermann C. Inter-block backtracking: Exploiting the structure in continuous csps. In Global Optimization and Constraint Satisfaction: COCOS 2003, Revised Selected Papers, LNCS. Springer. to appear.
  3. Chabert Gilles, Trombettoni Gilles, et Neveu Bertrand. New light on arc-consistency over continuous domains. In Proc. CP’04 First International Workshop on Constraint Propagation and Implementation, 2004.
  4. Chablat D., Wenger P., et Merlet J-P. A comparative study between two three-dof parallel kinematic machines using kinetostatic criteria and interval analysis. In 11th World Congress on Theory of Machines and Mechanisms, pages 1209–1213, Tianjin, April 1-4 2004.
  5. Daney D. et Emiris I. Z. Algebraic elimination for parallel robot calibration. In 11th World Congress on Theory of Machines and Mechanisms (IFToMM), Tianjin, China, April 1-4 2004.
  6. Daney D., Papegay Y., et Neumaier A. Interval methods for certification of the kinematic calibration of parallel robots. In Proc. IEEE International Conference on Robotics and Automation (ICRA), pages 147–152, New Orleans, USA, April 28-30 2004.
  7. Jermann C., Neveu B., et Trombettoni G. A new structural rigidity for geometric constraints systems. In Automated Deduction in Geometry, Revised papers of 4th International Workshop ,ADG’02, volume 2930 of LNAI, pages 87–105, 2004.
  8. Lebbah Yahia, Michel Claude, et Rueher Michel. Efficient pruning technique based on linear relaxations. In Global Optimization and Constraint Satisfaction: COCOS 2003, Revised Selected Papers, LNCS. Springer. to appear.
  9. Lebbah Yahia, Michel Claude, et Rueher Michel. An efficient and safe framework for handling numerical constraint systems and for solving optimization problems. In Proc. of Franco-Japanese Workshop on Constraint Programming, Tokyo, Japan, 2004.
  10. Lebbah Yahia, Michel Claude, et Rueher Michel. An efficient and safe framework for solving optimization problems. In SCAN 2004, 11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Fukuoaka, Japan, 2004.
  11. Merlet J-P. A note on the history of trigonometric functions. In Ceccarelli M., editor, International Symposium on History of Machines and Mechanisms, HMM2004, pages 195–200. Kluwer, 2004.
  12. Merlet J-P. Getting exact information from the inverse jacobian matrix of parallel and serial robots. In 11th World Congress on Theory of Machines and Mechanisms, pages 1951–1955, Tianjin, April 1-4 2004.
  13. Merlet J-P. Guaranteed in-the-workspace improved trajectory/suface/volume verification for parallel robots. In IEEE Int. Conf. on Robotics and Automation, New Orleans, April 28-30 2004.
  14. Merlet J-P. Analysis of the influence of wire interference on the workspace of wire robots. In ARK, pages 211–218, Sestri-Levante, June 28-July 1, 2004.
  15. Merlet J-P. Daniel and the robots. In International Conference on Polynomial System Solving, Paris, November 24-26 2004.
  16. Neveu B., Trombettoni G., et Jermann C. Retour-arrière inter-blocs et résolution par intervalles. In Actes JNPC’04 (10èmes Journées Nationales pour la résolution pratique de Problèmes NP-Complets), pages 267–282, Angers, 2004.
  17. Neveu Bertrand, Trombettoni Gilles, et Glover Fred. Id-walk : A candidate list strategy with a simple diversification device. In Proc. 10th International Conference on Principles and Practice of Constraint Programming - CP 2004, volume LNCS 3258, pages 423–437, Toronto, Canada, 2004. Springer.
  18. Papegay Y. From maple 9 worksheets to mathematica notebooks: An almost automatic converter. In Electronic Proceedings of the Wolfram 2004 Technology Conference, Urbana Champaign, Illinois, USA, October 2004.
  19. Papegay Y. Modélisation et simulation avec mathematica. October 2004. Conférence Mathematica Paris 2004.
  20. Trombettoni Gilles. GPDOF : un algorithme polynomial et complet pour décomposer les systèmes de contraintes géométriques. In Groupe de travail en modélisation géométrique, GTMG’04, pages 14–24, 2004.

Miscellaneous

  1. Chabert Gilles, Trombettoni Gilles, et Neveu Bertrand. New light on arc-consistency over continuous domains. Rapport de Recherche RR-5365, INRIA, 2004.
  2. Papegay Y. ypama: un assistant à la modélisation, comment implémenter la désorientation des modèles. Rapport d’étude, INRIA/Airbus France, December 2003.
  3. Papegay Y. ypama: un assistant à la modélisation, analyse dimensionnelle et cohérence des unités. Rapport d’étude, INRIA/Airbus France, April 2004.
  4. Pavicic M., Merlet J-P., et Megill N.D. Exhaustive enumeration of kochen-specker vector systems. Rapport de Recherche 5388, INRIA, November 2004.

2003

Thesis

  1. Jermann Christophe. Résolution de contraintes géométriques par rigidification récursive et propagation d’intervalles. Thèse de doctorat, Nice-Sophia Antipolis University,
  2. Madeline Blaise. Algorithmes évolutionnaires et résolution de problèmes de satisfaction de contraintes en domaines finis. Thèse de doctorat, Nice-Sophia Antipolis University,
  3. Rolland Luc. Algorithmes algébriques pour la commande de robots parallèles de haute précision. Thèse de doctorat, Nancy University,

Journals

  1. Batnini H. et Rueher M. Décomposition sémantique pour la résolution de systèmes de contraintes de distance. JEDAI. Journal Electronique d’Intelligence Artificielle, September 2003. http://jedai.afia-france.org.
  2. Company O., Marquet F., et Pierrot F. A new high speed 4-dof parallel robot. Synthesis and modeling issues. IEEE Trans. on Robotics and Automation, 19(3):411–420, June 2003.
  3. Papegay Y., Daney D., et Merlet J.P. Exact kinematics analysis of car’s suspension mechanisms using symbolic computation and interval analysis. Journal of Mechanism and Machine Theory, January 2003. to appear.

Conferences

  1. Batnini H. et Rueher M. Filtrage local par décomposition de csp continus. In 9èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC’03, pages 39–51, Amiens, France, June 2003.
  2. Batnini H. et Rueher M. Semantic decomposition for solving distance constraints. In Rossi F., editor, Ninth International Conference on Principles and Practice of Constraint Programming, CP2003, pages 964–965, Kinsale, Ireland, September 2003.
  3. Goldsztejn Alexandre. Verified projection of the solution set of parametric real systems. In Proc of 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS’03), Lausanne, Switzerland, November 2003.
  4. Jermann C., Neveu B., et Trombettoni G. Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems. In Proc.of IJCAI’03, International Joint Conference on Artificial Intelligence, pages 233–238, Acapulco, Mexico, 2003.
  5. Jermann Christophe, Neveu Bertrand, et Trombettoni Gilles. Algorithmes pour la détection de rididités dans les csp géométriques. In 9èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC’03, pages 177–188, Amiens, France, 2003.
  6. Jermann Christophe, Neveu Bertrand, et Trombettoni Gilles. Inter-block backtracking : Exploiting the structure in continuous csps. In Proc of 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS’03), Lausanne, Switzerland, November 2003.
  7. Lebbah Yahia. Global filtering algorithms based on linear relaxations. In Proc of 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS’03), Lausanne, Switzerland, November 2003.
  8. Lebbah Yahia, Michel Claude, et Rueher Michel. Une combinaison de consistances locales avec un filtrage global sur des relaxations linéaires. In 9èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC’03, pages 217–232, Amiens, France, 2003.
  9. Merlet J-P. Analyse par intervalles. In Ecole thématique sur l’arithmétique des ordinateurs, Dijon, March 2003.
  10. Merlet J-P. Analyse par intervalles et résolution de systèmes. In Journées Nationales du Calcul Formel, Marseilles, January 2003.
  11. Merlet J-P. Determination of the optimal geometry of modular parallel robots. In IEEE Int. Conf. on Robotics and Automation, Taipei, September 2003.
  12. Merlet Jean-Pierre. Usual and unusual applications of interval analysis. In Proc of 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS’03), Lausanne, Switzerland, November 2003.
  13. Michel C., Lebbah Y., et Rueher M. Safe embedding of the simplex algorithm in a CSP framework. In Fifth International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems, CPAIOR’2003, pages 210–220, Montréal, Canada, 2003.
  14. Neveu Bertrand et Trombettoni Gilles. Hybridation de gww avec de la recherche locale. In 9èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC’03, pages 277–292, Amiens, France, 2003.
  15. Neveu Bertrand et Trombettoni Gilles. Incop : An Open Library for INcomplete Combinatorial OPtimization. In Proc. International Conference on Principles Constraint Programming, CP’03, volume 2833 of LNCS, pages 909–913, Kinsale, Ireland, 2003. Springer.
  16. Neveu Bertrand et Trombettoni Gilles. Une bibliothèque de recherche locale pour l’optimisation combinatoire. In Congrès de l’association française de recherche opérationnelle et d’aide à la décision, ROADEF’2003, pages 68–69, Avignon, France, 2003.
  17. Neveu Bertrand et Trombettoni Gilles. When Local Search Goes with the Winners. In Fifth International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems, CPAIOR’2003, pages 180–194, Montréal, Canada, 2003.
  18. Papegay Y., Daney D., et Merlet J.P. Parallel implementation of interval analysis for equations solving. In EuroPVM/MPI 2003 conference, Venice, 2003. published in Lecture Notes in Computer Sciences 2840,Springer Verlag.
  19. Trombettoni Gilles et Wilczkowiak Marta. Scene reconstruction based on constraints: Details on the equation system decomposition. In Proc. International Conference on Constraint Programming, CP’03, volume 2833 of LNCS, pages 956–961, Kinsale, Ireland, 2003. Springer.
  20. Wilczkowiak Marta, Trombettoni Gilles, Jermann Christophe, Sturm Peter, et Boyer Edmond. Scene Reconstruction Based on Constraint System Decomposition Techniques. In Proc. International Conference on Computer Vision, ICCV’03, Nice, France, 2003.

2002

Journals

  1. Batnini H. Introduction of redundant constraints for solving systems of distance equations. Journal of the university of Sarbruck, Sept 2002.

Conferences

  1. Chablat D., Wenger J., et Merlet J-P. Workspace analysis of the Orthoglide using interval analysis. In ARK, pages 397–406, Calle de Malavada, 29 Juin-2 Juillet, 2002.
  2. Jermann Christophe, Neveu Bertrand, et Trombettoni Gilles. De la rigidit structurelle. In Groupe de Travail en Modélisation Géométrique (GTMG’2002), pages 106–115, Nantes, France, 2002.
  3. Jermann Christophe, Neveu Bertrand, et Trombettoni Gilles. A new structural rigidity for geometric constraint systems. In Fourth International Workshop on Automated Deduction in Geometry (ADG’2002), Hagenberg, Autriche, septembre 2002.
  4. Jermann Christophe et Trombettoni Gilles. Complexit de la dtection de rigidit dans des systmes de contraintes gomtriques. In 8imes Journées Nationales de la Résolution Pratique de Problèmes NP-Complets (JNPC’02), pages 143–154, Nice, France, mai 2002.
  5. Lebbah Yahia, Rueher Michel, et Michel Claude. A global filtering algorithm for handling systems of quadratic equations and inequations. In Principles and Practice of Constraint Programming, CP’2002, volume 2470 of LNCS, pages 109–123, Ithaca, NY, USA, 2002. Springer Verlag.
  6. Lee E., Mavroidis C., et Merlet J-P. Five precision points synthesis of spatial RRR manipulators using interval analysis. In ASME 27th Biennial Mechanisms and Robotics Conf., Montréal, Canada, 29 Septembre-2 Octobre, 2002.
  7. Merlet J-P. Optimal design for the micro robot MIPS. In IEEE Int. Conf. on Robotics and Automation, Washington, USA, 11-15 Mai 2002.
  8. Merlet J-P. Micro-robot parallèle pour la chirurgie minimalement invasive. In MS4CMS’02, Rocquencourt, 12-15 Novembre 2002.
  9. Merlet J-P. Determination of the minimal and maximal real roots of parametric polynomials using interval analysis. In 1st Int. Workshop on Global Constrained Optimization and Constraint Satisfaction (Cocos’02), Sophia Antipolis, France, 2-4 Octobre 2002.
  10. Merlet J-P. The need for a systematic methodology for the evaluation and optimal design of parallel manipulators. In 3rd Chemnitzer Parallelkinematik Seminar, pages 49–62, Chemnitz, Allemagne, 23-25 Avril 2002.
  11. Merlet J-P. A general methodology for certified evaluation of the performances of parallel robots. In 1st Int. Colloquium, Collaborative Research Centre 562, pages 97–106, Braunschweig, Allemagne, 29-30 Mai 2002.
  12. Merlet J-P. Still a long way to go on the road for parallel mechanisms. In ASME 27th Biennial Mechanisms and Robotics Conf., Montréal, Canada, 29 Septembre-2 Octobre, 2002.
  13. Merlet J-P. An initiative for the kinematic study of parallel manipulators. In Workshop on Fundamental Issues and Future Research Directions for Parallel Mechanisms and Manipulators, pages 2–9, Québec, Canada, 3-4 Octobre 2002.
  14. Michel Claude. Computing exact projections of constraints over floating point numbers. In Seventh international symposium on Artificial Intelligence and Mathematics (7th AIMA), Fort Lauderdale, Floride, USA, janvier 2002.
  15. Prcovic Nicolas et Neveu Bertrand. Progressive focusing search. In Proceedings of the 15th European Conference on Artificial Intelligence (ECAI 2002), pages 126–130, Lyon, France, juillet 2002.
  16. Rueher M. Programmation en logique avec contraintes. In Lavoisier Hermes, editor, JFPLC, Nice, France, 2002.

Miscellaneous

  1. Botella B., Gotlieb A., Michel C., Rueher M., et Taillibert P. Génération automatique de cas de test structurels avec les techniques de programmation par contraintes. Rapport de recherche, 2002.
  2. Hao F. et Merlet J-P. Position controlled space telescope, 1, 2, 3. Rapports d’étude, INRIA/Alcatel, 2002.
  3. Madeline B. New low cost and undedicated genetic operators. Rapport de recherche 4573, Inria, Sophia-Antipolis, France, Août 2002.
  4. Michel C., Rueher M., Lebbah Y., et Trombettoni G. Rapport inka 02 t8/t8+14 – sous projet 2 : extension de inka aux flottants. Rapport de recherche, 2002.
  5. Michel C., Rueher M., Lebbah Y., et Trombettoni G. Rapport inka 03 t14/t14+18 – sous projet 2 : extension de inka aux flottants. Rapport de recherche, 2002.
  6. Papegay Y. ypama: un assistant à la modélisation. Rapport d’étude, INRIA/Airbus France, Janvier 2002.

2001

Journals

  1. Merlet J-P. A parser for the interval evaluation of analytical functions and its applications to engineering problems. J. Symbolic Computation, 31:475–486, 2001.

Conferences

  1. Madeline B. et Neveu B. Méthodes de recherche arborescente comparées aux algorithmes génétiques sur des problèmes de coloriage de graphes sur-contraints. In Proc. of JNPC’01, pages 185–195, Toulouse, France, June 2001.
  2. Madeline B. et Neveu B. Tree search methods versus genetic algorithms for over-constra ined graph coloring problems. In Proc. of MIC’01, volume II, pages 731–736, Porto, Portugal, July 2001.
  3. Merlet J-P. An improved design algorithm based on interval analysis for parallel manipulator with specified workspace. In IEEE Int. Conf. on Robotics and Automation, Séoul, Corée, May 2001.
  4. Merlet J-P. Méthodes de résolutions et d’analyse d’équations : Applications en robotique. In Journées Nationales de la Recherche en Robotique, Giens, France, October 2001.
  5. Merlet J-P. Micro parallel robot mips for medical applications. In IEEE Int. Conf. on Emerging Technologies and Factory Automation, Antibes, France, October 2001.
  6. Merlet J-P. Perspectives court et moyen terme pour la robotique. In Rencontre internationale de prospective du Sénat, Paris, France, June 2001.
  7. Merlet J-P. System-solving and parallel robots. In Workshop on Robot Mechanics, Paris, France, July 2001.
  8. Merlet J-P. et Dahan M. Le micro-robot parallèle mips. In Quatrièmes Journées du Pôle Micro-robotique, Lyon, France, July 2001.
  9. Merlet J-P. et Daney D. A formal-numerical approach to determine the presence of singularity within the workspace of a parallel robot. In Park F.C. et Iurascu C.C., editors, Computational Kinematics, pages 167–176, Séoul, Corée, May 2001.
  10. Michel C., Rueher M., et Lebbah Y. Solving constraints over floating-point numbers. In CP’2001,Seventh International Conference on Principles and Practice of Constraint Programming, Paphos, Chypre, December 2001.
  11. Trombettoni G. et Neveu B. Links for boosting predictable interactive constraint systems. In UICS’01, International Workshop on User Interaction in Constraint Satisfaction, in the CP’2001 conference, Paphos, Chypre, December 2001.

This document was translated from LATEX by HEVEA.