| Publication | Date of Publication | Type |
|---|
Estimating the coverage measure and the area explored by a line-sweep sensor on the plane
International Journal of Approximate Reasoning | 2024-07-10 | Paper |
Reducing the wrapping effect of set computation via Delaunay triangulation for guaranteed state estimation of nonlinear discrete-time systems
Computing | 2024-06-17 | Paper |
Brunovsky Decomposition for Dynamic Interval Localization
IEEE Transactions on Automatic Control | 2024-02-22 | Paper |
Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures
Acta Cybernetica | 2023-12-12 | Paper |
Modelisation of a rolling disk with Sympy
| 2023-11-28 | Paper |
Inertial control of a spinning flat disk
| 2023-11-11 | Paper |
A new methodology for solving fuzzy systems of equations: thick fuzzy sets based approach
Fuzzy Sets and Systems | 2023-10-27 | Paper |
Proving the Stability of the Rolling Navigation
Acta Cybernetica | 2023-09-26 | Paper |
Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane
| 2023-09-07 | Paper |
Asymptotically minimal contractors based on the centered form;Application to the stability analysis of linear systems
| 2023-07-19 | Paper |
Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals
International Journal of Approximate Reasoning | 2023-07-18 | Paper |
Computational tractable guaranteed numerical method to study the stability of \(n\)-dimensional time-independent nonlinear systems with bounded perturbation
Automatica | 2023-07-05 | Paper |
Karush-Kuhn-Tucker conditions to build efficient contractors; Application to TDoA localization
| 2023-06-16 | Paper |
Optimal separator for an hyperbola; Application to localization
| 2023-05-24 | Paper |
Optimal separator for an ellipse; Application to localization
| 2023-05-18 | Paper |
Robust Hybrid Interval-Probabilistic Approach for the Kidnapped Robot Problem
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2023-02-03 | Paper |
Actions of the hyperoctahedral group to compute minimal contractors
Artificial Intelligence | 2022-11-08 | Paper |
Lie symmetries applied to interval integration
Automatica | 2022-08-23 | Paper |
A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains
International Journal of Applied Mathematics and Computer Science | 2021-12-07 | Paper |
Exact bounded-error continuous-time linear state estimator
Systems & Control Letters | 2021-11-10 | Paper |
Bracketing backward reach sets of a dynamical system
International Journal of Control | 2021-01-05 | Paper |
Guaranteed nonlinear parameter estimation with additive Gaussian noise
| 2020-12-15 | Paper |
Thick sets, multiple-valued mappings, and possibility theory
Statistical and Fuzzy Approaches to Data Processing, with Applications to Econometrics and Other Areas | 2020-10-16 | Paper |
Characterizing sliding surfaces of cyber-physical systems
Acta Cybernetica | 2020-10-02 | Paper |
Bracketing the solutions of an ordinary differential equation with uncertain initial conditions
Applied Mathematics and Computation | 2019-06-21 | Paper |
Fuzzy Matrix Contractor Based Approach for Localization of Robots
Recent Advances in Applications of Computational and Fuzzy Mathematics | 2019-06-14 | Paper |
Reliable nonlinear state estimation involving time uncertainties
Automatica | 2018-10-17 | Paper |
Guaranteed set computation with subpavings
Scientific Computing, Validated Numerics, Interval Methods | 2018-07-16 | Paper |
Nonlinear state estimation using forward-backward propagation of intervals in an algorithm
Scientific Computing, Validated Numerics, Interval Methods | 2018-07-16 | Paper |
Set Estimation, Computation of Volumes and Data Safety
Scientific Computing, Validated Numerics, Interval Methods | 2018-07-16 | Paper |
An Interval Approach to Compute Invariant Sets
IEEE Transactions on Automatic Control | 2017-11-10 | Paper |
Computing minimal-volume credible sets using interval analysis; application to bayesian estimation
IEEE Transactions on Signal Processing | 2017-10-30 | Paper |
Thick set inversion
Artificial Intelligence | 2017-10-13 | Paper |
Range-only SLAM with indistinguishable landmarks; a constraint programming approach
Constraints | 2017-08-16 | Paper |
Nonlinear Blind Parameter Estimation
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Guaranteed robust nonlinear minimax estimation
IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
Computing a Guaranteed Approximation of the Zone Explored by a Robot
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Robust set-membership parameter estimation of the glucose minimal model
International Journal of Adaptive Control and Signal Processing | 2016-11-01 | Paper |
Computing capture tubes
Scientific Computing, Computer Arithmetic, and Validated Numerics | 2016-05-02 | Paper |
An algorithm for computing a neighborhood included in the attraction domain of an asymptotically stable point
Communications in Nonlinear Science and Numerical Simulation | 2016-01-25 | Paper |
Kernel characterization of an interval function
Mathematics in Computer Science | 2014-11-27 | Paper |
Phase based localization for underwater vehicles using interval analysis
Mathematics in Computer Science | 2014-11-27 | Paper |
Solving non-linear constraint satisfaction problems involving time-dependent functions
Mathematics in Computer Science | 2014-11-27 | Paper |
Combining interval analysis with flatness theory for state estimation of sailboat robots
Mathematics in Computer Science | 2013-04-25 | Paper |
Set-membership state estimation with fleeting data
Automatica | 2013-03-12 | Paper |
Loop detection of mobile robots using interval analysis
Automatica | 2013-03-06 | Paper |
Guaranteed characterization of thermal conductivity and diffusivity in presence of model uncertainty
Inverse Problems in Science and Engineering | 2013-03-05 | Paper |
Applied interval computation: A new approach for time-delays systems analysis
Applications of Time Delay Systems | 2012-09-13 | Paper |
Interval robust multi-objective algorithm
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2012-05-31 | Paper |
Solving set-valued constraint satisfaction problems
Computing | 2012-04-04 | Paper |
Capture basin approximation using interval analysis
International Journal of Adaptive Control and Signal Processing | 2011-06-22 | Paper |
A new interval-based method to characterize estimability
International Journal of Adaptive Control and Signal Processing | 2011-06-22 | Paper |
Probabilistic set-membership approach for robust regression
Journal of Statistical Theory and Practice | 2011-05-24 | Paper |
A Priori Error Analysis and Spring Arithmetic
SIAM Journal on Scientific Computing | 2010-06-10 | Paper |
Guaranteed characterization of capture basins of nonlinear state-space systems
Informatics in Control, Automation and Robotics | 2010-06-02 | Paper |
Consistency techniques for the localization of a satellite
Lecture Notes in Computer Science | 2010-02-02 | Paper |
Contractor programming
Artificial Intelligence | 2009-09-14 | Paper |
Robust set-membership state estimation; application to underwater robotics
Automatica | 2009-02-10 | Paper |
Injectivity analysis using interval analysis: Application to structural identifiability
Automatica | 2009-01-20 | Paper |
Inner and Outer Approximations of Existentially Quantified Equality Constraints
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
Computing the pessimism of inclusion functions
Reliable Computing | 2008-04-14 | Paper |
On sufficient conditions of the injectivity: Development of a numerical test algorithm via interval analysis
Reliable Computing | 2007-11-14 | Paper |
Guaranteeing the homotopy type of a set defined by non-linear inequalities
Reliable Computing | 2007-11-14 | Paper |
Numerical Software with Result Verification
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Using interval arithmetic to prove that a set is path-connected
Theoretical Computer Science | 2006-03-20 | Paper |
Quantified set inversion algorithm with applications to control
Reliable Computing | 2005-10-18 | Paper |
Contracting optimally an interval matrix without loosing any positive semi-definite matrix is a tractable problem
Reliable Computing | 2005-08-02 | Paper |
Interval analysis and dioid: application to robust controller design for timed event graphs
Automatica | 2005-02-23 | Paper |
Interval analysis for guaranteed and robust non-linear estimation in robotics.
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2004-08-26 | Paper |
Set computation for nonlinear control
Reliable Computing | 2004-03-15 | Paper |
Path planning using intervals and graphs
Reliable Computing | 2003-10-22 | Paper |
Guaranteed non-linear estimation using constraint propagation on sets
International Journal of Control | 2002-10-16 | Paper |
Nonlinear bounded-error state estimation of continuous-time systems
Automatica | 2002-09-05 | Paper |
Guaranteed recursive non-linear state bounding using interval analysis
International Journal of Adaptive Control and Signal Processing | 2002-08-18 | Paper |
Nonlinear bounded-error parameter estimation using interval computation
| 2002-06-23 | Paper |
scientific article; zbMATH DE number 1742316 (Why is no real title available?)
| 2002-06-18 | Paper |
Reliable minimax parameter estimation
Reliable Computing | 2002-06-09 | Paper |
scientific article; zbMATH DE number 1595639 (Why is no real title available?)
| 2001-05-07 | Paper |
Interval constraint propagation with application to bounded-error estimation
Automatica | 2001-05-06 | Paper |
Robust autonomous robot localization using interval analysis
Reliable Computing | 2001-01-14 | Paper |
scientific article; zbMATH DE number 1342065 (Why is no real title available?)
| 2000-12-10 | Paper |
Guaranteed parameter bounding for nonlinear models with uncertain experimental factors
Automatica | 2000-10-11 | Paper |
Light scattering data analysis via set inversion
Journal of Physics A: Mathematical and General | 2000-04-04 | Paper |
Estimation of discrete-event systems using interval computation
Reliable Computing | 1999-11-25 | Paper |
Global numerical approach to nonlinear discrete-time control
IEEE Transactions on Automatic Control | 1997-11-09 | Paper |
Guaranteed analysis and optimisation of parametric systems with application to their stability degree
European Journal of Control | 1997-09-04 | Paper |
scientific article; zbMATH DE number 926801 (Why is no real title available?)
| 1997-02-26 | Paper |
Guaranteed tuning, with application to robust control and motion planning
Automatica | 1996-11-25 | Paper |
scientific article; zbMATH DE number 806813 (Why is no real title available?)
| 1995-10-17 | Paper |
scientific article; zbMATH DE number 804614 (Why is no real title available?)
| 1995-10-11 | Paper |
Guaranteed characterization of stability domains via set inversion
IEEE Transactions on Automatic Control | 1994-10-12 | Paper |
Set inversion via interval analysis for nonlinear bounded-error estimation
Automatica | 1993-09-16 | Paper |
Modeling and control of the rodwheel
| N/A | Paper |
