Team Coprin

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
Inria / Raweb 2004
Project: Coprin

Bibliography

Major publications by the team in recent years

[1]
C. Bliek, B. Neveu, G. Trombettoni.
Using Graph Decomposition for Solving Continuous CSPs, in: Principles and Practice of Constraint Programming, CP'98, LNCS, Springer, 1998, vol. 1520, p. 102-116.
[2]
A. Gotlieb, B. Botella, M. Rueher.
A CLP Framework for Computing Structural Test Data, in: Proceedings of CL2000 (First International Conference on Computational Logic,Constraints Stream),London, LNCS, Springer Verlag, 2000, vol. 1861, p. 399-413.
[3]
C. Hoffmann, A. Lomonosov, M. Sitharam.
Decomposition Plans for Geometric Constraint Systems, in: Journal Symbolic Computation, 2000, vol. 11.
[4]
C. Jermann, G. Trombettoni, B. Neveu, M. Rueher.
A Constraint Programming Approach for Solving Rigid Geometric Systems, in: Proceedings of CP'2000,Sixth International Conference on Principles and Practice of Constraint Programming, LIM, 2000, vol. 1894, p. 233-248.
[5]
J.-P. Merlet.
Parallel robots, Kluwer, Dordrecht, Pays-Bas, 2000.
[6]
Y. Papegay.
From Modeling to Simulation with Symbolic Computation: An Application to Design and Performance Analysis of Complex Optical Devices, in: Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, Munich, Springer Verlag, June 1999.
[7]
J.-C. Régin, M. Rueher.
A global constraint combining a sum constraint and difference constraints, in: CP'2000,Sixth International Conference on Principles and Practice of Constraint Programming, LNCS, Springer Verlag, 2000, vol. 1894, p. 384-395.
[8]
G. Trombettoni.
A Polynomial Time Local Propagation Algorithm for General Dataflow Constraint Problems, in: Proc. Constraint Programming CP'98, LNCS 1520 (Springer Verlag), 1998, p. 432–446.

Publications of the year

Books and Monographs

[9]
J.-C. Régin, M. Rueher (editors)
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Springer Lecture Notes in Computer Science, Vol. 3011, Nice, France, April 2004.

Articles in refereed journals and book chapters

