Filtrer vos résultats
- 51
- 42
- 45
- 33
- 12
- 1
- 1
- 1
- 74
- 12
- 11
- 1
- 2
- 7
- 2
- 6
- 1
- 4
- 6
- 3
- 3
- 9
- 4
- 6
- 4
- 5
- 6
- 13
- 5
- 2
- 4
- 90
- 3
- 54
- 31
- 9
- 7
- 6
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 93
- 21
- 13
- 12
- 8
- 8
- 8
- 8
- 7
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
93 résultats
|
|
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
Communication dans un congrès
hal-00297086v1
|
||
|
|
An Efficient Algorithm for a Sharp Approximation of Universally Quantified InequalitiesACM symposium on Applied computing, Mar 2008, Fortaleza, Ceara, Brazil. pp.134-139
Communication dans un congrès
hal-00297250v1
|
||
Certified Parallelotope Continuation for One-ManifoldsSIAM Journal on Numerical Analysis, 2013, 51 (6), pp.3373-3401
Article dans une revue
hal-01408525v1
|
|||
|
|
Modal Intervals Revisited Part 2: A Generalized Interval Mean-Value Extension2008
Pré-publication, Document de travail
hal-00294222v1
|
||
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⟩
Communication dans un congrès
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
Communication dans un congrès
hal-00867986v1
|
||
|
|
Second order sliding mode twisting controller tuning based on two-level optimization processConference on Decision and Control, Dec 2022, Cancun, Mexico
Communication dans un congrès
hal-03963726v1
|
||
|
|
Singularity Conditions for Continuum Parallel RobotsIEEE Transactions on Robotics, 2022, 38 (1), pp.507-525. ⟨10.1109/TRO.2021.3076830⟩
Article dans une revue
hal-03210572v1
|
||
Méthode de continuation par parallélépipèdes : application à l'optimisation globale continue bi-objectifCongrès annuel de la société française de recherche opérationnelle et d'aide à la décision (ROADEF), 2012, Unknown, Unknown Region
Communication dans un congrès
hal-01408599v1
|
|||
Interval-based projection method for under-constrained numerical cspsAnnual meeting of JSSST, 2012, Unknown, Unknown Region. pp.number 4B-2
Communication dans un congrès
hal-01408600v1
|
|||
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical SystemsSecond Workshop on Reachability Problems in Computational Models, Sep 2008, United Kingdom. pp.87-102
Communication dans un congrès
hal-00431183v1
|
|||
Interval-based Solving of Hybrid Constraint Systems3rd IFAC Conference on Analysis and Design of Hybrid Systems, Sep 2009, Spain. pp.144-149
Communication dans un congrès
hal-00481169v1
|
|||
Modal Intervals Revisited Part 2: A Generalized Interval Mean-Value ExtensionReliable Computing electronic edition, 2012, 16, pp.184-209
Article dans une revue
hal-00832810v1
|
|||
Including Ordinary Differential Equations Based Constraints in the Standard CP FrameworkPrinciples and Practice of Constraint Programming, CP2010, Sep 2010, St Andrews, United Kingdom. pp.221--235
Communication dans un congrès
hal-00520054v1
|
|||
A Parallelotope Method for Hybrid System SimulationReliable Computing electronic edition, 2016, Volume 23 (Special issue in honor of Ray Moore, 1929-2015), 23, pp.163-185
Article dans une revue
hal-02938568v1
|
|||
|
|
R-Min: a Fast Collaborative Underactuated Parallel Robot for Pick-and-Place OperationsIEEE 2020 International Conference on Robotics and Automation (ICRA 2020), May 2020, Paris, France
Communication dans un congrès
hal-02491783v1
|
||
|
|
A New Model for the Multiple Constant Multiplication Problem2021
Pré-publication, Document de travail
hal-03454510v1
|
||
|
|
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
Communication dans un congrès
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
Chapitre d'ouvrage
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
Article dans une revue
hal-00431165v1
|
|||
|
|
Inner approximation of the range of vector-valued functionsReliable Computing, 2010, pp.1-23
Article dans une revue
hal-00518507v1
|
||
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⟩
Article dans une revue
hal-01408593v1
|
|||
|
|
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
Communication dans un congrès
hal-02005023v1
|
||
|
|
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⟩
Article dans une revue
hal-02539443v1
|
||
|
|
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⟩
Article dans une revue
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⟩
Communication dans un congrès
hal-02956402v1
|
||
Tinkerbell Is ChaoticSIAM Journal on Applied Dynamical Systems, 2011, 10 (4), pp.1480-1501
Article dans une revue
hal-00835176v1
|
|||
|
|
Box consistency through Adaptive Shaving25th Symposium On Applied Computing, Mar 2010, Sierre, Switzerland. pp.2049-2054
Communication dans un congrès
hal-00428678v1
|
||
Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr Existence TestsComputing, 2007, 79 (1), pp.53-60
Article dans une revue
hal-00431164v1
|
|||
|
|
Modal Intervals Revisited Part 1: A Generalized Interval Natural Extension2008
Pré-publication, Document de travail
hal-00294219v1
|