Alexandre Goldsztejn

CoRR, 2023

2022

Hardware-Aware Design of Multiplierless Second-Order IIR Filters With Minimum Adders.

[BibT_eX]

[DOI]

IEEE Trans. Signal Process., 2022

Singularity Conditions for Continuum Parallel Robots.

[BibT_eX]

[DOI]

Sébastien Briot

IEEE Trans. Robotics, 2022

Computer algebra methods for polynomial system solving at the service of image-based visual servoing.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2022

Generalization of the twisting convergence conditions to non-affine systems.

[BibT_eX]

[DOI]

Dominique Monnet

Franck Plestan

Autom., 2022

New convergence conditions for the super twisting algorithm with uncertain input gain.

[BibT_eX]

[DOI]

Autom., 2022

Second order sliding mode twisting controller tuning based on two-level optimization process.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Practical stability and attractors of systems with bounded perturbations.

[BibT_eX]

[DOI]

Alessandro Colotti

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2020

Dynamics-Based Algorithm for Reliable Assembly Mode Tracking in Parallel Robots.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2020

A standard branch-and-bound approach for nonlinear semi-infinite problems.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2020

R-Min: a Fast Collaborative Underactuated Parallel Robot for Pick-and-Place Operations.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Towards a Generic Interval Solver for Differential-Algebraic CSP.

[BibT_eX]

[DOI]

Simon Rohou

Abderahmane Bedouhene

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equation.

[BibT_eX]

[DOI]

Autom., 2019

2017

A branch and bound algorithm for quantified quadratic programming.

[BibT_eX]

[DOI]

Ferenc Domes

J. Glob. Optim., 2017

Constraint propagation using dominance in interval Branch & Bound for nonlinear biobjective optimization.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2017

HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 17th International Conference, 2017

Certified detection of parallel robot assembly mode under Type 2 singularity crossing trajectories.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis - (Extended Abstract).

[BibT_eX]

[DOI]

Naoki Yonezaki

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

2016

On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach.

[BibT_eX]

[DOI]

J. Glob. Optim., 2016

Monitoring Temporal Properties Using Interval Analysis.

[BibT_eX]

[DOI]

Naoki Yonezaki

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

2015

Monitoring Bounded LTL Properties Using Interval Analysis.

[BibT_eX]

[DOI]

Naoki Yonezaki

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

Variable symmetry breaking in numerical constraint problems.

[BibT_eX]

[DOI]

Vicente Ruiz de Angulo

Carme Torras

Artif. Intell., 2015

2014

On the Exponentiation of Interval Matrices.

[BibT_eX]

[DOI]

Arnold Neumaier

Reliab. Comput., 2014

First order rejection tests for multiple-objective optimization.

[BibT_eX]

[DOI]

Ferenc Domes

Brice Chevalier

J. Glob. Optim., 2014

Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities.

[BibT_eX]

[DOI]

Jorge Cruz

Elsa Carvalho

J. Comput. Appl. Math., 2014

A branch and prune algorithm for the computation of generalized aspects of parallel robots.

[BibT_eX]

[DOI]

Artif. Intell., 2014

The Non-overlapping Constraint between Objects Described by Non-linear Inequalities.

[BibT_eX]

[DOI]

Ignacio Salas

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Certified Parallelotope Continuation for One-Manifolds.

[BibT_eX]

[DOI]

SIAM J. Numer. Anal., 2013

Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems.

[BibT_eX]

[DOI]

Laurent Granvilliers

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Modal Intervals Revisited, Part 2: A Generalized Interval Mean Value Extension.

[BibT_eX]

[DOI]

Reliab. Comput., 2012

Modal Intervals Revisited, Part 1: A Generalized Interval Natural Extension.

[BibT_eX]

[DOI]

Reliab. Comput., 2012

Interval-based projection method for under-constrained numerical systems.

[BibT_eX]

[DOI]

Constraints An Int. J., 2012

2011

Tinkerbell Is Chaotic.

[BibT_eX]

[DOI]

Wayne B. Hayes

Pieter Collins

SIAM J. Appl. Dyn. Syst., 2011

Capabilities of Constraint Programming in Safe Global Optimization.

[BibT_eX]

[DOI]

Reliab. Comput., 2011

Symmetry Breaking in Numeric Constraint Problems.

[BibT_eX]

[DOI]

Vicente Ruiz de Angulo

Carme Torras

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Inner Approximation of the Range of Vector-Valued Functions.

[BibT_eX]

[DOI]

Luc Jaulin

Reliab. Comput., 2010

A branch and bound algorithm for numerical Max-CSP.

[BibT_eX]

[DOI]

Constraints An Int. J., 2010

A new framework for sharp and efficient resolution of NCSP with manifolds of solutions.

[BibT_eX]

[DOI]

Laurent Granvilliers

Constraints An Int. J., 2010

Box consistency through adaptive shaving.

[BibT_eX]

[DOI]

Frédéric Goualard

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Finding the Maximal Pose Error in Robotic Mechanical Systems Using Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Trends in Applied Intelligent Systems, 2010

Including Ordinary Differential Equations Based Constraints in the Standard CP Framework.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

On the Exponentiation of Interval Matrices

[BibT_eX]

[DOI]

CoRR, 2009

Efficient handling of universally quantified inequalities.

[BibT_eX]

[DOI]

Claude Michel

Michel Rueher

Constraints An Int. J., 2009

Search Strategies for an Anytime Usage of the Branch and Prune Algorithm.

[BibT_eX]

[DOI]

Raphaël Chenouard

Proceedings of the IJCAI 2009, 2009

Interval-based Solving of Hybrid Constraint Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008

The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems.

[BibT_eX]

[DOI]

Pieter Collins

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

Sensitivity Analysis Using a Fixed Point Interval Iteration

[BibT_eX]

[DOI]

CoRR, 2008

An efficient algorithm for a sharp approximation of universally quantified inequalities.

[BibT_eX]

[DOI]

Claude Michel

Michel Rueher

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A Data-Parallel Algorithm to Reliably Solve Systems of Nonlinear Equations.

[BibT_eX]

[DOI]

Frédéric Goualard

Proceedings of the Ninth International Conference on Parallel and Distributed Computing, 2008

Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

Extension of the Hansen-Bliek Method to Right-Quantified Linear Systems.

[BibT_eX]

[DOI]

Reliab. Comput., 2007

Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests.

[BibT_eX]

[DOI]

Computing, 2007

2006

Inner approximation of distance constraints with existential quantification of parameters.

[BibT_eX]

[DOI]

Carlos Grandón

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A branch and prune algorithm for the approximation of non-linear AE-solution sets.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A Generalized Interval LU Decomposition for the Solution of Interval Linear Systems.

[BibT_eX]

[DOI]

Proceedings of the Numerical Methods and Applications, 6th International Conference, 2006

Inner and Outer Approximations of Existentially Quantified Equality Constraints.

[BibT_eX]

[DOI]

Luc Jaulin

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

Definition et Applications des Extensions desFonctions Reelles aux Intervalles Généralisés; reformulation de la theorie des intervalles modaux.

[BibT_eX]

[DOI]

PhD thesis, 2005

A Right-Preconditioning Process for the Formal-Algebraic Approach to Inner and Outer Estimation of AE-Solution Sets.

[BibT_eX]

[DOI]