2025
Integral algebra for simulating dynamical systems with interval uncertainties.
Int. J. Approx. Reason., 2025
2024
Reducing the wrapping effect of set computation via Delaunay triangulation for guaranteed state estimation of nonlinear discrete-time systems.
Computing, May, 2024
Estimating the coverage measure and the area explored by a line-sweep sensor on the plane.
Int. J. Approx. Reason., 2024
Interval-based validation of a nonlinear estimator.
CoRR, 2024
Modeling and control of the rodwheel.
CoRR, 2024
Asymptotically Minimal Contractors Based on the Centered Form.
Acta Cybern., 2024
RISC-V Based Hardware Acceleration of Interval Contractor Primitives in the Context of Mobile Robotics.
Acta Cybern., 2024
A New Interval Arithmetic to Generate the Complementary of Contractors.
Acta Cybern., 2024
2023
Brunovsky Decomposition for Dynamic Interval Localization.
IEEE Trans. Autom. Control., November, 2023
Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals.
Int. J. Approx. Reason., August, 2023
Proving the Stability of the Rolling Navigation.
Acta Cybern., February, 2023
Modelisation of a rolling disk with Sympy.
CoRR, 2023
Inertial control of a spinning flat disk.
CoRR, 2023
Offline and Online Use of Interval and Set-Based Approaches for Control and State Estimation: A Review of Methodological Approaches and Their Application.
CoRR, 2023
Asymptotically minimal contractors based on the centered form;Application to the stability analysis of linear systems.
CoRR, 2023
Karush-Kuhn-Tucker conditions to build efficient contractors; Application to TDoA localization.
CoRR, 2023
Optimal separator for an hyperbola; Application to localization.
CoRR, 2023
Optimal separator for an ellipse; Application to localization.
CoRR, 2023
Computational tractable guaranteed numerical method to study the stability of n-dimensional time-independent nonlinear systems with bounded perturbation.
Autom., 2023
2022
Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures.
Acta Cybern., May, 2022
Hybrid Interval-Probabilistic Localization in Building Maps.
IEEE Robotics Autom. Lett., 2022
A new methodology for solving fuzzy systems of equations: Thick fuzzy sets based approach.
Fuzzy Sets Syst., 2022
Lie symmetries applied to interval integration.
Autom., 2022
Algorithms for Reliable Estimation, Identification and Control.
Algorithms, 2022
Experimental Validation of Ellipsoidal Techniques for State Estimation in Marine Applications.
Algorithms, 2022
Kleene Algebra to Compute Invariant Sets of Dynamical Systems.
Algorithms, 2022
Actions of the hyperoctahedral group to compute minimal contractors.
Artif. Intell., 2022
Experimental Studies of Autonomous Sailing With a Radio Controlled Sailboat.
IEEE Access, 2022
2021
Thick Fuzzy Sets (TFSs) and Their Potential Use in Uncertain Fuzzy Computations and Modeling.
IEEE Trans. Fuzzy Syst., 2021
Exact bounded-error continuous-time linear state estimator.
Syst. Control. Lett., 2021
Interval Inspired Approach Based on Temporal Sequence Constraints to Place Recognition.
J. Intell. Robotic Syst., 2021
Robust Hybrid Interval-Probabilistic Approach for the Kidnapped Robot Problem.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2021
A boundary approach for set inversion.
Eng. Appl. Artif. Intell., 2021
Thick gradual sets and their computations: Application for determining the uncertain zone explored by an underwater robot.
Eng. Appl. Artif. Intell., 2021
A Computationally Inexpensive Algorithm for Determining Outer and Inner Enclosures of Nonlinear Mappings of Ellipsoidal Domains.
Int. J. Appl. Math. Comput. Sci., 2021
Union and Intersection Operators for Thick Ellipsoid State Enclosures: Application to Bounded-Error Discrete-Time State Observer Design.
Algorithms, 2021
Interval Extended Kalman Filter - Application to Underwater Localization and Control.
Algorithms, 2021
Ellipsoidal Enclosure Techniques for a Verified Simulation of Initial Value Problems for Ordinary Differential Equations.
Proceedings of the International Conference on Control, Automation and Diagnosis, 2021
An Interval Constraint Programming Approach for Quasi Capture Tube Validation.
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
2020
Platooning Control for Heterogeneous Sailboats Based on Constant Time Headway.
IEEE Trans. Intell. Transp. Syst., 2020
Bracketing backward reach sets of a dynamical system.
Int. J. Control, 2020
Enclosing the Sliding Surfaces of a Controlled Swing.
Proceedings of the Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2020
Interval centred form for proving stability of non-linear discrete-time systems.
Proceedings of the Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2020
Characterizing Sliding Surfaces of Cyber-Physical Systems.
Acta Cybern., 2020
Non-linear control under state constraints with validated trajectories for a mobile robot towing a trailer.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020
Set-membership state estimation by solving data association.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020
Towards a Generic Interval Solver for Differential-Algebraic CSP.
Proceedings of the Principles and Practice of Constraint Programming, 2020
Proceedings of the Decision Making under Constraints, 2020
2019
Restricted Orientation Dubins Path With Application to Sailboats.
IEEE Robotics Autom. Lett., 2019
Thick gradual intervals: An alternative interpretation of type-2 fuzzy intervals and its potential use in type-2 fuzzy computations.
Eng. Appl. Artif. Intell., 2019
Using Interval Analysis to Compute the Invariant Set of a Nonlinear Closed-Loop Control System.
Algorithms, 2019
2018
Proving the existence of loops in robot trajectories.
Int. J. Robotics Res., 2018
Reliable non-linear state estimation involving time uncertainties.
Autom., 2018
Bracketing the solutions of an ordinary differential equation with uncertain initial conditions.
Appl. Math. Comput., 2018
2017
An Interval Approach to Compute Invariant Sets.
IEEE Trans. Autom. Control., 2017
Computing a Guaranteed Approximation of the Zone Explored by a Robot.
IEEE Trans. Autom. Control., 2017
Guaranteed computation of robot trajectories.
Robotics Auton. Syst., 2017
Minkowski Operations of Sets with Application to Robot Localization.
Proceedings of the Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2017
An interval space reducing method for constrained problems with particle swarm optimization.
Appl. Soft Comput., 2017
2016
A minimal contractor for the polar equation: Application to robot localization.
Eng. Appl. Artif. Intell., 2016
Range-only SLAM with indistinguishable landmarks; a constraint programming approach.
Constraints An Int. J., 2016
Robust data processing in the presence of uncertainty and outliers: Case of localization problems.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016
2015
An algorithm for computing a neighborhood included in the attraction domain of an asymptotically stable point.
Commun. Nonlinear Sci. Numer. Simul., 2015
Set-membership approach to the kidnapped robot problem.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015
Rigid Transformation Using Interval Analysis for Robot Motion Estimation.
Proceedings of the 20th International Conference on Control Systems and Computer Science, 2015
2014
Phase Based Localization for Underwater Vehicles Using Interval Analysis.
Math. Comput. Sci., 2014
Solving Non-Linear Constraint Satisfaction Problems Involving Time-Dependant Functions.
Math. Comput. Sci., 2014
Kernel Characterization of an Interval Function.
Math. Comput. Sci., 2014
Introduction to the algebra of separators with application to path planning.
Eng. Appl. Artif. Intell., 2014
Proceedings of the Scientific Computing, Computer Arithmetic, and Validated Numerics, 2014
Hybridization of Monte Carlo and set-membership methods for the global localization of underwater robots.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014
If we take into account that constraints are soft, then processing constraints becomes algorithmically solvable.
Proceedings of the 2014 IEEE Symposium on Computational Intelligence for Engineering Solutions, 2014
2013
Cooperative localization of underwater robots with unsynchronized clocks.
Paladyn J. Behav. Robotics, December, 2013
An Interval Approach for Stability Analysis: Application to Sailboat Robotics.
IEEE Trans. Robotics, 2013
Outer Approximation of Attractors Using an Interval Quantization.
Reliab. Comput., 2013
Loop detection of mobile robots using interval analysis.
Autom., 2013
Guaranteed Characterization of the Explored Space of a Mobile Robot by Using Subpavings.
Proceedings of the 9th IFAC Symposium on Nonlinear Control Systems, 2013
2012
An Efficient Implementation of the SIVIA Algorithm in a High-Level Numerical Programming Language.
Reliab. Comput., 2012
Combining Interval Analysis with Flatness Theory for State Estimation of Sailboat Robots.
Math. Comput. Sci., 2012
Color-based underwater object recognition using water light attenuation.
Intell. Serv. Robotics, 2012
Solving set-valued constraint satisfaction problems.
Computing, 2012
Set-membership state estimation with fleeting data.
Autom., 2012
A non-linear set-membership approach for the control of discrete event systems.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012
2011
Range-Only SLAM With Occupancy Maps: A Set-Membership Approach.
IEEE Trans. Robotics, 2011
An Eigenvalue Symmetric Matrix Contractor.
Reliab. Comput., 2011
Set-membership localization with probabilistic errors.
Robotics Auton. Syst., 2011
Processing interval sensor data in the presence of outliers, with potential applications to localizing underwater robots.
Proceedings of the IEEE International Conference on Systems, 2011
2010
Inner Approximation of the Range of Vector-Valued Functions.
Reliab. Comput., 2010
Resolution of nonlinear interval problems using symbolic interval arithmetic.
Eng. Appl. Artif. Intell., 2010
2009
A Nonlinear Set Membership Approach for the Localization and Map Building of Underwater Robots.
IEEE Trans. Robotics, 2009
A Priori Error Analysis and Spring Arithmetic.
SIAM J. Sci. Comput., 2009
Robust set-membership state estimation; application to underwater robotics.
Autom., 2009
A Constraint on the Number of Distinct Vectors with Application to Localization.
Proceedings of the Principles and Practice of Constraint Programming, 2009
Hull Consistency under Monotonicity.
Proceedings of the Principles and Practice of Constraint Programming, 2009
Interval Robust Multi-Objective Evolutionary Algorithm.
Proceedings of the IEEE Congress on Evolutionary Computation, 2009
2008
Nonlinear Blind Parameter Estimation.
IEEE Trans. Autom. Control., 2008
Injectivity analysis using interval analysis: Application to structural identifiability.
Autom., 2008
2007
On Sufficient Conditions of the Injectivity: Development of a Numerical Test Algorithm via Interval Analysis.
Reliab. Comput., 2007
Guaranteeing the Homotopy Type of a Set Defined by Non-Linear Inequalities.
Reliab. Comput., 2007
Computing the Pessimism of Inclusion Functions.
Reliab. Comput., 2007
Control of a wheeled stair-climbing robot using linear programming.
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007
Inner and outer approximation of capture basin using interval analysis.
Proceedings of the ICINCO 2007, 2007
A set approach to the simultaneous localization and map building - application to underwater robots.
Proceedings of the ICINCO 2007, 2007
A new approach for computing with fuzzy sets using interval analysis.
Proceedings of the 10th International Conference on Information Fusion, 2007
2006
Computing minimal-volume credible sets using interval analysis; application to bayesian estimation.
IEEE Trans. Signal Process., 2006
Using interval arithmetic to prove that a set is path-connected.
Theor. Comput. Sci., 2006
Localization of an Underwater Robot Using Interval Constraint Propagation.
Proceedings of the Principles and Practice of Constraint Programming, 2006
Inner and Outer Approximations of Existentially Quantified Equality Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2006
2005
Contracting Optimally an Interval Matrix without Loosing Any Positive Semi-Definite Matrix Is a Tractable Problem.
Reliab. Comput., 2005
Quantified Set Inversion Algorithm with Applications to Control.
Reliab. Comput., 2005
2004
Set Computation for Nonlinear Control.
Reliab. Comput., 2004
Interval analysis and dioid: application to robust controller design for timed event graphs.
Autom., 2004
Counting the Number of Connected Components of a Set and Its Application to Robotics.
Proceedings of the Applied Parallel Computing, 2004
Analytical Solution of the Blind Source Separation Problem Using Derivatives.
Proceedings of the Independent Component Analysis and Blind Signal Separation, 2004
2003
Finding Feasible Parameter Sets for Shape from Silhouettes with Unknown Position of the Viewpoints.
Proceedings of the 11-th International Conference in Central Europe on Computer Graphics, 2003
Robust controller design for timed event graphs in dioids.
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003
Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability.
Proceedings of the Numerical Software with Result Verification, 2003
Reconstructing 3D Objects from Silhouettes with Unknown Viewpoints: The Case of Planar Orthographic Views.
Proceedings of the Progress in Pattern Recognition, 2003
2002
Guaranteed robust nonlinear estimation with application to robot localization.
IEEE Trans. Syst. Man Cybern. Part C, 2002
Initial localization by set inversion.
IEEE Trans. Robotics Autom., 2002
Guaranteed robust nonlinear minimax estimation.
IEEE Trans. Autom. Control., 2002
Nonlinear bounded-error state estimation of continuous-time systems.
Autom., 2002
Quelques applications de la propagation de contraintes sur les domaines continus en automatique.
Proceedings of the Programmation en logique avec contraintes, 2002
Consistency Techniques for the Localization of a Satellite.
Proceedings of the Global Optimization and Constraint Satisfaction, 2002
Interval methods for nonlinear identification and robust control.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
2001
Reliable Minimax Parameter Estimation.
Reliab. Comput., 2001
Path Planning Using Intervals and Graphs.
Reliab. Comput., 2001
Solving Composed First-Order Constraints from Discrete-Time Robust Control
CoRR, 2001
Guaranteed numerical alternatives to structural identifiability testing.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
2000
Model selection via worst-case criterion for nonlinear bounded-error estimation.
IEEE Trans. Instrum. Meas., 2000
Robust Autonomous Robot Localization Using Interval Analysis.
Reliab. Comput., 2000
Interval constraint propagation with application to bounded-error estimation.
Autom., 2000
Le calcul ensembliste par analyse par intervalles et ses applications.
, 2000
1999
Estimation of Discrete-Event Systems Using Interval Computation.
Reliab. Comput., 1999
Guaranteed parameter bounding for nonlinear models with uncertain experimental factors.
Autom., 1999
Proving set inclusion via intervals: application to parametric robust stability.
Autom., 1999
1998
Nonlinear identification based on unreliable priors and data, with application to robot localization.
Proceedings of the Robustness in Identification and Control, Workshop Robustness in Identification and Control, Siena, Italy, July 30, 1998
1997
Global numerical approach to nonlinear discrete-time control.
IEEE Trans. Autom. Control., 1997
Guaranteed Analysis and Optimisation of Parametric Systems with Application to their Stability Degree.
Eur. J. Control, 1997
1996
Guaranteed tuning, with application to robust control and motion planning.
Autom., 1996
1994
Guaranteed characterization of stability domains via set inversion.
IEEE Trans. Autom. Control., 1994
1993
Set inversion via interval analysis for nonlinear bounded-error estimation.
Autom., 1993