[10]
H. Batnini, M. Rueher.
Décomposition sémantique pour la résolution de systèmes d'équations de distances., in: JEDAI (Journal Électronique d'Intelligence Artificielle), Édition spéciale JNPC 2003, 2004, vol. 2, no 1.
[11]
D. Chablat, P. Wenger, F. Majou, J.-P. Merlet.
An interval analysis based study for the design and the comparison of three-degrees-of-freedom parallel kinematic machine, in: Int. J. of Robotics Research, 2004, vol. 23, no 6, p. 615-624.
[12]
F. Hao, J.-P. Merlet.
Multi-criteria optimal design of parallel manipulators based on interval analysis, in: Mechanism and Machine Theory, Available on-line, September 11 2004.
[13]
C. Jermann, B. Neveu, G. Trombettoni.
Algorithmes pour la détection de rigidités dans les CSP géométriques, in: JEDAI (Journal Électronique d'Intelligence Artificielle), Édition spéciale JNPC 2003, 2004, vol. 2.
[14]
E. Lee, C. Mavroidis, J.-P. Merlet.
Five precision points synthesis of spatial RRR manipulators using interval analysis, in: ASME J. of Mechanical Design, September 2004, vol. 126, no 5, p. 842-849.
[15]
J.-P. Merlet.
Solving the Forward Kinematics of a Gough-Type Parallel Manipulator with Interval Analysis, in: Int. J. of Robotics Research, 2004, vol. 23, no 3, p. 221-236.
[16]
B. Neveu, G. Trombettoni.
Hybridation de GWW avec de la recherche locale, in: JEDAI (Journal Électronique d'Intelligence Artificielle), Édition spéciale JNPC 2003, 2004, vol. 3.
[17]
Y. Papegay, J.-P. Merlet, D. Daney.
Exact kinematics analysis of car's suspension mechanisms using symbolic computation and interval analysis, in: Mechanism and Machine Theory, Available on-line September 28 2004.

Publications in Conferences and Workshops

[18]
H. Batnini, M. Rueher.
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), Angers, 2004, p. 59-71.
[19]
G. Chabert, G. Trombettoni, B. Neveu.
New light on arc-consistency over continuous domains, in: Proc. CP'04 First International Workshop on Constraint Propagation and Implementation, 2004.
[20]
D. Chablat, P. Wenger, J.-P. Merlet.
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, Tianjin, April 1-4 2004, p. 1209-1213.
[21]
D. Daney, I. Z. Emiris.
Algebraic Elimination for Parallel Robot Calibration, in: 11th World Congress on Theory of Machines and Mechanisms (IFToMM), Tianjin, China, April 1-4 2004.
[22]
D. Daney, Y. Papegay, A. Neumaier.
Interval Methods for Certification of the Kinematic Calibration of Parallel Robots, in: Proc. IEEE International Conference on Robotics and Automation (ICRA), New Orleans, USA, April 28-30 2004, p. 147-152.
[23]
C. Jermann, B. Neveu, G. Trombettoni.
A new structural rigidity for geometric constraints systems, in: Automated Deduction in Geometry, Revised papers of 4th International Workshop ,ADG'02, LNAI, 2004, vol. 2930, p. 87-105.
[24]
Y. Lebbah, C. Michel, M. Rueher.
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.
[25]
Y. Lebbah, C. Michel, M. Rueher.
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.
[26]
J.-P. Merlet.
A note on the history of trigonometric functions, in: International Symposium on History of Machines and Mechanisms, HMM2004, M. Ceccarelli (editor), Kluwer, 2004, p. 195-200.
[27]
J.-P. Merlet.
Getting exact information from the inverse jacobian matrix of parallel and serial robots, in: 11th World Congress on Theory of Machines and Mechanisms, Tianjin, April 1-4 2004, p. 1951-1955.
[28]
J.-P. Merlet.
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.
[29]
J.-P. Merlet.
Analysis of the influence of wire interference on the workspace of wire robots, in: ARK, Sestri-Levante, June 28-July 1, 2004, p. 211-218.
[30]
J.-P. Merlet.
Daniel and the robots, in: International Conference on Polynomial System Solving, Paris, November 24-26 2004.
[31]
B. Neveu, G. Trombettoni, F. Glover.
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, Toronto, Canada, Springer, 2004, vol. LNCS 3258, p. 423-437.
[32]
B. Neveu, G. Trombettoni, C. Jermann.
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), Angers, 2004, p. 267-282.
[33]
Y. Papegay.
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.
[34]
Y. Papegay.
Modélisation et simulation avec Mathematica, Conférence Mathematica Paris 2004, October 2004.
[35]
G. Trombettoni.
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, 2004, p. 14–24.

Internal Reports

[36]
G. Chabert, G. Trombettoni, B. Neveu.
New light on arc-consistency over continuous domains, Technical report, INRIA, 2004, no RR-5365,
http://www.inria.fr/rrrt/rr-5365.html.
[37]
Y. Papegay.
ypama: un assistant à la modélisation, Comment implémenter la désorientation des modèles, Rapport d'étude, INRIA/Airbus France, December 2003.
[38]
Y. Papegay.
ypama: un assistant à la modélisation, Analyse dimensionnelle et cohérence des unités, Rapport d'étude, INRIA/Airbus France, April 2004.
[39]
M. Pavicic, J.-P. Merlet, N. Megill.
Exhaustive enumeration of Kochen-Specker vector systems, Technical report, INRIA, November 2004, no 5388,
http://www.inria.fr/rrrt/rr-5388.html.

References in notes

[40]
Y. Lebbah, C. Michel, M. Rueher.
Efficient pruning technique based on linear relaxations, in: Global Optimization and Constraint Satisfaction: COCOS 2003, Revised Selected Papers, LNCS, to appear, Springer.
[41]
Y. Lebbah, C. Michel, M. Rueher.
A rigorous global filtering algorithm for quadratic constraints, in: CONSTRAINTS, to appear, 2005, vol. 10, no 1.
[42]
Y. Lebbah, C. Michel, M. Rueher, J.-P. Merlet, D. Daney.
Combining local consistencies with a new global filtering algorithm on linear relaxations, in: SIAM J. of Numerical Analysis, to appear.
[43]
A. Neumaier.
Interval methods for systems of equations, Cambridge University Press, 1990.
[44]
A. Neumaier, O. Shcherbina.
Safe bounds in linear and mixed-integer programming, in: to appear in Math. Programming A., (also as http://www.mat.univie.ac.at/neum/papers.html#mip), 2002.
[45]
B. Neveu, G. Trombettoni, C. Jermann.
Inter-Block Backtracking: Exploiting the Structure in Continuous CSPs, in: Global Optimization and Constraint Satisfaction: COCOS 2003, Revised Selected Papers, LNCS, to appear, Springer.

previous
next