Luc Jaulin

Orcid: 0000-0002-0938-0615

According to our database1, Luc Jaulin authored at least 140 papers between 1993 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Modeling and control of the rodwheel.
CoRR, 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

Thick Separators.
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

Thick set inversion.
Artif. Intell., 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

Foreword.
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

Computing Capture Tubes.
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

Contractor programming.
Artif. Intell., 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


  Loading...