I. Araya, G. Trombettoni, B. Neveu
Utilisation de systèmes bien contraints pour le filtrage de CSP numériques
Actes des journées JFPC 2009, Orléans, pp 335-344 France
pdf
I. Araya, G. Trombettoni, B. Neveu
Filtering Numerical CSPs Using Well-Constrained Subsystems
Proc of CP 2009, LNCS 5732, pp 158-172, Lisbonne, Portugal
pdf
I. Araya, B. Neveu, G. Trombettoni
A New Monotonicity-Based Interval Extension Using Occurrence Grouping
Proc. of INTCP09 workshop, Lisbonne, Portugal
pdf
I. Araya, B. Neveu, G. Trombettoni
An Interval Constraint Propagation Algorithm Exploiting Monotonicity
Proc. of INTCP09 workshop, Lisbonne, Portugal
pdf
S. Bennour, L. Romdhane et J-P. Merlet
Application robotique pour la réeducation fonctionnelle de la cheville
Congrès Français de Mécanique, Marseille, août 2009
S. Bennour, L. Romdhane et J-P. Merlet
Contrôle du membre inférieur pour un mouvement de la marche
CMSM, Hammamet, Tunisie, mars 2009
V. Bonnet, B.G. Bardy, P. Fraisse, N. Ramdani, J. Lagarde and S. Ramdani,
A closed-loop controller to model postural coordination
International Conference on Perception and Action, July 2009
V. Bonnet, P. Fraisse, N. Ramdani, J. Lagarde, S. Ramdani, and B.G. Bardy,
A closed loop musculoskeletal model of postural coordination dynamics
48th IEEE Conference on Decision and Control, Shanghai, China
V. Bonnet, P. Fraisse, N. Ramdani, J. Lagarde, S. Ramdani, and B.G. Bardy,
A robotic closed-loop scheme to model human postural coordination
IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 2525-2530, St Louis, MO, USA
V. Bonnet, P. Fraisse, N. Ramdani, J. Lagarde, S. Ramdani, and B.G. Bardy,
A closed loop musculoskeletal model of postural coordination dynamics
7th Progress in Motor Control 2009, Marseille, France, July 2009
J. Hubert and J-P. Merlet
Static of Parallel Manipulators and Closeness to Singularity
Journal of Mechanisms and Robotics, vol 1, nb 1, February 2009
S. Lengagne, N. Ramdani and P. Fraisse
Safe motion planning computation for databasing balanced movement of Humanoid Robots
IEEE International Conference on Robotics and Automation, ICRA 2009, pages 1669-1674, Kobe, Japan
S. Lengagne, N. Ramdani and P. Fraisse
Planning and Fast Re-Planning of Safe Motions for Humanoid Robots: Application to a Kicking Motion
2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 441-446, St Louis, MO, USA
J-P. Merlet
Interval analysis for certified numerical solution of problems in robotics
Int. J. of Applied Mathematics and Computer Science, vol 19, nb 3, pages 399-412, September 2009
J-P. Merlet
Kinematic analysis of a spatial four-wire driven parallel crane without constraining mechanism
Proc. of Computational Kinematics, Duisburg, Germany, May 2009
J.-P. Merlet
Interval Analysis and Reliability in Robotics
International Journal of Reliability and Safety, vol 3, pages 104-130, 2009
N. Meslem, N. Ramdani and Y. Candau
Hybrid Modeling for Set-membership State Estimation with UncertainNonlinear Continuous-time Systems
Informatics in Control, Automation and Robotics, ICINCO 2008, LNEE 37 part 4, pages 255-266, Springer
N. Meslem, N. Ramdani and Y. Candau
Guaranteed parameter set estimation with monotone dynamical systems using hybrid automata
Reliable Computing, to appear
N. Meslem, N. Ramdani et Y. Candau
Approximation garantie de l'espace d'état atteignable des systèmes dynamiques continus incertains
Journal Européen des Systèmes Automatisés (JESA), vol 43. n 6, pages 587-612
N.S. Nedialkov and N. Ramdani
Towards Integrating Hybrid DAEs with a High-Index DAE Solver
Rapport de recherche INRIA 6384, février 2009
B. Neveu, G. Trombettoni, G. Chabert
Improving inter-block backtracking with interval Newton
Constraints Journal, to appear
pdf
D. Oetomo, D. Daney, B. Shirinzadeh and J.-P. Merlet
An Interval-Based Method for Workspace Analysis of Planar Flexure-Jointed Mechanism
ASME J. of Mechanical Design, vol 131, nb 1, January 2009
D. Oetomo, D. Daney, K. Harada, J.-P. Merlet, P. Dario
Topology design of surgical reconfigurable robots by interval analysis
IEEE Int. Conf. on Robotics and Automation, ICRA, Kobe, Japan, pages 3085-3090, May 2009
D. Oetomo, D. Daney and J.-P. Merlet
Design Strategy of Serial Manipulators With Certified Constraint Satisfaction
IEEE Trans. on Robotics, vol. 25, n. 1, pages 1-11
G. Pagès, N. Ramdani, P. Fraisse and D.Guiraud
A method for paraplegic upper-body posture estimation during standing: a pilot study for rehabilitation purposes
Medical & Biological Engineering & Computing, vol 47, nb 6, pages 625-633
T. Raïssi and N. Ramdani and Y. Candau
Set membership parameter estimation in the frequency domain
International Journal of Control, Automation, and System, vol 7, nb 5, pages 824-834
N. Ramdani, N. Meslem and Y. Candau
A hybrid bounding method for computing an over-approximation for the reachable space of uncertain nonlinear systems
IEEE Transactions on Automatic Control, vol 54, nb 10, pages 2352-2364
N. Ramdani, N. Meslem and Y. Candau
Computing reachable sets for uncertain nonlinear monotone systems
Nonlinear Analysis : Hybrid Systems, to appear
N. Ramdani and N.S. Nedialkov
Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint propagation techniques
3rd IFAC ADHS 09 Analysis and Design of Hybrid Systems, September 2009, Zaragoza, Spain
M.-C. Riff, X. Bonnaire, B. Neveu
A revision of recent approaches for two-dimensional strip-packing problems
Engineering Applications of Artificial Intelligence, vol 22, n4-5, June 2009, Pages 823-827
pdf
D. Varoqui, V. Bonnet, J. Froger, J.-Y. Pélissier, P. Fraisse, N. Ramdani and B.G. Bardy,
Ankle-hip coordination during supra-postural tracking by stroke patients
7th Progress in Motor Control 2009, Marseille, France, July 2009
I. Araya, B. Neveu and M-C. Riff
An efficient hyperheuristic for strip packing problems
Adaptive and Multilevel Metaheuristics, Studies on
Computational Intelligence, Springer, vol. 136, pages 71-76
pdf
I. Araya, B. Neveu et Gilles Trombettoni
Exploiter les sous-expressions communes dans les CSP numériques
Actes des journées JFPC 2008, Nantes, France
pdf
I. Araya, B. Neveu, and Gilles Trombettoni
Exploiting Common Subexpressions in Numerical CSPs
Principles and Practice of Constraint Programming CP 2008, Sydney, Australia, LNCS, vol 5002, pages 342-357, Springer
pdf
T. Bastogne, S. Mézières-Wantz, N. Ramdani, P. Vallois and M. Barberi-Heyob
Identification of Pharmacokinetics Models in the presence of Timing Noise
European Journal of Control, vol.14. n.2
P. Bernhard, Vladimir Gaitsgory and Odile Pourtallier. editors
Advances in Dynamic Games and Their Applications
Annals of the International Society of Dynamic Games, vol. 10,Birkhauser Boston
V. Bonnet, J. Lagarde, P. Fraisse, N. Ramdani, S. Ramdani and B. Bardy
Understanding Bistable Human Postural Coordination Dynamics to Guide Bio-inspired Control of Humanoids
38th annual meeting of the Society for Neuroscience, Washington, DC, USA
V. Bonnet, P. Fraisse, N. Ramdani, J. Lagarde, S. Ramdani and B. Bardy
Modeling postural coordination dynamics using a closed-loop controller
Proc. of IEEE International Conference on Humanoid Robots, Humanoids 2008, Daejeon, South Korea
M. Gouttefarde, S. Krut, O. Company, F. Pierrot and N. Ramdani
On the Design of Fully Constrained Parallel Cable-driven Robots
Advances in Robot Kinematics: Analysis and Design. pages 71-78
M. Hladik, David Daney and Elias P. Tsigaridas
An Algorithm for the Real Interval Eigenvalue Problem
INRIA, RR 6680
J. Hubert and J.-P. Merlet
Singularity Analysis through Static Analysis
Advances in Robotic Kinematics, Batz-sur-mer, France, pages 13-20, Springer
H. Kameda and E. Altman and O. Pourtallier
A Mixed Optimum in Symmetric Distributed Computer Systems
IEEE Trans. on Automatic Control, vol. 53, n. 2
S. Krut, N. Ramdani, M. Gouttefarde, O. Company and F. Pierrot
A Parallel Cable-Driven Crane for Scara-Motions
Proc. of ASME International Design Engineering Technical Conferences (IDETC), New York, NY, USA
S. Lengagne, N. Ramdani and P. Fraisse
A new method for generating safe motions for humanoid robots
Proc. of IEEE International Conference on Humanoid Robots, Humanoids 2008, Daejeon, South Korea
S. Lengagne, N. Ramdani et P. Fraisse
Méthode pour la planification de trajectoires garanties
Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes, Metz, France
J.-P. Merlet
Kinematics of the Wire-driven Parallel Robot {MARIONET} using Linear Actuators
IEEE Int. Conf. on Robotics and Automation, Pasadena,CA,USA
pdf
J.-P. Merlet
Analysis of wire elasticity for wire-driven parallel robots
2nd European Conf. on Mechanism Science (Eucomes), Cassino, Italy, pages 471-478
J.-P. Merlet and D. Daney
Smart Devices and Machines for Advanced Manufacturing, chapter 1
Springer
J.-P. Merlet and C. Gosselin
Parallel Mechanisms and Robots
Handbook of Robotics, pages 269-285, Springer
N. Meslem, N. Ramdani and Y. Candau
Interval Observers for Uncertain Nonlinear Systems. Application to bioreactors
17th World Congress IFAC, Seoul, South Korea, pages 9667-9672
N. Meslem, N. Ramdani et Y. Candau
Approximation conservative de l'espace d'état atteignable des systèmes dynamiques monotones par analyse par intervalles et hybridation
CIFA, Bucarest, Roumanie
N. Meslem, N. Ramdani and Y. Candau
Guaranteed State Bounding Estimation for Uncertain Non Linear Continuous Systems using Hybrid Automata
Funchal, Madeira, Portugal
B. Neveu and G. Trombettoni
Strip Packing Based on Local Search and a Randomized Best-Fit
Proc. of First Workshop on Bin Packing and Placement Constraints BPPC'08, Paris, France
pdf
B. Neveu, G. Trombettoni, I. Araya and M.-C. Riff
A Strip Packing Solving Method Using
an Incremental Move based on Maximal Holes
International Journal on Artificial Intelligence Tools, vol.17, n.5
pdf
D. Oetomo, D. Daney, B. Shirinzadeh and J.-P. Merlet
Certified Workspace Analysis of 3RRR Planar Parallel Flexure Mechanism
IEEE Int. Conf. on Robotics and Automation, Pasadena,CA,USA
Y. Papegay
Certified Computations with UnCertainties
Mathematica User Conference, Champaign, Illinois, USA
Y. Papegay and D. Daney
UnCertainties, a Package for Interval Analysis
9th International Mathematica Symposium, Maastricht, The Netherlands
Y. Papegay and O. Pourtallier
Exploring Routing Strategies for a Virtual Yacht Race
9th International Mathematica Symposium, Maastricht, The Netherlands
N. Ramdani and M. Gouttefarde and F. Pierrot and J.-P. Merlet
First Results on the Design of High Speed Parallel Robots in Presence of Uncertainty
Proc. of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Nice, France, pages 2410-2415
N. Ramdani, N. Meslem and Y. Candau
Reachability of Uncertain Nonlinear Systems using a Nonlinear Hybridization
HSCC, LNCS, vol. 4981 pages 415-428, Springer
N. Ramdani, N. Meslem and Y. Candau
Reachability Analysis of Uncertain Nonlinear Systems using Guaranteed Set Integration
17th World Congress IFAC, Seoul, South Korea, pages 8972-8977
N. Ramdani and Y. Papegay
Guaranteed Numerical Integration of Nonlinear Parametric ODEs
9th International Mathematica Symposium, Maastricht, The Netherlands
C. Tavolieri, M. Ceccarelli and J.-P. Merlet
A Workspace Analysis of a Fully constrained Cable-Based Parallel Manipulator by Using Interval Analysis
MUSME, San Juan, Argentina
G. Trombettoni, Y. Papegay,G. Chabert,and O. Pourtallier
A Box-Consistency Contraction Operator Based on Extremal Functions
Abstract in the GAMM/IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations (SCAN) , El Paso, TX, USA
T. Bastogne,S. Mézières-Wantz, N. Ramdani, P. Vallois and
M. Barberi-Heyob
Parameter Estimation of Pharmacokinetics Models in the
presence of Timing Noise
European Control Conference ECC'07, Kos, Greece
pdf
V.Bonnet, J.Lagarde, P.Fraisse, N.Ramdani, S.Ramdani, P. Poignet and
B.Bardy
Modeling of the human postural coordination to improve the humanoids control of balance
IEEE International Conference on Humanoid Robots, Humanoids
2007, Pittsburg, USA
pdf
I. Braems, N. Ramdani, M. Kieffer, L. Jaulin, E. Walter and Y. Candau
Guaranteed characterization of thermal conductivity
and diffusivity in presence of model uncertainty
Inverse Problems in Science and Engineering, vol. 15, n. 8, pages 895-910
pdf
G. Chabert
Techniques d'intervalles pour la résolution de systèmes
d'équations
pdf
Thèse de doctorat, Université de Nice-Sophia Antipolis
G. Chabert, A. Goldsztejn
Extension of the Hansen-Bliek Method to Right-Quantified Linear Systems
Reliable Computing, vol. 13, n. 4, p. 325-349, 2007.
C.Grandon
Solving systems of distance equations with uncertainties
Thèse de doctorat, Université de Nice-Sophia Antipolis
pdf
C. Grandon, G. Chabert, B. Neveu
Generalized Interval Projection: A New Technique for Consistent Domain Extension
IJCAI, p. 94-99, Hyderabad, India, 2007.
pdf
C. Grandon, D. Daney, Y. Papegay, C. Tavolieri, E. Ottaviano and
M. Ceccarelli
Handling Uncertainties with Symbolic/Numerical Solvers for a Class of Parallel Robots
International Federation for the Theory of Machines and
Mechanisms (IFToMM) 2007, Besançon, France
pdf
M. Gouttefarde, J-P. Merlet and D. Daney
Wrench-Feasible Workspace of Parallel Cable-Driven Mechanisms
H. Kameda, E. Altman and O. Pourtallier
A Mixed Optimum in Symmetric Distributed Computer Systems
IEEE Transaction on Automatic Control, vol. 53, no2, pp. 631-635
S.Lengagne, N.Ramdani and P.Fraisse
Guaranteed computation of constraints for safe path planning
IEEE International Conference on Humanoid Robots, Humanoids 2007, Pittsburg, USA
pdf
K. Liem, A Kecskemethy and J-P. Merlet
HexaSpine : A Parallel Platform for Physical Cervical
Spine Simulation - Design and Interval-Based Verification
12th IFToMM World Congress in Mechanism and Machine Science
2007, Besançon, France
J-P. Merlet
Interval analysis and robotics
13th International Symposium of Robotics Research, Hiroshima,
Japan
J-P. Merlet
Robotique, domotique et constructions
1st Int. Rivieran Meeting on ImmoTIC-DomoTIC,
Sophia-Antipolis, France
J-P. Merlet
A new design for wire-driven parallel robot
2nd Int. Congress, Design and Modelling of mechanical
systems, Monastir, Tunisia
J-P. Merlet
A formal-numerical approach for robust in-workspace
singularity detection
IEEE Trans. on Robotics and Automation, 23,3, p. 393-402
J-P. Merlet
A Local Motion Planner for Closed-loop Robots
IEEE Int. Conf. on Intelligent Robots and
Systems (IROS), San Diego, CA, USA
pdf
B. Neveu and G. Trombettoni and I. Araya
Recherche locale pour la découpe de rectangles
ROADEF 2007, p. 43-44
pdf
B. Neveu, G. Trombettoni, I. Araya
Un mouvement incrémental pour le problème du strip packing
JFPC 2007, p. 347-356, Rocquencourt, France.
pdf
B. Neveu, G. Trombettoni, I. Araya
Incremental move for strip-packing
ICTAI 2007, Patras, Greece, Oct 2007
pdf
G. Pagès, N. Ramdani, P. Fraisse and D. Guiraud
Upper body posture estimation for standing function
restoration
International Conference on Robotics and Automation
ICRA'07, p. 3742-3747, Roma, Italy
Y. Papegay
The Mosela Modeling and Simulation Environment
rapport d'étude INRIA/Airbus France
Y. Papegay
Génération de code C avec Mathematica : le packetage
SymbolicC
Conférence Mathematica Paris 2007
Y. Papegay and D.Daney
Computing with Intervals : the Ultimate Symbolic Computation
?
Wolfram Technology Conference,Champaign, Illinois, USA
G. Trombettoni, G. Chabert
Constructive Interval Disjunction
Principles and Practice of Constraint Programming CP 2007,
LNCS 4741, pp 635-650
pdf
G. Trombettoni, G. Chabert
CID : disjonction constructive sur intervalles
JFPC 2007, p. 193-202, Rocquencourt, France.
pdf
D. Daney, N. Andreff, G. Chabert, Y. Papegay
Interval method for calibration of parallel robots: a vision-based experimentation
Mechanism and Machine Theory 41, 8, August 2006, p. 929-944.
pdf
D. Daney, I. Emiris, Y. Papagay, E. Tsigaridas, J.P. Merlet,
Calibration of parallel robots: on the elimination of pose-dependent parameters
1st European Conf. on Mechanism Science (Eucomes), Obergurgl, February 21-26 2006
pdf
L. Farenc, Y. Papegay,
Modeling flight dynamics for real-time simulator applications
International Mathematica Symp., Juin 2006
A. Goldsztejn, G. Chabert,
A Generalized Interval LU Decomposition for the Solution of Interval Linear Systems
NMA - 6th International Conference on Numerical Methods and Applications, Borovets, Bulgaria, 2006
pdf
A. Goldsztejn, G. Chabert
On the Approximation of Linear AE-Solution Sets
SCAN - 12th International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006
M. Gouttefarde, C. M. Gosselin
Analysis of the Wrench-Closure Workspace of Planar Parallel Cable-Driven Mechanisms
IEEE Trans. on Robotics 22, 3, June 2006, p. 434-445.
M. Gouttefarde, J.-P. Merlet, D. Daney
Determination of the wrench-closure workspace of 6-dof parallel cable-driven mechanisms
ARK, p. 315-322, Ljubljana, June 26-29 2006
pdf
C. Grandon, D. Daney, Y. Papegay
Combining CP and Interval Methods for solving the Direct Kinematic of a Parallel Robot under Uncertainties
Interval analysis, constraint propagation, applications : Int. workshop at CP'2006 conference, September 2006
pdf
C. Grandon, A. Goldsztejn
Inner Aproximation of Distance Constraints with Existentially Quantified Parameters
SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, ACM Press, p. 1660-1661
pdf
C. Grandon, A. Goldsztejn
Quantifier Elimination versus Generalized Interval Evaluation: A comparison on a Special Class of Quantified Constraints
11th Information Processing and Management of Uncertainty International Conference, IPMU 2006, Editions EDK, p. 786-793, Paris, France, 2006
pdf
C. Grandon, N. Morales, G. Chabert
A Strategy for solving Systems of Equations with Uncertainties
12th GAMM - IMACS International Symposion on Scientific Computing,
Computer Arithmetic and Validated Numerics, SCAN 2006, Duisburg, Germany, 2006.
C. Grandon, B. Neveu
A Specific Quantifier Elimination for Inner Box Test in Distance Constraints with Uncertainties
Research Report number 5883, INRIA, April 2006,
report
C. Jermann, G. Trombettoni, B. Neveu, P. Mathis
Decomposition of Geometric Constraint Systems: a Survey
Int. Journal of Computational Geometry and Applications
(IJCGA) 16, 5-6, p 379-414
pdf
J.-P. Merlet
Jacobian, manipulability,condition number, and accuracy of parallel robots
ASME J. of Mechanical Design 128, 1, January 2006, p. 199-206.
J.-P. Merlet
Robust Design of a Deployable Space Telescope
ECMI Newsletter 39, March 2006, p. 9-11.
J.-P. Merlet, D. Daney
Legs Interference Checking of Parallel Robots over a Given Workspace or Trajectory
IEEE Int. Conf. on Robotics and Automation, Orlando, May 16-18 2006
pdf
J.-P. Merlet, P. Donelan
On the regularity of the inverse jacobian of parallel robot
ARK, p. 4148, Ljubljana, June 26-29 2006
pdf
J.-P. Merlet
Interval analysis and robotics
Twelfth International Conference on Principles and Practice of Constraint Programming CP-2006, Nantes, 2006. Invited talk.
J.-P. Merlet
Computing the worst case accuracy of a PKM over a workspace or a trajectory
5th Chemnitzer Parallelkinematik Seminar, p. 83-96, Chemnitz, April 25-26 2006
B. Neveu, G. Chabert, G. Trombettoni
When Interval Analysis helps Interblock Backtracking
Twelth International Conference on Principles and Practice of Constraint Programming (CP'2006), LNCS 4204, p. 390-405, 2006.
postscript
pdf
M. Riff, T. Alfaro, X. Bonnaire, C. Grandon
EA-MP: An evolutionary algorithm to solve a Mine Planning Problem
Sixth International Conference on Numerical Methods and Applications - NMA'06, Borovets, Bulgaria, 2006
Y. Papegay,
Exploring Board Game Strategies
The Mathematica Journal 10, 2, 2006, p. 363-395
Y. Papegay
Industrial C code generation, SymbolicC: a C wrapper
Wolfram Technology Conference, Urbana-Champaign, 2006
G. Trombettoni, M. Wilczkowiak
GPDOF: A Fast Algorithm to Decompose Under-constrained Geometric Constraints: Application to 3D Modeling
Int. Journal of Computational Geometry and Applications
(IJCGA) 16, 2006, 5/6, p. 579-611.
pdf
G. Trombettoni, G. Chabert
Constructive Interval Disjunction
IntCP (interval analysis, constraint propagation, applications) Int. workshop at CP'2006 conference, Nantes, 2006
pdf
H.Batnini, M.Rueher, C.Michel
Une stratégie de résolution orientée par la topologie des CSP numériques
Actes JFPC'05 (1ères Journées Francophones de
Programmation par Contraintes), Lens, juin 2005, pages 199-210
pdf ,
postscript
H.Batnini, C.Michel, M.Rueher
Mind The Gaps: A New Splitting Strategy for Consistency Techniques
Proc. of CP'05, Eleventh International Conference on
Principles and Practice of Constraint Programming, Sitges, Espagne, octobre 2005, Springer LNCS 3709, pp 77-91
pdf ,
postscript
M. Bossy, N.Maïzi, G.J.Olsder, O.Pourtallier, E.Tanré
Electricity prices in a game theory context
Dynamic games, theory and applications, chapter 7, pages 135-159, Springer
G.Chabert, G.Trombettoni, B.Neveu
IGC : une nouvelle consistance partielle pour les CSP continus
Actes JFPC'05 (1ères Journées Francophones de
Programmation par Contraintes), Lens, juin 2005, pages 211-218
postscript
G Chabert, G. Trombettoni, B. Neveu
Box-Set Consistency for interval-based constraint problems
SAC - 20th ACM Symposium on Applied Computing
Santa Fe, USA, mars 2005.
postscript
D.Daney, A.Andreff, Y.Papegay
Interval method for calibration of parallel robots: a vision-based
experimentation
Computational Kinematics (CK), mai 2005, Cassino, Italie
D.Daney, B. Madeline, Y.Papegay
Choosing Measurement Poses for Robot Calibration with local
Convergence Method and Tabu Search
International Journal of Robotic Research, vol 24, n 6. pages 501-518, 2005
pdf
R.El Azouzi, E.Altman, O.Pourtallier
Braess paradox and properties of wardropp equilibrium in
some multiservice networks
Dynamic games, theory and applications, chapter 3, pages 55-77, Springer
A.Goldsztejn, D.Daney, M.Rueher, P.Taillibert
Modal intervals revisited: a mean-value extension to
generalized intervals
Proc. of QCP-2005 (Quantification in Constraint
Programming), Sitges, Espagne, octobre 2005
pdf
A.Goldsztejn
A Right-Preconditioning Process for the Formal-Algebraic Approach
to Inner and Outer Estimation of {A}{E}-solution Sets
Reliable Computing, vol 11, n 6, pages 443-478, 2005
C.Grandon, B.Neveu
Using Constraint Programming for Solving Distance CSP with
Uncertainty
Proc. of CP'05, Eleventh International Conference on
Principles and Practice of Constraint Programming, Sitges, Espagne, octobre 2005, Springer LNCS 3709, page 847
F.Hao, J-P. Merlet
Y.Lebbah
Y.Lebbah, C.Michel, M.Rueher, D.Daney, J-P.Merlet
Y.Lebbah, C.Michel, M.Rueher
Y.Lebbah, C.Michel, M.Rueher
J-P.Merlet
J-P.Merlet
J-P. Merlet
J-P. Merlet
J-P. Merlet
J-P.Merlet, D.Daney
J-P.Merlet, D.Daney
B. Neveu
B.Neveu, C.Jermann, G.Trombettoni
B.Neveu, G.Trombettoni, F.Glover
Y.Papegay
Y.Papegay, D.Daney
Y.Papegay, J-P.Merlet, D.Daney
M.Pavicic, J-P.Merlet, B.McKAy, N.D.Megill
J-C.Régin, M.Rueher
M.Rueher
H.Batnini, M.Rueher
H.Batnini, M.Rueher
D. Chablat, P. Wenger et J-P. Merlet
D. Chablat, P. Wenger, F. Majou et J-P. Merlet
G. Chabert, G. Trombettoni, B. Neveu
D. Daney, Y. Papegay, A. Neumaier
D. Daney, I. Z. Emiris
C.Jermann, B.Neveu, G.Trombettoni
C.Jermann, B.Neveu, G.Trombettoni
Yahia Lebbah, Claude Michel, Michel Rueher, David Daney, Jean-Pierre Merlet
E. Lee, C. Mavroidis et J-P. Merlet
J.-P. Merlet
J.-P. Merlet
J.-P. Merlet
J.-P. Merlet
J.-P. Merlet
J.-P. Merlet
B.Neveu, G.Trombettoni, C. Jermann
B.Neveu, G.Trombettoni
B.Neveu, G.Trombettoni, F.Glover
H.Batnini, M.Rueher
D. Daney,
Yahia Lebbah, Claude Michel, Michel Rueher
Yahia Lebbah, Claude Michel, Michel Rueher
B.Neveu, G.Trombettoni
B.Neveu, G.Trombettoni
C.Jermann, B.Neveu, G.Trombettoni
C.Jermann, B.Neveu, G.Trombettoni
C.Jermann, B.Neveu, G.Trombettoni
Y. Lebbah, C. Michel, M. Rueher
J.-P. Merlet
J.-P. Merlet
J.-P. Merlet
J.-P. Merlet
Claude Michel, Yahia Lebbah, Michel Rueher
B.Neveu, G.Trombettoni
G. Trombettoni, M. Wilczkowiak
M. Wilczkowiak, G. Trombettoni, C. Jermann, P. Sturm, E. Boyer
Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert
D. Daney, I. Z. Emiris,
D. Daney,
C.Jermann, B.Neveu, G.Trombettoni
C.Jermann, G.Trombettoni,
Y. Lebbah, O. Lhomme
Y. Lebbah, M. Rueher, C. Michel
B. Madeline
C. Michel.
J-P. Merlet.
J-P. Merlet.
J-P. Merlet.
N.Prcovic, B.Neveu
D. Daney, I. Z. Emiris,
D. Daney, I. Z. Emiris,
B.Madeline, B.Neveu
B.Madeline, B.Neveu
J-P. Merlet.
J-P. Merlet, D. Daney,
C. Michel, M. Rueher, Y. Lebbah
F. Pierrot, J-P. Merlet.
G.Trombettoni, B.Neveu
Mechanism and Machine Theory, vol. 40, n. 2, pages 51-171, février 2005
pdf
Safe reduction techniques for global optimization
INT'05: Interval methods and their applications, Copenhague, Danemark, août 2005
Efficient and Safe Global Constraints for
handling Numerical Constraint Systems
SIAM Journal on Numerical Analysis, vol 42, n 5, pages 2076-2097
postscript ,
pdf
A rigorous global filtering algorithm for quadratic constraints
CONSTRAINTS Journal, vol. 10, No. 1,January 2005
postscript ,
pdf
Efficient pruning technique based on linear relaxations
Global Optimization and Constraint Satisfaction: COCOS 2003, Revised Selected
Papers. LNCS 3478, pages 1-14 Springer, 2005
postscript
pdf
Applications of interval analysis in robotics
Interval methods and their applications, Copenhague, Danemark, août 2005
Systems of distance equations: application to robotics,
Proc. of Interval Analysis, Constraint
Propagation, Application IntCP'05, Sitges, Espagne, octobre 2005, pages 48-57
The necessity of optimal design for parallel machines
and a possible certified methodology
2nd Int. Colloquium, Collaborative Research Centre 562, Braunschweig, Allemagne, pages 7-20
Optimal design of robots
Robotics: Science and Systems, Boston, juin 2005
Jacobian, manipulability, condition number and accuracy of
parallel robots
ISRR, San Francisco, octobre 2005
Dimensional synthesis of parallel robots with a guaranteed
given accuracy over a specific workspace
IEEE Int. Conf. on Robotics and Automation, Barcelone, Espagne, avril 2005
Kinematics and synthesis of cams-coupled parallel robots
Computational Kinematics (CK), mai 2005, Cassino, Italie
Techniques de résolution de problèmes de satisfaction de contraintes
Mémoire d'habilitation à diriger des recherches
postscript ,
pdf
Inter-block Backtracking : Exploiting the structure in
continuous CSPs
Global Optimization and Constraint Satisfaction,
revised selected papers of COCOS'03 , Springer LNCS 3478, pages 15-30
postscript ,
pdf
IDW : un algorithme de recherche locale combinant intensification et
diversification
Congrès de l'association française de recherche
opérationnelle et d'aide à la décision, ROADEF'2005,
pages 288-289, Tours, France
postscript
Exploring Boardgame Strategies
Proc. of the 7th International Mathematica Symposium, Perth, Australie, août 2005
Solving with Interval Analysis
Wolfram Technology Conference, octobre 2005, Illinois, USA
Exact Kinematic Analysis of
Car's Suspension Mechanisms Using Symbolic Computation and Interval
Analysis
Mechanism and Machine Theory, vol 40, pages 395-413, 2005
Kochen-Specker vectors
J. Phys. A: Math Gen, vol 38, n 7, pages 1577-1592, février 2005
pdf
Inequality-sum: a global constraint capturing the objective
function
RAIRO-Operations research, vol. 39, n. 5, pages 123-139
postscript ,
pdf
Solving continuous constraint systems
8th International Conference on Computer Graphics and
Artificial Intelligence (3IA'2005)
postscript ,
pdf
2004
Décomposition sémantique pour la résolution de systèmes de contraintes de distance
JEDAI Volume 2 (2004): Résolution Pratique des Problèmes NP-Complets (1)
pdf
QuadDist : filtrage global pour des systèmes de distance euclidienne
Actes JNPC'04(10èmes Journées Nationales pour la résolution pratique de Problèmes NP-Complets), Angers, juin 2004, pages 59-71
pdf ,
postscript
A comparative study between two three-dof parallel kinematic
machines using kinetostatic criteria and interval analysis
11th World Congress on Theory of Machines and Mechanisms, pages 1209-1213, Tianjin, Chine, avril 2004
An interval analysis based study for the design and the
comparison of three-degrees-of-freedom parallel kinematic machine
Int. Journal. of Robotics Research, vol 23, num 6, pages 615-624
pdf
New light on arc-consistency over continous domains
Proc. CP'04 First International Workshop on Constraint
Propagation and Implementation , Toronto, Canada
postscript
Interval Methods for Certification of the Kinematic Calibration of Parallel Robots
IEEE International Conference on Robotics and Automation (ICRA), pages 147-152, avril-mai 2004, New Orleans, Etats Unis
Algebraic Elimination for Parallel Robot Calibration
11th World Congress on Theory of Machines and Mechanisms (IFToMM), avril 2004, Tianjin, Chine
A new structural rigidity for geometric constraints systems
Revised papers of 4th International Workshop on
Automated Deduction in Geometry (ADG'02), Springer LNAI 2930, pages 87-105
postscript
Algorithmes pour la détection de rigidités dans les CSP géométriques
JEDAI Volume 2 (2004): Résolution Pratique des Problèmes NP-Complets (1)
pdf
Efficient and Safe Global Constraints for handling Numerical Constraint Systems
Accepted for publication in the SIAM Journal on Numerical Analysis
Five precision points synthesis of spatial {RRR}
manipulators using interval analysis
ASME J. of Mechanical Design, vol 126 (5), pages 842-849, septembre 2004
Solving the Forward Kinematics of a Gough-Type Parallel Manipulator with Interval Analysis
Int. Journal of Robotics Research, vol 23, num 3, pages 221-236, 2004
pdf
Getting exact information from the inverse jacobian matrix of
parallel and serial robots
11th World Congress on Theory of Machines and Mechanisms, pages 1951-1955, Tianjin, Chine, avril 2004
Guaranteed in-the-workspace improved trajectory/suface/volume
verification for parallel robots
IEEE Int. Conf. on Robotics and Automation, New Orleans, Etats Unis, avril 2004
Analysis of the influence of wire interference on the workspace
of wire robots
ARK, pages 211-218, Sestri-Levante, Italie, 28 juin- 1 juillet 2004
A note on the history of trigonometric functions
International Symposium on History of Machines and
Mechanisms, HMM2004, Kluwer, pages 195-200
Daniel and the robots
International Conference on Polynomial System Solving, Paris, novembre 2004
Retour-arrière inter-blocs et résolution par intervalles
Actes JNPC'04(10èmes Journées Nationales pour la résolution pratique de Problèmes NP-Complets), Angers, juin 2004,pages 267-282
postscript ,
pdf
Hybridation de GWW avec de la recherche locale
JEDAI Volume 3 (2004): Résolution Pratique des Problèmes NP-Complets (2)
pdf
ID-Walk : A Candidate List Strategy with a Simple Diversification Device
Principles and Practice
of Constraint Programming CP2004, Toronto, Canada, Springer LNCS 3258, pages 423-437
postscript
2003
Filtrage local par décomposition de CSP continus
Actes JNPC'03 (9èmes Journées Nationales pour la résolution pratique de Problèmes NP-Complets), Amiens, juin 2003, pages 39-52. postscript ,
pdf
Kinematic Calibration of the Gough platform.
Robotica, Cambridge University Press, vol(21), 2003.
Une combinaison de consistances locales avec un filtrage global sur des relaxations linéaires
Actes JNPC'03 (9èmes Journées Nationales pour la résolution de Problèmes NP-Complets), Amiens, juin 2003, pages 217-232 postscript , pdf
Global filtering algorithms based on linear relaxations
2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction, (Cocos'03)
Lausanne, Switzerland, 18-21 November 2003
postscript
Hybridation de GWW avec de la recherche locale ,
9èmes Journées
Nationales sur la résolution pratique de Problèmes NP-Complets (JNPC'2003), Amiens, juin 2003, pages 277-292
postscript
When Local Search Goes with the Winners ,
5th Int. Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimisation Problems CPAIOR 2003, Montréal, mai 2003, pages 180-194.
postscript
Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems ,
Int. Joint Conference on Artificial Intelligence, IJCAI 2003,
Acapulco, Mexique, août 2003, pages 233-238. pdf
Algorithmes pour la détection de rigidités dans les CSP géométriques ,
9èmes Journées
Nationales sur la résolution pratique de Problèmes NP-Complets (JNPC'2003), Amiens, pages 177-188.
postscript
Inter-Block Backtracking: Exploiting the Structure in Continuous CSPs ,
COCOS'03 2nd International Workshop on
Global Constrained Optimization and Constraint Satisfaction,
Lausanne
postscript
Global filtering algorithms based on linear relaxations
2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction, (Cocos'03)
Lausanne, Suisse , 18-21 novembre 2003
postscript
Determination of the optimal geometry of modular parallel robots
IEEE Int. Conf. on Robotics and Automation, Taipei, septembre 2003
Usual and unusual applications of interval analysis
2nd International Workshop on Global Constrained
Optimization and Constraint Satisfaction (COCOS'03),Lausanne, 2003
Analyse par intervalles et résolution de systèmes
Journées Nationales du Calcul Formel , Marseille, 2003
Analyse par intervalles
Ecole thématique sur l'arithmétique des ordinateurs, Dijon, 2003
Safe embedding of the Simplex Algorithm in a CSP framework
Proc. of 5th Int. Workshop on Integration of AI and OR techniques in Constraint
Programming for Combinatorial Optimisation Problems CPAIOR 2003, Montréal, mai 2003, pages 210-220
pdf
INCOP: An Open Library for INcomplete Combinatorial OPtimization,
Principles and Practice
of Constraint Programming CP2003, Cork, Irlande, Springer LNCS 2833, pages 909-913 postscript
Scene Reconstruction based on Constraints : Details on the Equation System Decomposition
Principles and Practice
of Constraint Programming CP2003, Cork, Irlande, Springer LNCS 2833, pages 956-961 pdf
Scene Modeling Based on Constraint System Decomposition Techniques
International Conference on Computer
Vision, ICCV'03, pages 1004-1010 pdf
2002
Génération de cas de test par contraintes
(Utilisation des contraintes pour la génération automatique de cas de test structurels),
TSI (Hermes) - No 21, 2002, pp. 1163-1187 ,
postscript , pdf
Variable elimination for reliable parallel robot calibration.
Electronic Journal of Computational Kinematics, vol 1 (1), 2002.
Optimal Measurement Configurations for Gough Platform
Calibration.
In IEEE International Conference on Robotics and Automation (ICRA), pp. 147-152, 11-15 May 2002, Washington.
De la rigidité structurelle,
Groupe de travail en modélisation géométrique, Nantes, mars 2002, pages 106-115. postscript
Complexité de la Détection de Rigidité dans des Systèmes de Contraintes Géométriques
8èmes Journées Nationales de la Résolution Pratique de Problèmes NP-Complets (JNPC'02), pages 143-154, Nice, mai 2002
postscript
Accelerating filtering techniques for numeric CSPs
Artificial Intelligence, vol 139-1, pages 109-132
A Global filtering algorithm for handling systems of quadratic equations
and inequations
CP'2002, Eighth International Conference on Principles and Practice of Constraint Programming, Septembre 2002, Cornell University, Ithaca, NY, Etats-Unis
LNCS 2470 pages 109-123, Springer, postscript, pdf
A New Low Cost and Undedicated Genetic Operators
Rapport de recherche, 4573, Inria, Sophia-Antipolis, France,
postscript
A Computing exact projections of constraints over floating point numbers
in : Seventh international symposium on Artificial Intelligence and Mathematics (7th AIMA),
Fort Lauderdale, Floride, Etats-Unis, janvier 2002.
The need for a systematic methodology for the evaluation and optimal
design of parallel manipulators.
In 3rd Chemnitzer Parallelkinematik Seminar, pages 49--62,
Chemnitz, 23-25 avril 2002
A general methodology for certified evaluation of the performances of
parallel robots.
In 1st Int. Colloquium, Collaborative Research Centre 562,
pages 97--106, Braunschweig, 29-30 mai 2002
An initiative for the kinematic study of parallel manipulators.
Workshop on Fundamental Issues and Future Research Directions
for Parallel Mechanisms and Manipulators}, pages 2--9, Québec,
3-4 octobre 2002
Progressive Focusing Search ,
15th European Conference on Artificial Intelligence (ECAI 2002), Lyon, juillet 2002, pages 126-130. postscript
2001
Robust parallel robot calibration with partial information.
In IEEE International Conference on Robotics and Automation (ICRA), vol(4), pp. 3262-3267, 21-26 mai 2001, Corée .
Variable elimination for reliable parallel robot calibration.
In 2nd Workshop on Computational Kinematics (CK), pp. 133-144, 20-22 mai 2001, Coree.
postscript
Méthodes de recherche arborescente comparées aux algorithmes génétiques sur des problèmes de coloriage de graphes surcontraints
7èmes Journées
Nationales sur la résolution pratique de Problèmes NP-Complets (JNPC'2001), Toulouse, juin 2001.
postscript
Tree Search Methods versus Genetic Algorithms for Over-Constrained Graph Coloring Problems
Metaheuristics International Conference MIC'01, Porto, Portugal, juillet 2001, pages 731-736
postscript
A parser for the interval evaluation of analytical functions and its
applications to engineering problems.
J. Symbolic Computation, 31:475--486, 2001.
A formal-numerical approach to determine the presence of singularity
within the workspace of a parallel robot.
In 2nd Workshop on Computational Kinematics (CK), pp. 167-176, 20-22 mai 2001, Coree.
postscript
Solving constraints over floating-point numbers
CP'2001,Seventh International Conference on Principles and Practice of Constraint Programming, Nov 26 - Dec 1, 2001, Paphos, Cyprus, LNCS 2239 (Springer Verlag), pp. 524-538.
postscript , pdf
Modélisation des robots parallèles.
In E. Dombre, réd., Analyse et modélisation des robots
manipulateurs, chapitre 3, pages 93--144. Hermès, Paris, 2001.
Links for Boosting Predictable Interactive Constraint Systems ,
UICS'01 International Workshop on User Interaction in Constraint Satisfaction, Paphos, Chypre, novembre 2001.
postscript