Filter your results
- 46
- 45
- 45
- 34
- 9
- 1
- 1
- 1
- 72
- 11
- 9
- 6
- 2
- 6
- 1
- 4
- 6
- 3
- 3
- 9
- 5
- 6
- 4
- 5
- 7
- 13
- 2
- 5
- 4
- 88
- 3
- 56
- 27
- 9
- 7
- 5
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 91
- 22
- 13
- 13
- 8
- 8
- 8
- 7
- 7
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
91 Results
|
Dynamics-based Algorithm for Reliable Assembly Mode Tracking in Parallel RobotsIEEE Transactions on Robotics, 2020, 36 (3), pp.937-950. ⟨10.1109/TRO.2020.2987855⟩
Journal articles
hal-02539443v1
|
||
|
Finding the Maximal Pose Error in Robotic Mechanical Systems Using Constraint ProgrammingThe Twenty Third International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA-AIE 2010), Jun 2010, Cordoba, Spain
Conference papers
hal-00462935v1
|
||
Quantifier Elimination versus Generalized Interval Evaluation: a Comparison on a Specific Class of Quantified ConstraintUncertainty and Intelligent Information Systems, World Scientific, pp.501-511, 2008
Book sections
hal-00431188v1
|
|||
A Right-Preconditioning Process for the Formal-Algebraic Approach to Inner and Outer Estimation of AE-solution SetReliable Computing, 2005, 11 (6), pp.443-478
Journal articles
hal-00431165v1
|
|||
|
Inner approximation of the range of vector-valued functionsReliable Computing, 2010, pp.1-23
Journal articles
hal-00518507v1
|
||
|
A standard branch-and-bound approach for nonlinear semi-infinite problemsEuropean Journal of Operational Research, 2020, 282 (2), pp.438-452. ⟨10.1016/j.ejor.2019.10.025⟩
Journal articles
hal-02415459v1
|
||
|
Towards a Generic Interval Solver for Differential-Algebraic CSPCP 2020 - 26th International Conference on Principles and Practice of Constraint Programming, Simonis, Helmut, Sep 2020, Louvain-la-Neuve, Belgium. pp.548-565, ⟨10.1007/978-3-030-58475-7_32⟩
Conference papers
hal-02956402v1
|
||
|
A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots18th international conference on Principles and Practice of Constraint Programming, 2012, Québec City, Canada. pp.867-882
Conference papers
hal-02005023v1
|
||
Simultaneous automated design of structured QFT controller and prefilter using nonlinear programmingInternational Journal of Robust and Nonlinear Control, 2017, 27 (15), pp.2529-2548. ⟨10.1002/rnc.3695⟩
Journal articles
hal-01408593v1
|
|||
On the approximation of linear AE-solution sets12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2006, Germany. pp.18-18, ⟨10.1109/SCAN.2006.33⟩
Conference papers
hal-00481284v1
|
|||
|
Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems19th International Conference on Principles and Practice of Constraint Programming (CP'13), 2013, Sweden. pp.774-789
Conference papers
hal-00867986v1
|
||
|
Modal Intervals Revisited Part 2: A Generalized Interval Mean-Value Extension2008
Preprints, Working Papers, ...
hal-00294222v1
|
||
|
An Efficient Algorithm for a Sharp Approximation of Universally Quantified InequalitiesACM symposium on Applied computing, Mar 2008, Fortaleza, Ceara, Brazil. pp.134-139
Conference papers
hal-00297250v1
|
||
|
Revisiting the upper bounding process in a safe Branch and Bound algorithm14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.598-602
Conference papers
hal-00297086v1
|
||
|
Singularity Conditions for Continuum Parallel RobotsIEEE Transactions on Robotics, 2022, 38 (1), pp.507-525. ⟨10.1109/TRO.2021.3076830⟩
Journal articles
hal-03210572v1
|
||
|
Second order sliding mode twisting controller tuning based on two-level optimization processConference on Decision and Control, Dec 2022, Cancun, Mexico
Conference papers
hal-03963726v1
|
||
Certified Parallelotope Continuation for One-ManifoldsSIAM Journal on Numerical Analysis, 2013, 51 (6), pp.3373-3401
Journal articles
hal-01408525v1
|
|||
Robust controller and pre-filter design using QFT and interval constraint techniquesInternational workshop on constraint programming and decision making workshop (CoProd), 2014, Unknown, Unknown Region
Conference papers
hal-01408596v1
|
|||
Computation of generalized aspect of parallel manipulators2014
Preprints, Working Papers, ...
hal-01408601v1
|
|||
|
Generalization of the twisting convergence conditions to non-affine systemsAutomatica, 2021, pp.110019. ⟨10.1016/j.automatica.2021.110019⟩
Journal articles
hal-03504857v1
|
||
|
A Generalized Interval LU Decomposition for the Solution of Interval Linear SystemsSixth International Conference on Numerical Methods and Applications, Aug 2006, Bulgaria. pp.312-319, ⟨10.1007/978-3-540-70942-8_37⟩
Conference papers
hal-00481290v1
|
||
A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of SolutionsConstraints, 2009, 15 (2), pp.190-212. ⟨10.1007/s10601-009-9082-3⟩
Journal articles
istex
hal-00481066v1
|
|||
A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of SolutionsCP, 2008, France. pp.190-204
Conference papers
hal-00480819v1
|
|||
|
Topology Optimization of Industrial Robots: Application to a Five-bar MechanismMechanism and Machine Theory, 2018, 120, pp.30-56
Journal articles
hal-01587979v1
|
||
Modal Intervals Revisited Part 1: A Generalized Interval Natural ExtensionReliable Computing electronic edition, 2012, 16, pp.130-183
Journal articles
hal-00832813v1
|
|||
|
Symmetry Breaking in Numeric Constraint Problems17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Italy. pp.317-324
Conference papers
hal-00868237v1
|
||
|
A New Model for the Multiple Constant Multiplication Problem23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Conference papers
hal-03596159v1
|
||
|
Definition et Applications des Extensions des Fonctions Reelles aux Intervalles Généralisés; reformulation de la theorie des intervalles modaux.Modélisation et simulation. Université Nice Sophia Antipolis, 2005. Français. ⟨NNT : ⟩
Theses
tel-00011922v1
|
||
|
Monitoring Temporal Properties Using Interval AnalysisIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2016, E99.A (2), pp.442-453. ⟨10.1587/transfun.E99.A.442⟩
Journal articles
hal-02490672v1
|
||
Singularity Conditions for Continuum Parallel Robots2022 IEEE International Conference on Robotics and Automation (ICRA 2022), May 2022, Philadelphia, United States
Conference papers
hal-03551456v1
|