research
∙
09/07/2023
Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane
This paper presents a method for determining the area explored by a line...
share
research
∙
07/19/2023
Asymptotically minimal contractors based on the centered form;Application to the stability analysis of linear systems
This paper proposes a new interval-based contractor for nonlinear equati...
research
∙
06/16/2023
Karush-Kuhn-Tucker conditions to build efficient contractors; Application to TDoA localization
This paper proposes an efficient contractor for the TDoA (Time Different...
research
∙
05/24/2023
Optimal separator for an hyperbola; Application to localization
This paper proposes a minimal contractor and a minimal separator for an ...
research
∙
05/18/2023
Optimal separator for an ellipse; Application to localization
This paper proposes a minimal contractor and a minimal separator for an ...
research
∙
01/14/2021
Enclosing the Sliding Surfaces of a Controlled Swing
When implementing a non-continuous controller for a cyber-physical syste...
research
∙
12/04/2017
Proving the existence of loops in robot trajectories
This paper presents a reliable method to verify the existence of loops a...
research
∙
04/11/2017