Publication | Date of Publication | Type |
---|
Brunovsky Decomposition for Dynamic Interval Localization | 2024-02-22 | Paper |
Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures | 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 | 2023-10-27 | Paper |
Proving the Stability of the Rolling Navigation | 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 | 2023-07-18 | Paper |
Computational tractable guaranteed numerical method to study the stability of \(n\)-dimensional time-independent nonlinear systems with bounded perturbation | 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 | 2023-02-03 | Paper |
Actions of the hyperoctahedral group to compute minimal contractors | 2022-11-08 | Paper |
Lie symmetries applied to interval integration | 2022-08-23 | Paper |
A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains | 2021-12-07 | Paper |
Exact bounded-error continuous-time linear state estimator | 2021-11-10 | Paper |
Bracketing backward reach sets of a dynamical system | 2021-01-05 | Paper |
Guaranteed nonlinear parameter estimation with additive Gaussian noise | 2020-12-15 | Paper |
Thick Sets, Multiple-Valued Mappings, and Possibility Theory | 2020-10-16 | Paper |
Characterizing Sliding Surfaces of Cyber-Physical Systems | 2020-10-02 | Paper |
Bracketing the solutions of an ordinary differential equation with uncertain initial conditions | 2019-06-21 | Paper |
Fuzzy Matrix Contractor Based Approach for Localization of Robots | 2019-06-14 | Paper |
Reliable nonlinear state estimation involving time uncertainties | 2018-10-17 | Paper |
Guaranteed Set Computation with Subpavings | 2018-07-16 | Paper |
Nonlinear State Estimation Using Forward-Backward Propagation of Intervals in an Algorithm | 2018-07-16 | Paper |
Set Estimation, Computation of Volumes and Data Safety | 2018-07-16 | Paper |
An Interval Approach to Compute Invariant Sets | 2017-11-10 | Paper |
Computing minimal-volume credible sets using interval analysis; application to bayesian estimation | 2017-10-30 | Paper |
Thick set inversion | 2017-10-13 | Paper |
Range-only SLAM with indistinguishable landmarks; a constraint programming approach | 2017-08-16 | Paper |
Nonlinear Blind Parameter Estimation | 2017-08-08 | Paper |
Guaranteed robust nonlinear minimax estimation | 2017-06-20 | Paper |
Computing a Guaranteed Approximation of the Zone Explored by a Robot | 2017-05-03 | Paper |
Robust set-membership parameter estimation of the glucose minimal model | 2016-11-01 | Paper |
Computing Capture Tubes | 2016-05-02 | Paper |
An algorithm for computing a neighborhood included in the attraction domain of an asymptotically stable point | 2016-01-25 | Paper |
Kernel characterization of an interval function | 2014-11-27 | Paper |
Phase based localization for underwater vehicles using interval analysis | 2014-11-27 | Paper |
Solving non-linear constraint satisfaction problems involving time-dependent functions | 2014-11-27 | Paper |
Combining interval analysis with flatness theory for state estimation of sailboat robots | 2013-04-25 | Paper |
Set-membership state estimation with fleeting data | 2013-03-12 | Paper |
Loop detection of mobile robots using interval analysis | 2013-03-06 | Paper |
Guaranteed characterization of thermal conductivity and diffusivity in presence of model uncertainty | 2013-03-05 | Paper |
Applied Interval Computation: A New Approach for Time-Delays Systems Analysis | 2012-09-13 | Paper |
Solving set-valued constraint satisfaction problems | 2012-04-04 | Paper |
Capture basin approximation using interval analysis | 2011-06-22 | Paper |
A new interval-based method to characterize estimability | 2011-06-22 | Paper |
Probabilistic set-membership approach for robust regression | 2011-05-24 | Paper |
A Priori Error Analysis and Spring Arithmetic | 2010-06-10 | Paper |
Guaranteed Characterization of Capture Basins of Nonlinear State-Space Systems | 2010-06-02 | Paper |
Global Optimization and Constraint Satisfaction | 2010-02-02 | Paper |
Contractor programming | 2009-09-14 | Paper |
Robust set-membership state estimation; application to underwater robotics | 2009-02-10 | Paper |
Injectivity analysis using interval analysis: Application to structural identifiability | 2009-01-20 | Paper |
Inner and Outer Approximations of Existentially Quantified Equality Constraints | 2008-09-09 | Paper |
Computing the pessimism of inclusion functions | 2008-04-14 | Paper |
On sufficient conditions of the injectivity: Development of a numerical test algorithm via interval analysis | 2007-11-14 | Paper |
Guaranteeing the homotopy type of a set defined by non-linear inequalities | 2007-11-14 | Paper |
Numerical Software with Result Verification | 2007-09-28 | Paper |
Using interval arithmetic to prove that a set is path-connected | 2006-03-20 | Paper |
Quantified set inversion algorithm with applications to control | 2005-10-18 | Paper |
Contracting optimally an interval matrix without loosing any positive semi-definite matrix is a tractable problem | 2005-08-02 | Paper |
Interval analysis and dioid: application to robust controller design for timed event graphs | 2005-02-23 | Paper |
Interval analysis for guaranteed and robust non-linear estimation in robotics. | 2004-08-26 | Paper |
Set computation for nonlinear control | 2004-03-15 | Paper |
Path planning using intervals and graphs | 2003-10-22 | Paper |
Guaranteed non-linear estimation using constraint propagation on sets | 2002-10-16 | Paper |
Nonlinear bounded-error state estimation of continuous-time systems | 2002-09-05 | Paper |
Guaranteed recursive non-linear state bounding using interval analysis | 2002-08-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q2751105 | 2002-06-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4331404 | 2002-06-18 | Paper |
Reliable minimax parameter estimation | 2002-06-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2713275 | 2001-05-07 | Paper |
Interval constraint propagation with application to bounded-error estimation | 2001-05-06 | Paper |
Robust autonomous robot localization using interval analysis | 2001-01-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4263637 | 2000-12-10 | Paper |
Guaranteed parameter bounding for nonlinear models with uncertain experimental factors | 2000-10-11 | Paper |
Light scattering data analysis via set inversion | 2000-04-04 | Paper |
Estimation of discrete-event systems using interval computation | 1999-11-25 | Paper |
Global numerical approach to nonlinear discrete-time control | 1997-11-09 | Paper |
Guaranteed analysis and optimisation of parametric systems with application to their stability degree | 1997-09-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4892225 | 1997-02-26 | Paper |
Guaranteed tuning, with application to robust control and motion planning | 1996-11-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4850619 | 1995-10-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4851617 | 1995-10-11 | Paper |
Guaranteed characterization of stability domains via set inversion | 1994-10-12 | Paper |
Set inversion via interval analysis for nonlinear bounded-error estimation | 1993-09-16 | Paper |