Search

Your search keyword '"Benoit Desrochers"' showing total 4 results
Start Over Author "Benoit Desrochers" Publisher elsevier bv
4 results on '"Benoit Desrochers"'

1. Chain of Set Inversion Problems Application to reachability analysis

Author

Luc Jaulin, Benoit Desrochers, Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT), Pôle STIC_OSM, École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Institut Mines-Télécom [Paris] (IMT)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-Institut Mines-Télécom [Paris] (IMT)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), and Institut Mines-Télécom [Paris] (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)

Subjects
Large class, Discrete mathematics, 0209 industrial biotechnology, State system, Set inversion, Solution set, 010103 numerical & computational mathematics, 02 engineering and technology, 01 natural sciences, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Set (abstract data type), [SPI]Engineering Sciences [physics], 020901 industrial engineering & automation, Chain (algebraic topology), Control and Systems Engineering, Reachability, 0101 mathematics, Mathematics
Abstract

International audience; This paper deals with the set inversion problem X = f −1 (Y) in the case where f : R n → R m depends on a parameter vector p ∈ R q which is known to be inside a box [p]. We show that for a large class of problems, we can obtain an accurate approximation of the solution set, without bisecting in the p-space. To do this, symbolic methods are required to cast our initial problem into a chain of set-inversion problems, the links of which have some nice properties with respect to p. As an application, we consider the problem of computing the set of all initial states of an uncertain discrete-time state system that reach a target set Y in a given time.

Published
2017
Full Text
View/download PDF

2. Thick gradual sets and their computations: Application for determining the uncertain zone explored by an underwater robot

Author

Luc Jaulin, Benoit Desrochers, Reda Boukezzoula, Laurent Foulloy, Laboratoire d'Informatique, Systèmes, Traitement de l'Information et de la Connaissance (LISTIC), Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry]), Equipe ROBotics for EXploration (Lab-STICC_ROBEX), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT), and École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)

Subjects
0209 industrial biotechnology, Computer science, Fuzzy set, Parameterized complexity, Monotonic function, 02 engineering and technology, Fuzzy control system, Interval (mathematics), Upper and lower bounds, [SPI.AUTO]Engineering Sciences [physics]/Automatic, 020901 industrial engineering & automation, Artificial Intelligence, Control and Systems Engineering, 0202 electrical engineering, electronic engineering, information engineering, Trajectory, 020201 artificial intelligence & image processing, Electrical and Electronic Engineering, Representation (mathematics), Algorithm, ComputingMilieux_MISCELLANEOUS
Abstract

This paper proposes a new concept of thick gradual sets (TGSs), which is based on the notions of thick sets (TSs) and gradual sets (GSs). A TS is an uncertain set, which is represented by a pair of crisp sets (CSs). These CSs represent the upper and lower bounds of the TS. Therefore, a TS can be considered as an interval of CSs. A GS is a CS, which is parameterized by a degree of pertinence and aims to increase the specificity of CSs. Furthermore, a TGS is an interval of GSs, i.e., a pair of lower and upper GSs. In situations when the constraint of monotonicity (consistency) is guaranteed, a GS becomes a type-1 fuzzy set (T1FS) and a TGS can be regarded as a thick fuzzy set (TFS). Moreover, a TFS, which is composed of lower and upper T1FS bounds, can be interpreted as a type-2 fuzzy set (T2FS). According to the TGS representation, this new approach offers an original concept for interpreting, manipulating, and computing some uncertain quantities that cannot be represented by GSs, T1FSs, and/or T2FSs. The potential applications of the TGS concept has been validated using application examples in the frameworks of solving fuzzy systems of equations and uncertain fuzzy regression and through a real-world application where the trajectory of an underwater robot is uncertain and cannot be precisely known because of disturbances induced by the environment. The proposed approach makes it possible to compute the uncertain zone explored by the underwater robot.

Published
2021
Full Text
View/download PDF

3. A minimal contractor for the polar equation: Application to robot localization

Author

Benoit Desrochers and Luc Jaulin

Subjects
0209 industrial biotechnology, Mathematical optimization, Computer science, business.industry, ComputerApplications_COMPUTERSINOTHERSYSTEMS, Robotics, 02 engineering and technology, Computer Science::Computers and Society, law.invention, Interval arithmetic, Computer Science::Robotics, 020901 industrial engineering & automation, Artificial Intelligence, Control and Systems Engineering, law, 0202 electrical engineering, electronic engineering, information engineering, Constraint programming, 020201 artificial intelligence & image processing, Cartesian coordinate system, Set theory, Artificial intelligence, Electrical and Electronic Engineering, Polar coordinate system, business, Algorithm
Abstract

Contractor programming relies on a catalog on elementary contractors which need to be as efficient as possible. In this paper, we introduce a new theorem that can be used to build minimal contractors consistent with equations, and another new theorem to derive an optimal separator from a minimal contractor. As an application, we focus on the channeling polar constraint associated to the change between Cartesian coordinates and Polar coordinates. We illustrate our method on the localization problem of an actual underwater robot where both range and goniometric measurements of landmarks are collected.

Published
2016
Full Text
View/download PDF

4. Development of online teaching modules for understanding placenta pathology

Author

Christopher G. Ball, Benoit Desrochers, Nasser Al-Abbad, David Grynspan, Julien Yockell-Lelievre, Laura McDonell, and Andrée Gruslin

Subjects
Pathology, medicine.medical_specialty, medicine.anatomical_structure, Reproductive Medicine, business.industry, Placenta, medicine, Online teaching, Obstetrics and Gynecology, business, Developmental Biology
Published
2013
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results