Search

Your search keyword '"Lab-STICC_ENSTAB_CID_PRASYS"' showing total 43 results
Start Over Author "Lab-STICC_ENSTAB_CID_PRASYS" Topic 020901 industrial engineering & automation
43 results on '"Lab-STICC_ENSTAB_CID_PRASYS"'

1. Thick gradual intervals: An alternative interpretation of type-2 fuzzy intervals and its potential use in type-2 fuzzy computations

Author

Luc Jaulin, Laurent Foulloy, Reda Boukezzoula, 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]), 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), and Institut Mines-Télécom [Paris] (IMT)

Subjects
0209 industrial biotechnology, Computer science, Computation, Elementary arithmetic, 02 engineering and technology, Interval (mathematics), Fuzzy logic, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Interval arithmetic, T2FI aggregation operators, 020901 industrial engineering & automation, Operator (computer programming), Artificial Intelligence, Thick intervals and thick gradual intervals, 0202 electrical engineering, electronic engineering, information engineering, Electrical and Electronic Engineering, Representation (mathematics), Interpretation (logic), Extension (predicate logic), Type-1 and type-2 fuzzy intervals, Control and Systems Engineering, 020201 artificial intelligence & image processing, Fuzzy arithmetic and gradual arithmetic, T2FI regression, Algorithm
Abstract

International audience; This paper proposes a new interpretation of type-2 fuzzy intervals (T2FIs) through the joint use of gradual intervals (GIs) and thick intervals (TIs). In this framework, a T2FI is viewed as a thick gradual interval (TGI). This new representation gives an original concept for the manipulation of T2FIs according to the thick gradual representation. Furthermore, this vision allows an extension of the interval arithmetic arsenal and reasoning to the framework of T2FIs. The proposed approach can be regarded as more computationally viable, which will make T2FIs computations more useful in applied scenarios. As an illustration, the proposed concept is used to implement the elementary arithmetic operations on T2FIs. The potentialities of the TGI approach have been validated in the frameworks of T2FI aggregation operators and T2FI regression.

Published
2019
Full Text
View/download PDF

2. Restricted Orientation Dubins Path With Application to Sailboats

Author

Ulysse Vautier, Christophe Viel, Robert Hone, Jian Wan, Luc Jaulin, Ming Dai, Plymouth University, 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), and Zhejiang University of Science and Technology

Subjects
0209 industrial biotechnology, Turning, Control and Optimization, Computer science, Biomedical Engineering, 02 engineering and technology, Orientation (graph theory), Topology, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Computer Science::Robotics, 020901 industrial engineering & automation, Artificial Intelligence, Position (vector), [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, Motion planning, Path planning, Mechanical Engineering, Indexes, Dubins path, Computer Science Applications, Human-Computer Interaction, Planning, Control and Systems Engineering, Face, Face (geometry), Shortest path problem, Robot, Computer Vision and Pattern Recognition, Robots
Abstract

International audience; This paper develops a geometrical construction of a shortest Dubins path in a discontinuous orientation restricted environment. The method proposed here builds the shortest path from one pose to the other while avoiding a no-go zone in terms of orientation, and being constrained to move forward. Finally, an application to autonomous sailboats is then provided to validate the feasibility of the planned shortest path in a position keeping scenario.

Published
2019
Full Text
View/download PDF

3. Bracketing backward reach sets of a dynamical system

Author

Luc Jaulin, Benoit Zerr, Thomas Le Mézo, Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), 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), 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), and École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)

Subjects
0209 industrial biotechnology, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], Stability (learning theory), Abstract interpretation, 02 engineering and technology, Dynamical system, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Computer Science Applications, Interval arithmetic, Set (abstract data type), 020901 industrial engineering & automation, Interval Computation, Control and Systems Engineering, Backward reach set, 0202 electrical engineering, electronic engineering, information engineering, Basin of attraction, 020201 artificial intelligence & image processing, Statistical physics, Constraint solving, Bracketing, Stability, Mathematics
Abstract

International audience; In this paper, we present a new method for bracketing (i.e., characterizing from inside and from outside) backward reach set of the target region T of a continuous time dynamical system. The principle of the method is to formalize the problem as a constraint network, where the variables are the trajectories (or paths) of the system. The resolution is made possible by using mazes which is a set of paths that contain all solutions of the problem. As a result, we will be able to derive a method able to compute a backward reach set for a huge class of systems without any knowledge of a parametric Lyapunov function and without assuming any linearity for our system. The method will be illustrated on several examples.

Published
2019
Full Text
View/download PDF

4. Platooning Control for Sailboats Using a Tack Strategy

Author

Christophe Viel, Luc Jaulin, Jian Wan, Ulysse Vautier, Plymouth University, Zhejiang University of Science and Technology, 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), and École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)

Subjects
Platooning, 0209 industrial biotechnology, Quadrilateral, business.industry, Computer science, Control (management), Robotics, 02 engineering and technology, Mechatronics, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Computer Science Applications, Task (project management), Acceleration, 020901 industrial engineering & automation, Autonomous sailboat, Control and Systems Engineering, Control theory, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, Path (graph theory), Non-linear control, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], 14. Life underwater, Artificial intelligence, Underwater, business
Abstract

International audience; This paper addresses the problem of platooning control for a fleet of sailboats. A quadrilateral path is proposed to avoid going into the wind. A tack strategy is defined to go front the wind, stay in a short corridor and regulate the sailboat acceleration, which is a challenging task in comparison to autonomous underwater vehicles (AUVs) or surface vehicles that can use motors for such regulation. Desired acceleration which guarantees to reach the platooning has been derived and validated. A method of regulating the sail angle using a proportional command is proposed to control the sailboat acceleration. Simulation results demonstrate the effectiveness of the proposed approach.

Published
2019
Full Text
View/download PDF

5. Enclosing the Sliding Surfaces of a Controlled Swing

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), DGA Techniques Navales, and Direction générale de l'Armement (DGA)

Subjects
Surface (mathematics), FOS: Computer and information sciences, G.1.0, G.1.7, 0209 industrial biotechnology, Computer Science - Logic in Computer Science, Internet of things, Hybrid systems, Computer science, Computer Science - Artificial Intelligence, Embedded systems, 02 engineering and technology, Interval (mathematics), [SPI.AUTO]Engineering Sciences [physics]/Automatic, Computer Science - Robotics, 020901 industrial engineering & automation, Control theory, 0202 electrical engineering, electronic engineering, information engineering, Differentiable function, Controllers, Swing, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Hybrid system, Trajectory, Piecewise, 020201 artificial intelligence & image processing, Robotics (cs.RO)
Abstract

When implementing a non-continuous controller for a cyber-physical system, it may happen that the evolution of the closed-loop system is not anymore piecewise differentiable along the trajectory, mainly due to conditional statements inside the controller. This may lead to some unwanted chattering effects than may damage the system. This behavior is difficult to observe even in simulation. In this paper, we propose an interval approach to characterize the sliding surface which corresponds to the set of all states such that the state trajectory may jump indefinitely between two distinct behaviors. We show that the recent notion of thick sets will allows us to compute efficiently an outer approximation of the sliding surface of a given class of hybrid system taking into account all set-membership uncertainties. An application to the verification of the controller of a child swing is considered to illustrate the principle of the approach., Comment: In Proceedings SNR 2020, arXiv:2101.05256

Published
2021
Full Text
View/download PDF

6. Non-linear control under state constraints with validated trajectories for a mobile robot towing a trailer

Author

Joris Tillet, Luc Jaulin, Fabrice Le Bars, 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), and Institut Mines-Télécom [Paris] (IMT)

Subjects
0209 industrial biotechnology, tank-trailer, Computer science, Lie derivatives, state constraints, Trailer, Mobile robot, 0102 computer and information sciences, 02 engineering and technology, Nonlinear control, 01 natural sciences, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Set (abstract data type), Nonlinear system, 020901 industrial engineering & automation, 010201 computation theory & mathematics, Control theory, mobile robots, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, Robot, Interval analysis, nonlinear control, Towing
Abstract

International audience; In this paper, we propose a set-inversion approach to validate the controller of a nonlinear system that should satisfy some state constraints. We introduce the notion of follow set which corresponds to the set of all output vectors such that the desired dynamics can be followed without violating the state-constraints. This follow set can then be used to choose feasible trajectories that a mobile robot will be able to follow. An illustrative example with a robot towing a trailer is presented. This example is motivated by the safe control of a boat towing a marine magnetique sensor to find wrecks.

Published
2020
Full Text
View/download PDF

7. Thick sets, multiple-valued mappings, and possibility theory

Author

Henri Prade, Didier Dubois, Luc Jaulin, Vladik Kreinovich, Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), 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), 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), and Janusz Kacprzyk

Subjects
Possibility theory, 0209 industrial biotechnology, Thick set, Inverse image, Computer science, Multivalued function, Fuzzy set, Uncertainty, Probabilistic logic, 02 engineering and technology, Interval (mathematics), 16. Peace & justice, Set (abstract data type), Algebra, 020901 industrial engineering & automation, Bounded function, 0202 electrical engineering, electronic engineering, information engineering, Interval analysis, [INFO]Computer Science [cs], 020201 artificial intelligence & image processing, Inverse function
Abstract

International audience; Carrying uncertain information via a multivalued function can be found in different settings, ranging from the computation of the image of a set by an inverse function to the Dempsterian transfer of a probabilistic space by a multivalued function. We then get upper and lower images. In each case one handles so-called thick sets in the sense of Jaulin, i.e., lower and upper bounded ill-known sets. Such ill-known sets can be found under different names in the literature, e.g., interval sets after Y. Y. Yao, twofold fuzzy sets in the sense of Dubois and Prade, or interval-valued fuzzy sets, ... Various operations can then be defined on these sets, then understood in a disjunctive manner (epistemic uncertainty), rather than conjunctively. The intended purpose of this note is to propose a unified view of these formalisms in the setting of possibility theory, which should enable us to provide graded extensions to some of the considered calculi.

Published
2020
Full Text
View/download PDF

8. Set-membership state estimation by solving data association

Author

Benoit Desrochers, Luc Jaulin, Simon Rohou, 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), DGA Techniques Navales, Direction générale de l'Armement (DGA), and ANR-16-CE33-0024,CONTREDO,Intervalles et contracteurs pour les systèmes dynamiques(2016)

Subjects
0209 industrial biotechnology, Computer science, Reliability (computer networking), [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], 02 engineering and technology, Sonar, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Set (abstract data type), 020901 industrial engineering & automation, Position (vector), 0202 electrical engineering, electronic engineering, information engineering, Trajectory, Robot, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], 020201 artificial intelligence & image processing, Underwater, Algorithm, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
Abstract

International audience; This paper deals with the localization problem of a robot in an environment made of indistinguishable landmarks, and assuming the initial position of the vehicle is unknown. This scenario is typically encountered in underwater applications for which landmarks such as rocks all look alike. Furthermore, the position of the robot may be lost during a diving phase, which obliges us to consider unknown initial position. We propose a deterministic approach to solve simultaneously the problems of data association and state estimation, without combinatorial explosion. The efficiency of the method is shown on an actual experiment involving an underwater robot and sonar data.

Published
2020

9. Characterizing Sliding Surfaces of Cyber-Physical Systems

Author

Fabrice Le Bars, Luc Jaulin, 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), and Institut Mines-Télécom [Paris] (IMT)

Subjects
0209 industrial biotechnology, Information Systems and Management, Computer science, 02 engineering and technology, Management Science and Operations Research, Classification of discontinuities, Theoretical Computer Science, Interval arithmetic, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Sailboats, [SPI]Engineering Sciences [physics], 020901 industrial engineering & automation, Control theory, 0202 electrical engineering, electronic engineering, information engineering, Computer Science (miscellaneous), Interval analysis, Electrical and Electronic Engineering, business.industry, Cyber-physical system, Robotics, Sliding surface, Trajectory, Piecewise, Robot, 020201 artificial intelligence & image processing, Computer Vision and Pattern Recognition, Artificial intelligence, business, Software
Abstract

International audience; When implementing a non-continuous controller for a cyber-physical system, it may happen that the evolution function of the closed-loop system is not anymore piecewise continuous along the trajectory, mainly due to if statements inside the control algorithm. As a consequence, an unwanted chattering effect may occur. This behavior is often difficult to observe even in simulation. We propose here a set-membership method based on interval analysis to detect different types of discontinuities. One of them is the sliding surface where the state trajectory jumps indefinitely between two distinct behaviors. As an application, we consider the validation of a sailboat controller. We show that our approach is able to detect and explain some unwanted sliding effects that may be observed in rare and specific situations on our actual sailboat robots.

Published
2020
Full Text
View/download PDF

10. Pattern formation of multi-AUV systems with the optical sensor based on displacement-based formation control

Author

Hélène Thomas, Zexiao Xie, Xiaomin Wang, Benoit Zerr, Benoit Clement, Ocean University of China (OUC), 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), Département STIC [Brest] (STIC), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), and Lab-STICC_ENSTAB_CID_TOMS

Subjects
Underwater image processing, 0209 industrial biotechnology, business.industry, Computer science, Pattern formation, Markov process, 02 engineering and technology, Displacement based, Visual servoing, Computer Science Applications, Theoretical Computer Science, Working range, [SPI.AUTO]Engineering Sciences [physics]/Automatic, symbols.namesake, 020901 industrial engineering & automation, Underwater vehicle, Control and Systems Engineering, 0202 electrical engineering, electronic engineering, information engineering, symbols, 020201 artificial intelligence & image processing, Computer vision, Artificial intelligence, business, ComputingMilieux_MISCELLANEOUS
Abstract

Associated with multi-autonomous underwater vehicle (AUV) systems, the optical sensors with short working range can be reconsidered, which can provide more detailed and more comprehensive descripti...

Published
2020
Full Text
View/download PDF

11. Guaranteed Nonlinear Parameter Estimation with Additive Gaussian Noise

Author

Jeremy Nicola, Luc Jaulin, 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), Olga Kosheleva, Sergey P. Shary, Gang Xiang, Roman Zapatrin, and Janusz Kacprzyk

Subjects
0209 industrial biotechnology, Set inversion, Estimation theory, Set-estimation, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], Nonlinear parameter estimation, 02 engineering and technology, Interval arithmetic, Set (abstract data type), Probabilistic estimation, [SPI]Engineering Sciences [physics], symbols.namesake, 020901 industrial engineering & automation, Gaussian noise, Localization, Parameter estimation, 0202 electrical engineering, electronic engineering, information engineering, symbols, Interval analysis, Applied mathematics, 020201 artificial intelligence & image processing, Set estimation, Mathematics
Abstract

International audience; In this paper we propose a new approach for nonlinear parameter estimation under additive Gaussian noise. We provide an algorithm based on interval analysis and set inversion which computes an inner and an outer approximation of a set enclosing the parameter vector with a given probability. The principle of the approach is illustrated by examples related to parameter estimation and range-only localization.

Published
2020
Full Text
View/download PDF

12. Thick Separators

Author

Luc Jaulin, Benoit Desrochers, Martine Ceberio, Vladik Kreinovich, 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), DGA Techniques Navales, DGA Techniques navales, and Janusz Kacprzyk

Subjects
0209 industrial biotechnology, 020901 industrial engineering & automation, 010103 numerical & computational mathematics, 02 engineering and technology, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], 0101 mathematics, 01 natural sciences
Abstract

International audience; If an interval of R is an uncertain real number, a thick set is an uncertain subset of Rn. More precisely, a thick set is an interval of the powerset of Rn equipped with the inclusion ⊂ as an order relation. It can generally be defined by parameters or functions which are not known exactly, but are known to belong to some intervals. In this paper, we show how to use constraint propagation methods in order to compute efficiently an inner and an outer approximations of a thick set. The resulting inner/outer contraction are made using an operator which is called a thick separator. Then, we show how thick separators can be combined in order to compute with thick sets.

Published
2020
Full Text
View/download PDF

13. Méthode fiable d’estimation d'état non-linéaire impliquant des incertitudes temporelles

Author

Lyudmila Mihaylova, Sandor M. Veres, Luc Jaulin, Fabrice Le Bars, Simon Rohou, 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), and University of Sheffield [Sheffield]

Subjects
tubes, 0209 industrial biotechnology, Computer science, Computation, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], contractors, Set (abstract data type), 020901 industrial engineering & automation, Bounding overwatch, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], state estimation, Electrical and Electronic Engineering, robotics, non-linear systems, Mobile robot, Nonlinear system, 010201 computation theory & mathematics, Control and Systems Engineering, Bounded function, Trajectory, Local consistency, time uncertainties, constraints, Algorithm, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
Abstract

This paper presents a new approach to bounded-error state estimation involving time uncertainties. For a given bounded\ud observation of a continuous-time non-linear system, it is assumed that neither the values of the observed data nor their\ud acquisition instants are known exactly. For systems described by state-space equations, we prove theoretically and demonstrate\ud by simulations that the proposed constraint propagation approach enables the computation of bounding sets for the systems’\ud state vectors that are consistent with the uncertain measurements. The bounding property of the method is guaranteed even\ud if the system is strongly non-linear. Compared with other existing constraint propagation approaches, the originality of the\ud method stems from our definition and use of bounding tubes which enable to enclose the set of all feasible trajectories inside\ud sets. This method makes it possible to build specific operators for the propagation of time uncertainties through the whole\ud trajectory. The efficiency of the approach is illustrated on two examples: the dynamic localization of a mobile robot and the\ud correction of a drifting clock.

Published
2018
Full Text
View/download PDF

14. An Interval Approach to Compute Invariant Sets

Author

Thomas Le Mézo, Luc Jaulin, Benoit Zerr, Pôle STIC_OSM, École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), 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), 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), and This work has been supported by the French Government Defense procurement and technology agency (DGA - Direction Générale de l'Armement)

Subjects
Lyapunov function, constraint programming, 0209 industrial biotechnology, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], Context (language use), 02 engineering and technology, Interval (mathematics), Set (abstract data type), invariant set, symbols.namesake, 020901 industrial engineering & automation, 0202 electrical engineering, electronic engineering, information engineering, State space, Applied mathematics, Limit (mathematics), Electrical and Electronic Engineering, Invariant (mathematics), Mathematics, Discrete mathematics, Computer Science Applications, state equation, limit cycle, Nonlinear system, Control and Systems Engineering, symbols, 020201 artificial intelligence & image processing, interval analysis, Guaranteed integration
Abstract

International audience; This paper proposes an original interval-based method to compute an outer approximation of all invariant sets (such as limit cycles) of a continuous-time non-linear dynamic system which are included inside a prior set of the state space. Contrary to all other existing approaches, our method has the following properties: (i) it is guaranteed (a solution cannot be lost), (ii) it is applicable to a large class of systems without any specific assumption such as the knowledge of a Lyapunov function or any partial linearity, and (iii) there is no need to integrate the system.

Published
2017
Full Text
View/download PDF

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

16. Minkowski Operations of Sets with Application to Robot Localization

Author

Luc Jaulin, Benoit Desrochers, DGA/TN, DGA, Pôle STIC_OSM, École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), 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), 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
Computational Geometry (cs.CG), FOS: Computer and information sciences, 0209 industrial biotechnology, Computer Science - Artificial Intelligence, Computer science, ComputerApplications_COMPUTERSINOTHERSYSTEMS, Systems and Control (eess.SY), 02 engineering and technology, Sonar, lcsh:QA75.5-76.95, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Computer Science - Robotics, 020901 industrial engineering & automation, Robot localization, Robot Autonome, Minkowski space, FOS: Electrical engineering, electronic engineering, information engineering, 0202 electrical engineering, electronic engineering, information engineering, Contractors, lcsh:Mathematics, localisation d'un robot, Order (ring theory), Resolution (logic), lcsh:QA1-939, Minkowski addition, Minkowski operations, Artificial Intelligence (cs.AI), Computer Science - Computational Geometry, Computer Science - Systems and Control, Robot, 020201 artificial intelligence & image processing, lcsh:Electronic computers. Computer science, interval analysis, Robotics (cs.RO), Algorithm
Abstract

This papers shows that using separators, which is a pair of two complementary contractors, we can easily and efficiently solve the localization problem of a robot with sonar measurements in an unstructured environment. We introduce separators associated with the Minkowski sum and the Minkowski difference in order to facilitate the resolution. A test-case is given in order to illustrate the principle of the approach., In Proceedings SNR 2017, arXiv:1704.02421

Published
2017
Full Text
View/download PDF

17. Computing a Guaranteed Approximation of the Zone Explored by a Robot

Author

Luc Jaulin, Benoit Desrochers, Délégation générale de l'armement (DGA), Ministère de la Défense, Pôle STIC_OSM, École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), 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), 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
0209 industrial biotechnology, Service robots, Computer science, Uncertainty, Trajectory, Probabilistic logic, 02 engineering and technology, Workspace, Space (mathematics), [SPI.AUTO]Engineering Sciences [physics]/Automatic, Computer Science Applications, Computer Science::Robotics, 020901 industrial engineering & automation, Dimension (vector space), Control and Systems Engineering, Control theory, Robot sensing systems, 0202 electrical engineering, electronic engineering, information engineering, Robot, 020201 artificial intelligence & image processing, Electrical and Electronic Engineering, Simulation
Abstract

International audience; This paper deals with the guaranteed characterization of the part of the space that has been explored by a robot.The main difficulty of the problem is to take into account the uncertainty associated with the trajectory and the fact that thedimension of the visible space at time t may be smaller than that of the workspace. An example involving an experiment made with an actual underwater robot is presented in order to illustrate the efficiency of the approach.

Published
2017
Full Text
View/download PDF

18. Using Interval Analysis to Compute the Invariant Set of a Nonlinear Closed-Loop Control System

Author

Luc Jaulin, Andreas Rauh, Swantje Romig, 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), Department of Mechatronics, and University of Rostock

Subjects
0209 industrial biotechnology, Numerical Analysis, Set inversion, Sliding mode control, Computer science, 02 engineering and technology, Interval (mathematics), Invariant sets, Theoretical Computer Science, Interval arithmetic, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Computational Mathematics, Nonlinear system, 020901 industrial engineering & automation, Computational Theory and Mathematics, Bounded function, Lyapunov stability, 0202 electrical engineering, electronic engineering, information engineering, Interval analysis, 020201 artificial intelligence & image processing, Invariant (mathematics), Global optimization, Algorithm
Abstract

In recent years, many applications, as well as theoretical properties of interval analysis have been investigated. Without any claim for completeness, such applications and methodologies range from enclosing the effect of round-off errors in highly accurate numerical computations over simulating guaranteed enclosures of all reachable states of a dynamic system model with bounded uncertainty in parameters and initial conditions, to the solution of global optimization tasks. By exploiting the fundamental enclosure properties of interval analysis, this paper aims at computing invariant sets of nonlinear closed-loop control systems. For that purpose, Lyapunov-like functions and interval analysis are combined in a novel manner. To demonstrate the proposed techniques for enclosing invariant sets, the systems examined in this paper are controlled via sliding mode techniques with subsequently enclosing the invariant sets by an interval based set inversion technique. The applied methods for the control synthesis make use of a suitably chosen Gr&ouml, bner basis, which is employed to solve B&eacute, zout&rsquo, s identity. Illustrating simulation results conclude this paper to visualize the novel combination of sliding mode control with an interval based computation of invariant sets.

Published
2019
Full Text
View/download PDF

19. Genetic algorithm-based multiple moving target reaching using a fleet of sailboats

Author

Viel Christophe, Vaultier Ulysse, Wan Jian, Jaulin Luc, Plymouth University, 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), and Institut Mines-Télécom [Paris] (IMT)

Subjects
0209 industrial biotechnology, Computer science, Real-time computing, 02 engineering and technology, Propulsion, Travelling salesman problem, lcsh:QA75.5-76.95, Task (project management), [SPI.AUTO]Engineering Sciences [physics]/Automatic, genetic algorithms, autonomous underwater vehicles, marine propulsion, wind direction, 020901 industrial engineering & automation, Genetic algorithm, multi-agent system, 0202 electrical engineering, electronic engineering, information engineering, genetic algorithm, multi-agent systems, Underwater, motorised vehicles, Multi-agent system, ga, lcsh:Q300-390, Wind direction, travelling salesman problems, Marine propulsion, sailboat movements, suboptimal solution, 020201 artificial intelligence & image processing, propulsion, lcsh:Electronic computers. Computer science, dynamic travelling salesman problem, lcsh:Cybernetics
Abstract

International audience; This study addresses the problem of Dynamic Travelling Salesman Problem for a multi-agent system using a fleet of sailboats. A genetic algorithm (GA) is proposed, which attributes to each agent a varying number of targets to be collected. GA allows obtaining a suboptimal solution in the shortest time possible. Moreover, this study adapts it to the specific problem involving a fleet of sailboats, which is a challenging task with comparison to autonomous underwater vehicles or motorised vehicles in terms of the propulsion. Therein motors can be flexibly controlled while sailboat movements are constrained by available wind direction and speed. Thus the method takes into account wind conditions at various locations of the sailboat. Simulation results demonstrate the effectiveness of the proposed approach.

Published
2019
Full Text
View/download PDF

20. A Low-Cost Test Bench for Underwater Thruster Identification

Author

Karl Sammut, Mohamed Bouhamida, Abdelmalek Laidani, M. Benghanem, Benoit Clement, 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), Université des sciences et de la Technologie d'Oran Mohamed Boudiaf [Oran] (USTO MB), and College of Science and Engineering, Flinders University

Subjects
0209 industrial biotechnology, Test bench, Computer science, Frame (networking), System identification, System Identification, Thrust, 02 engineering and technology, Thruster Model, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Test Bench, Identification (information), 020901 industrial engineering & automation, Control and Systems Engineering, Control system, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Instrumentation (computer programming), Underwater, Marine engineering
Abstract

International audience; Underwater vehicles are increasingly being used for the inspection of marine structures , bathymetry and underwater intervention applications. The manoeuvring performance of these vehicles is critically dependant on the quality of the thruster model which must faithfully represent the relationship between the thruster inputs and corresponding outputs. Thruster manufacturers typically provide only the essential electrical, mechanical and thrust performance characteristics, for this reason the identification of the thruster's parameters is especially important for constructing a reliable control system for the underwater vehicle. Physical testing using some form of test bench is normally used for identifying the thruster parameters. These test benches usually consist of a water tank and the thruster which is clamped to some form of instrumented reaction frame for measuring the model parameters. The cost of a test bench varies according to two major factors which are the size and the instrumentation which strongly depends on the physical quantities that we are trying to measure. In this article we will make a state of the art survey of existing test benches in order to provide a technical basis that will allow us to build a low-cost test bench. A thruster will be modelled using the resulting test bench and the outcomes will be presented at the end of this paper.

Published
2019

21. Design and control of a low-cost autonomous profiling float

Author

Luc Jaulin, Gilles Le Maillot, Thierry Ropert, Aurélien Ponte, Benoit Zerr, Thomas Le Mézo, Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), 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), 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), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Laboratoire d'Océanographie Physique et Spatiale (LOPS), Institut de Recherche pour le Développement (IRD)-Institut Français de Recherche pour l'Exploitation de la Mer (IFREMER)-Université de Brest (UBO)-Centre National de la Recherche Scientifique (CNRS), Institut Français de Recherche pour l'Exploitation de la Mer - Brest (IFREMER Centre de Bretagne), Institut Français de Recherche pour l'Exploitation de la Mer (IFREMER), É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 (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 (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT), Institut de Recherche pour le Développement (IRD)-Institut Français de Recherche pour l'Exploitation de la Mer (IFREMER)-Institut national des sciences de l'Univers (INSU - CNRS)-Université de Brest (UBO)-Centre National de la Recherche Scientifique (CNRS), É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), and 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)

Subjects
0209 industrial biotechnology, low-cost design, Float (project management), 010504 meteorology & atmospheric sciences, Computer science, Control (management), 02 engineering and technology, 01 natural sciences, Industrial and Manufacturing Engineering, Low-cost design, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Extended Kalman filter, [SPI]Engineering Sciences [physics], 020901 industrial engineering & automation, Control theory, depth control, Depth control, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], General Materials Science, Loop design, state feedback, 0105 earth and related environmental sciences, Profiling (computer programming), Mechanical Engineering, Float, Extended Kalman Filter, Key (cryptography), State (computer science), State feedback
Abstract

This paper presents the development made around the SeaBot, a new low-cost profiling float design for shallow water. We introduce a simplified dynamical model of the float and propose a state feedback depth controller coupled with an Extended Kalman Filter (EKF) to estimate model parameters. We show experimental results of the depth control that validate the model and the controller. We finally propose a loop design method to build low-cost floats by highlighting key design choices along with design rules.

Published
2019
Full Text
View/download PDF

22. Solving the Problem of Coordination and Control of Multiple UAVs by Using the Column Generation Method

Author

Jean-Christophe Cexus, Ali Khenchaf, Abdelmalek Toumi, Frédéric Dambreville, Duc Manh Nguyen, Hanoi National University of Education (HNUE), 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), Lab-STICC_ENSTAB_CID_TOMS, and Lab-STICC_ENSTAB_MOM_PIM

Subjects
0209 industrial biotechnology, Mathematical optimization, 021103 operations research, Dependency (UML), Linear programming, Computer science, business.industry, Column generation, 0211 other engineering and technologies, 02 engineering and technology, Unmanned aerial vehicle, Task (project management), [SPI.AUTO]Engineering Sciences [physics]/Automatic, Constraint (information theory), [SPI]Engineering Sciences [physics], 020901 industrial engineering & automation, Software, Mixed integer linear programming, Trajectory, business, Assignment problem, ComputingMilieux_MISCELLANEOUS, Trajectory design, Task allocation
Abstract

In this paper, we consider the problem of autonomous task allocation and trajectory planning for a set of UAVs. This is a bi-level problem: the upper-level is a task assignment problem, subjected to UAV capability constraints; the lower-level constructs the detailed trajectory of UAVs, subjected to dynamics, avoidance and dependency constraints. Although the entire problem can be formulated as a mixed-integer linear program (MILP), and thus it can be solved by available software, the computational time increases intensively. For solving more efficiently this problem we propose an efficient approach based on the column generation method in which the modified dependency constraint will be added into the sub-problem. The performance of our approach is evaluated by comparing with solution given by the CPLEX on different scenarios.

Published
2019
Full Text
View/download PDF

23. Experimental validation of constraint mitigation algorithm in underwater robot depth control

Author

Benoit Clement, Fabricio Garelli, Juan Luis Rosendo, Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), 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), 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), Universidad Nacional de la Plata [Argentine] (UNLP), Département STIC [Brest] (STIC), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), É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), and Institut Mines-Télécom [Paris] (IMT)

Subjects
0209 industrial biotechnology, Computer science, Mechanical Engineering, 020208 electrical & electronic engineering, 02 engineering and technology, Experimental validation, Sliding mode control, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Constraint (information theory), 020901 industrial engineering & automation, Control and Systems Engineering, Control theory, 0202 electrical engineering, electronic engineering, information engineering, Underwater robot, ComputingMilieux_MISCELLANEOUS
Abstract

This work explores both modeling and control of the experimental Ciscrea autonomous underwater vehicle. A 6-degree-of-freedom model is presented and validated for turn and emerge/sink maneuvers. Then, a constraint compensating algorithm is proposed based on quasi-sliding mode conditioning ideas and added to a pre-existing inaccessible proportional-derivative controller in order to improve the overall closed-loop response. By considering actuator constraints, the employed technique allows path following at greater speed than the original controller for a given error tolerance. Experimental results on the so-called Ciscrea underwater robot are presented.

Published
2019
Full Text
View/download PDF

24. A Modeling and Control approach for a cubic AUV

Author

Ali Mansour, Li Ming, Benoit Clement, Yang Rui, Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), 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), 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), Pôle STIC_OSM, École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Ocean University of China (OUC), Lab-STICC_ENSTAB_CACS_COM, Pôle STIC_IDM, É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), and Institut Mines-Télécom [Paris] (IMT)

Subjects
0209 industrial biotechnology, Engineering, Heading (navigation), business.industry, PID controller, Control engineering, 02 engineering and technology, Kalman filter, Computational fluid dynamics, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Compensation (engineering), modelling, Computer Science::Robotics, Nonlinear system, 020901 industrial engineering & automation, H-infinity methods in control theory, Control and Systems Engineering, Control theory, Robust control, business, AUV, application, Robust Control
Abstract

International audience; This paper presents a control synthesis methodology for a cubic AUV. The modeling part is based on CFD calculation and the control part is based on H infinity theory, nonlinear compensation, Smith compensation and Kalman filter. It is presented and adapted to Ciscrea AUV for heading control. A comparison with PID controller is given with simulations and sea tests.

Published
2016
Full Text
View/download PDF

25. Position keeping control of an autonomous sailboat

Author

Ulysse Vautier, Jian Wan, Christophe Viel, Luc Jaulin, 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), 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
0209 industrial biotechnology, 010505 oceanography, Computer science, Control (management), 02 engineering and technology, Nonlinear control, 01 natural sciences, Stability (probability), autonomous sailboat, Acceleration, 020901 industrial engineering & automation, non-linear control, Control and Systems Engineering, Position (vector), Control theory, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, Position keeping, Point (geometry), Tacking, 0105 earth and related environmental sciences
Abstract

International audience; This paper addresses the problem of reaching and keeping a target position for a sailboat. A method to control sail angle is proposed, using an adaptive adjustment of the sail to regulate the acceleration of the sailboat. A tacking strategy is defined to navigate into the wind, arrive upwind to slow down the boat and then to stay close to the target point. Simulation results show the effectiveness of the proposed approach. The stability of the sailboat using the proposed control has been proven.

Published
2018
Full Text
View/download PDF

26. Control of an Autonomous Underwater Vehicle subject to robustness constraints

Author

Dominique Monnet, Fabricio Garelli, Benoit Clement, Juan Luis Rosendo, Jordan Ninin, Universidad Nacional de la Plata [Argentine] (UNLP), Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), 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), 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), É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), and Institut Mines-Télécom [Paris] (IMT)

Subjects
Robustness Analysis, 0209 industrial biotechnology, Computer science, Robust control, 02 engineering and technology, H ∞ control, 01 natural sciences, 010305 fluids & plasmas, PID design, [SPI.AUTO]Engineering Sciences [physics]/Automatic, 020901 industrial engineering & automation, Underwater vehicle, Control and Systems Engineering, Control theory, Robustness (computer science), 0103 physical sciences, Global optimization, AUV
Abstract

International audience; In this paper, we present a method to compute a control law for an Autonomous Underwater Vehicle (AUV) subject to external disturbances. The control law's design objectives are formulated as H ∞ objectives used to synthesize a robust controller. Then, a robustness analysis of AUV model uncertainties is performed without conservatism with interval analysis and global optimization in order to validate the control law. We emphasize the advantage of our approach by comparing it with two other classical design methods with simulations and experiments.

Published
2018

27. A global optimization approach for non-linear sliding mode control analysis and design

Author

Juan Luis Rosendo, Dominique Monnet, Hernán De Battista, Jordan Ninin, Benoit Clement, Fabricio Garelli, Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), 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), 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), Universidad Nacional de la Plata [Argentine] (UNLP), É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), and Institut Mines-Télécom [Paris] (IMT)

Subjects
0209 industrial biotechnology, Robust control design, 021103 operations research, Computer science, 0211 other engineering and technologies, 02 engineering and technology, Sliding mode control, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Nonlinear system, 020901 industrial engineering & automation, Control and Systems Engineering, Control theory, Robustness (computer science), State space, Interval analysis, Global optimization, Sliding Modes
Abstract

International audience; The design of sliding mode (SM) comprises the selection of a sliding manifold on the state space and a switching logic. The sliding manifold design is associated with the desired dynamics and closed loop specifications, whereas the switching logic is designed to drive and keep the state on the prescribe manifold. The classical design can lead to over or underestimation of the sliding domain, the closed loop robustness and the necessary control power. Here the design of SM is addressed from the global optimization approach using interval arithmetic. A solution to the analysis and synthesis problems of SM design is provided, where the necessary and sufficient conditions are fulfilled in a guaranteed way. For the analysis problem the proposed methodology allows checking sliding mode behaviour over given state domain and parameter sets. For the synthesis problem, the methodology allows designing the sliding manifold and switching logic with a given optimization criterion. The methodology is illustrated with a concluding example.

Published
2018

28. Estimating the Trajectory of Low-Cost Autonomous Robots Using Interval Analysis: Application to the euRathlon Competition

Author

Elba Antonio, Luc Jaulin, Carlos H. de la Cruz, Fabrice Le Bars, Jorge Cervantes, Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), 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), 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), Laboratoire Franco-Mexicain d'Informatique et d'Automatique (LAFMIA), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centro de Investigacion y de Estudios Avanzados del Instituto Politécnico Nacional (CINVESTAV)-Université de Technologie de Compiègne (UTC)-Consejo Nacional de Ciencia y Tecnología [Mexico] (CONACYT)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), and Luc Jaulin

Subjects
0209 industrial biotechnology, SIMPLE (military communications protocol), Computer science, business.industry, Ranging, Robotics, Control engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Interval arithmetic, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Competition (economics), [SPI]Engineering Sciences [physics], 020901 industrial engineering & automation, 010201 computation theory & mathematics, Trajectory, Robot, Artificial intelligence, business, Envelope (motion)
Abstract

International audience; In this paper, we describe a method based on interval arithmetic and contractors to compute an envelope containing the trajectory of a robot from usual proprioceptive and exteroceptive data, using a simple state equation model. To illustrate the applicability of the method, data from the euRathlon 2015, a multi-domain robotics competition, will be processed to build an estimation of the trajectory of a low-cost AUV (Autonomous Underwater Vehicle), navigating with the help of acoustic communication and ranging with an ASV (Autonomous Surface Vehicle).

Published
2018
Full Text
View/download PDF

29. Secure a Zone from Intruders with a Group Robots

Author

Luc Jaulin, Benoit Zerr, Khadimoullah Vencatasamy, 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), Luc Jaulin, 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
0209 industrial biotechnology, Group (mathematics), Computer science, Real-time computing, Submarine, 02 engineering and technology, 01 natural sciences, Interval arithmetic, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Set (abstract data type), [SPI]Engineering Sciences [physics], 020901 industrial engineering & automation, 0103 physical sciences, Robot, Underwater, 010301 acoustics
Abstract

International audience; The paper proposes new method to secure a zone of the world from intruders using a group a robots. The principle is to control the group in order to form a chain through which no intruder can go without being detected. We use a set membership method based on interval analysis and mathematical morphology to guarantee that no intruder is inside the secure zone. The approach is illustrated by an example where the environment is the Bay of Biscay, the intruder is a submarine and the group of robots consists of small underwater autonomous vehicles.

Published
2018
Full Text
View/download PDF

30. Fuzzy Matrix Contractor Based Approach for Localization of Robots

Author

Luc Jaulin, Snehashish Chakraverty, Nisha Rani Mahato, Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), 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), 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), É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), and Institut Mines-Télécom [Paris] (IMT)

Subjects
0209 industrial biotechnology, Mathematical optimization, Orientation (computer vision), Computer science, Gaussian, Frame (networking), 02 engineering and technology, Fuzzy logic, Computer Science::Computers and Society, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Computer Science::Robotics, symbols.namesake, Matrix (mathematics), 020901 industrial engineering & automation, Position (vector), 0202 electrical engineering, electronic engineering, information engineering, symbols, Robot, 020201 artificial intelligence & image processing, Pose, ComputingMilieux_MISCELLANEOUS
Abstract

Localization consists of finding the pose of some robots with respect to its position and orientation. In case of localization of a group of robots over a planar surface, each robot is linked with other robots using constraints that may be considered in term of matrix equations. As such, this chapter deals with the localization of group of robots using angle and distance constraints associated with fuzzy matrix contractors. Matrix contractors based on azimuth–distance and bearing-distance constraints help efficient propagation of fuzzy uncertainties through a group of robots for localization purpose when no absolute frame is present. Finally, various groups of robots have been considered for the verification of proposed contractors viz. azimuth, distance, azimuth–distance, and bearing-distance contractors using Gaussian fuzzy uncertainty.

Published
2018

31. Bracketing the solutions of an ordinary differential equation with uncertain initial conditions

Author

Benoit Zerr, Thomas Le Mézo, Luc Jaulin, Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), 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), 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), Pôle STIC_OSM, École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), DGA, É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), and Institut Mines-Télécom [Paris] (IMT)

Subjects
0209 industrial biotechnology, Dynamical systems theory, ODE, Applied Mathematics, Mathematical analysis, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], Abstract interpretation, Interval computation, 02 engineering and technology, State (functional analysis), Interval (mathematics), Infinity, Interval arithmetic, Computational Mathematics, 020901 industrial engineering & automation, Bounded function, Ordinary differential equation, Dynamical systems, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Positive invariant set, Bracketing, Mathematics
Abstract

International audience; In this paper, we present a new method for bracketing (i.e., characterizing from inside and from outside) all solutions of an ordinary differential equation in the case where the initial time is inside an interval and the initial state is inside a box. The principle of the approach is to cast the problem into bracketing the largest positive invariant set which is included inside a given set X. Although there exists an efficient algorithm to solve this problem when X is bounded, we need to adapt it to deal with cases where X is unbounded.

Published
2018
Full Text
View/download PDF

32. Range-only SLAM with indistinguishable landmarks; a constraint programming approach

Author

Luc Jaulin, Lab-STICC_ENSTAB_CID_IHSEV, OSM, Département STIC [Brest] (STIC), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), 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), 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), É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), and Institut Mines-Télécom [Paris] (IMT)

Subjects
constraint programming, 0209 industrial biotechnology, 02 engineering and technology, Simultaneous localization and mapping, localization, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Interval arithmetic, Computer Science::Robotics, 020901 industrial engineering & automation, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Redundancy (engineering), Constraint programming, simultaneous localization and mapping, Discrete Mathematics and Combinatorics, Point (geometry), Computer vision, Mathematics, robotics, business.industry, Constraint (information theory), Computational Theory and Mathematics, Computer Science::Computer Vision and Pattern Recognition, Local consistency, Robot, 020201 artificial intelligence & image processing, Artificial intelligence, interval analysis, business, Software
Abstract

International audience; This paper deals with the simultaneous localization and mapping problem (SLAM) for a robot. The robot hasto build a map of its environment while localizing itself using an the partially built map. It is assumed that (i)the map is made of punctual static landmarks, (ii) the landmarks are indistinguishable, (iii) the only exteroceptivemeasurements correspond to the distance between the robot and the landmarks. This problem can be takled usingMonte-Carlo approaches, but the resulting method is often trapped in some local minimimum from which it isdifficult to escape without solving the data association problem. The main contribution of this paper is to show that,due to the redundancy of measurements, a constraint-based approach can find a guaranteed enclosure of the globalsolution with a polynomial complexity. A simulated test-case is provided to illustrate the efficiency of the approach.

Published
2015
Full Text
View/download PDF

33. Comparison of Kalman and Interval Approaches for the Simultaneous Localization and Mapping of an Underwater Vehicle

Author

Jeremy Nicola, Luc Jaulin, iXBLUE (Entreprise), Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), 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), 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), Luc Jaulin, É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), and Institut Mines-Télécom [Paris] (IMT)

Subjects
0209 industrial biotechnology, Computer science, 02 engineering and technology, Kalman filter, Interval (mathematics), Simultaneous localization and mapping, 01 natural sciences, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Domain (software engineering), Beacon, Set (abstract data type), [SPI]Engineering Sciences [physics], 020901 industrial engineering & automation, 0103 physical sciences, Outlier, State observer, 010301 acoustics, Algorithm
Abstract

International audience; In this paper we compare the use of a Kalman filter and a Robust State Observer for the localization and mapping of an underwater vehicle using range-only measurements between the vehicle and a set of beacons lying on the seafloor. As expected, we show that the Kalman filter performs great when we have a reasonably good prior information on the location of the vehicle and the beacons. Based on set-membership methods, the Robust State Observer demonstrates an outstanding capacity to provide consistent estimates (where the true solution is in the estimated confidence domain) in the presence of outliers at the cost of a very coarse precision. The source of this lack of precision will be discussed.

Published
2017
Full Text
View/download PDF

34. An interval space reducing method for constrained problems with particle swarm optimization

Author

Thiago Melo Machado-Coelho, Gustavo Luís Soares, Petr Ekel, Luc Jaulin, Witold Pedrycz, Alexei Manso Correa Machado, Pontifical Catholic University of Minas Gerais [Belo Horizonte], Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), 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), 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), Pôle STIC_OSM, École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), University of Alberta, É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), and Institut Mines-Télécom [Paris] (IMT)

Subjects
Continuous optimization, 0209 industrial biotechnology, Mathematical optimization, Meta-optimization, Constrained Optimization, Imperialist competitive algorithm, 02 engineering and technology, Evolutionary computation, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Vector optimization, [SPI]Engineering Sciences [physics], 020901 industrial engineering & automation, Particle Swarm Optimization, Derivative-free optimization, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Multi-swarm optimization, Global optimization, Metaheuristic, Software, Interval Analysis, Mathematics
Abstract

International audience; In this paper, we propose a method for solving constrained optimization problems using Interval Analysis combined with Particle Swarm Optimization. A Set Inverter Via Interval Analysis algorithm is used to handle constraints in order to reduce constrained optimization to quasi unconstrained one. The algorithm is useful in the detection of empty search spaces, preventing useless executions of the optimization process. To improve computational efficiency, a Space Cleaning algorithm is used to remove solutions that are certainly not optimal. As a result, the search space becomes smaller at each step of the optimization procedure. After completing pre-processing, a modified Particle Swarm Optimization algorithm is applied to the reduced search space to find the global optimum. The efficiency of the proposed approach is demonstrated through comprehensive experimentation involving 100,000 runs on a set of well-known benchmark constrained engineering design problems. The computational efficiency of the new method is quantified by comparing its results with other PSO variants found in the literature.

Published
2017
Full Text
View/download PDF

35. Calcul garanti de trajectoires de robots

Author

Luc Jaulin, Sandor M. Veres, Fabrice Le Bars, Lyudmila Mihaylova, Simon Rohou, 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), University of Sheffield [Sheffield], and This work has been supported by the French Direction Générale de l’Armement (DGA) during the UK-France PhD program.

Subjects
0209 industrial biotechnology, Mathematical optimization, ODE, Computer science, Differential equation, General Mathematics, Constraint (computer-aided design), [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], 02 engineering and technology, tube programming, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], contractors, 020901 industrial engineering & automation, Differential inclusion, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], Differential (infinitesimal), Flexibility (engineering), guaranteed integration, business.industry, Ode, Robotics, Mobile robot, Computer Science Applications, mobile robotics, Control and Systems Engineering, Robot, 020201 artificial intelligence & image processing, Artificial intelligence, business, constraints, Software, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
Abstract

This paper proposes a new method for guaranteed integration of state equations. Within this framework, the variables of interest are trajectories submitted to both arithmetic and differential equations. The approach consists in formalizing a problem thanks to a constraint network and then apply these constraints to sets of trajectories. The contribution of the paper is to provide a reliable framework to enclose the solutions of these differential equations. Its use is shown to be simple, more general and more competitive than existing approaches dealing with guaranteed integration, especially when applied to mobile robotics. The flexibility of the developed framework allows to deal with non-linear differential equations or even differential inclusions built from datasets, while considering observations of the states of interest. An illustration of this method is given over several examples with mobile robots. A contractor-based approach is proposed for guaranteed integration of state equations.The framework is based on the use of tubes as envelopes of feasible trajectories.A dedicated differential contractor is provided to deal with dynamical systems.The use of tubes is well suited for multi-differential and non-linear equations.An illustration of this approach is given over several mobile robotics examples.

Published
2017
Full Text
View/download PDF

36. Pattern formation for a fleet of AUVs based on optical sensor

Author

Benoit Zerr, Hélène Thomas, Benoit Clement, Xiaomin Wang, Zexiao Xie, 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), Ocean University of China (College of Engineering), Ocean University of China, 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
0209 industrial biotechnology, Engineering, Orientation (computer vision), business.industry, Frame (networking), Process (computing), 0102 computer and information sciences, 02 engineering and technology, Visual servoing, 01 natural sciences, [SPI.AUTO]Engineering Sciences [physics]/Automatic, 020901 industrial engineering & automation, 010201 computation theory & mathematics, Compass, Pyramid, Trajectory, Robot, Computer vision, Artificial intelligence, business
Abstract

International audience; —During the past decades, multi-robot systems have been studied deeply and have demonstrated their advantages in conducting autonomous missions, particularly in underwater environment. When using multiple robots, high cost single sensor can be replaced by many coordinated low cost sensors, such as optical sensors used in our work for acquiring relevant data and coordinating the fleet of robots. In this paper, we propose a coordination algorithm for pattern formation (the shape of the fleet), which includes a new predefined pyramid pattern independent on the number of robots and an associated formation control strategy for building and maintaining this pyramid without collision among robots and without external assistant in non-obstacle situation. The formation control strategy consists of three steps: (1) a common frame is built after the exchange of local information extracted from visual servoing (VS) and compass of each robot; (2) a pyramid frame is established from the distribution of robots, and whose orientation is defined by one of the two following methods: one based on principal component analysis (PCA) and the other one based on an intermediate circle pattern (CP); (3) the kernel part is the collision avoidance strategy (CA) which is realized by optimally matching up positions in the distribution and the pyramid, and planning the straight non-intercrossed trajectories. At last, robots build the pyramid along the straight trajectory. During the whole process, except the information exchange for establishing the common frame, robots do not need communication as they have the same algorithms. Until now the performance of the formation control strategy is demonstrated with 4 to 6 robots in Blender based on dynamic equations of real underwater robots.

Published
2017
Full Text
View/download PDF

37. An interval approach to solve an initial value problem

Author

Benoit Zerr, Thomas Le Mézo, Luc Jaulin, Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), 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), 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), Lab-STICC_ENSTAB_CID_IHSEV, OSM, Département STIC [Brest] (STIC), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-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)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-É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)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), É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), and Institut Mines-Télécom [Paris] (IMT)

Subjects
0209 industrial biotechnology, Mathematical optimization, Discretization, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], MathematicsofComputing_NUMERICALANALYSIS, Mathematics::Analysis of PDEs, Ode, 0102 computer and information sciences, 02 engineering and technology, Interval (mathematics), 16. Peace & justice, 01 natural sciences, 020901 industrial engineering & automation, Initial value problems, 010201 computation theory & mathematics, Ordinary differential equation, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, State space, Initial value problem, Vector field, Set theory, Vector fields, Ordinary differential equations, Mathematics
Abstract

International audience; This paper proposes an original guaranteed interval-based method to solve an Initial Value Problem (IVP) for ordinary differential equations (ODE). Our method uses the geometrical properties of the vector field given by the ODE and a state space discretization to compute an enclosure of the trajectories set that verifies the IVP problem.

Published
2016
Full Text
View/download PDF

38. Global Optimization of $$H_\infty $$ Problems: Application to Robust Control Synthesis Under Structural Constraints

Author

Benoit Clement, Dominique Monnet, Jordan Ninin, Lab-STICC_ENSTAB_CID_PRASYS, OSM, Département STIC [Brest] (STIC), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-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)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-É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)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), and École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)

Subjects
0209 industrial biotechnology, Mathematical optimization, 020208 electrical & electronic engineering, 02 engineering and technology, Routh–Hurwitz stability criterion, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Interval arithmetic, Constraint (information theory), 020901 industrial engineering & automation, Convergence (routing), 0202 electrical engineering, electronic engineering, information engineering, Robust control law, Robust control, Global optimization, ComputingMilieux_MISCELLANEOUS, Mathematics
Abstract

In this paper, a new technique to compute a synthesis structured Robust Control Law is developed. This technique is based on global optimization methods using a Branch-and-Bound algorithm. The original problem is reformulated as a min/max problem with non-convex constraint. Our approach uses interval arithmetic to compute bounds and accelerate the convergence.

Published
2016
Full Text
View/download PDF

39. Mobile Robotics: Second edition

Author

Jaulin, Luc, Lab-STICC_ENSTAB_CID_IHSEV, OSM, Département STIC [Brest] (STIC), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), 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), and ISTE

Subjects
0209 industrial biotechnology, [SPI]Engineering Sciences [physics], 020901 industrial engineering & automation, 0202 electrical engineering, electronic engineering, information engineering, Mobile Robotics, Three-dimensional Modeling. Feedback Linearization. Model-free Control. Guidance. Instantaneous Localization.. Identification. Kalman Filter, 020201 artificial intelligence & image processing, 02 engineering and technology, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract

International audience; Mobile Robotics presents the different tools and methods that enable the design of mobile robots; a discipline booming with the emergence of flying drones, underwater mine-detector robots, robot sailboats and robot vacuum cleaners.This book presents the different tools and methods that enable the design of mobile robots. These generally autonomous systems are supervised by a human operator and are able to move in a more or less known environment.Illustrated with simulations, exercises and examples, this book describes the fundamentals of modeling robots, developing the concepts of actuators, sensors, control and guidance. Three-dimensional simulation tools are also explored, as well as the theoretical basis for the reliable localization of robots within their environment.

Published
2015

40. Set-Membership Approach to the Kidnapped Robot Problem

Author

Benoit Desrochers, Simon Lacroix, Luc Jaulin, Département STIC [Brest] (STIC), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Lab-STICC_ENSTAB_CID_IHSEV, OSM, École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), 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 (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 (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT), Équipe Robotique et InteractionS (LAAS-RIS), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), 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), 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), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Pôle STIC [Brest] (STIC), Pole STIC, ENSTA Bretagne, Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J), É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), and 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)

Subjects
0209 industrial biotechnology, Matching (graph theory), Computer science, business.industry, Raised-relief map, 02 engineering and technology, Interval (mathematics), Kidnapped robot problem, GeneralLiterature_MISCELLANEOUS, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Set (abstract data type), 020901 industrial engineering & automation, Robustness (computer science), Outlier, 0202 electrical engineering, electronic engineering, information engineering, Robot, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], 020201 artificial intelligence & image processing, Computer vision, Algorithm design, Artificial intelligence, business, Lidar data, Interval Analysis
Abstract

International audience; This article depicts an algorithm which matches the output of a Lidar with an initial terrain model to estimate the absolute pose of a robot. Initial models do not perfectly fit the reality and the acquired data set can contain an unknown, and potentially large, proportion of outliers. We present an interval based algorithm that copes with such conditions, by matching the Lidar data with the terrain model in a robust manner. Experimental validations using different terrain model are reported to illustrate the performance of the method.

Published
2015

41. State-of-the-art of standalone accurate AUV positioning - application to high resolution bathymetric surveys

Author

Benoit Clement, Pierre Bosser, Fabien Novella, Pierre Benet, Marie Ponchart, 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), and Institut Mines-Télécom [Paris] (IMT)

Subjects
0209 industrial biotechnology, Computer science, Real-time computing, Terrain, Context (language use), 02 engineering and technology, Simultaneous localization and mapping, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Beacon, 020901 industrial engineering & automation, 0202 electrical engineering, electronic engineering, information engineering, Synthetic aperture sonar, 020201 artificial intelligence & image processing, Bathymetry, 14. Life underwater, Underwater, ComputingMilieux_MISCELLANEOUS, Inertial navigation system
Abstract

Autonomous Underwater Vehicles (AUVs) represent a very promising tool for high resolution bathymetric surveys. In this context, this article presents a state-of-the-art of precise underwater navigation. While classical acoustic underwater positioning systems (USBL, LBL) provide a sufficient level of precision, they suffer from deployment difficulties: beacons immersion, need for support vessel, etc... Therefore these methods are not further developed in this article and a conventional underwater navigation method consists in inertial navigation. However, position accuracy of inertial systems drifts over time, making it incompatible with bathymetric survey quality requirements for long missions. To limit this drift, external speed sensors (a Doppler Velocity Log -DVL- most of the time) are used: this is called Aided Inertial Navigation System (AINS). AINS performances depend on sensor performances, data fusion algorithms and mission pattern followed by the AUV. These considerations are presented in this paper and illustrated by two sea trials conducted in the bay of Brest (France). Finally, Terrain Based Navigation (TBN), Simultaneous Localization And Mapping (SLAM) and Synthetic Aperture Sonar (SAS) micronavigation are presented as emerging methods that could help to reduce or bound the position uncertainty drift.

Full Text
View/download PDF

42. Structured H ∞ Regulations Applied to AUV Yaw Control

Author

Ali Mansour, Dominique Monnet, B. Clement, Yan Liu, Rui Yang, 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), Lab-STICC_ENSTAB_CACS_COM, and This work was supported by the National Natural Science Foundation of China (No. 51709245), Central University Fundamental Research Fund (No. 201713033) and Qingdao Post-Doctoral Fund (No. 861705040024).

Subjects
0209 industrial biotechnology, Branch and bound, Computer science, Regular polygon, PID controller, 02 engineering and technology, Interval (mathematics), Transfer function, [SPI.AUTO]Engineering Sciences [physics]/Automatic, 020901 industrial engineering & automation, Control theory, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Robust control, Global optimization
Abstract

International audience; Structured H∞ regulation provides robust controllers with highly generalized forms, and recent Min-Max Interval Branch and Bound Algorithm (MMIBBA) improves the H∞ synthesis efficiency by solving global optimized result in a guaranteed way. Due to the advantages such as global optimization over a local result, convex reformulation, and reduced order form, structured H∞ control method is very attractive to Autonomous Underwater Vehicle (AUV) control issues in presence of uncertainties. However, formulating structural H∞ problem deeply affects the global optimizing result. Key issues such as designing controller structures and formulating optimization constraints are still challenging. Therefore, this paper studied three structural H∞ controllers: PID, Anti-Windup PID, and Minimal-Zero PID. Different H∞ control structures and optimization constraints are designed and compared on CISCREA AUV yaw control scenario. Corresponding robust synthesis results and control simulation are analyzed in the end.

Full Text
View/download PDF

43. High level strategy for revisiting objects with low cost AUVs

Author

Luc Jaulin, Thibaut Nico, Herve Ott, Benoit Zerr, Sebastien Tauvry, 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), and Institut Mines-Télécom [Paris] (IMT)

Subjects
[SDU.OCEAN]Sciences of the Universe [physics]/Ocean, Atmosphere, 0209 industrial biotechnology, Landmark, Computer science, business.industry, Field of view, 02 engineering and technology, Oceanography, Sonar, Costs, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Set (abstract data type), 020901 industrial engineering & automation, Position (vector), 0202 electrical engineering, electronic engineering, information engineering, A priori and a posteriori, Robot, Graph (abstract data type), Cost functions, 020201 artificial intelligence & image processing, Computer vision, Artificial intelligence, business
Abstract

International audience; This paper describes a high level strategy to guarantee the revisit of a target in underwater environment by an Autonomous Underwater Vehicle (AUV) subject to high drift in position and equipped with specific exteroceptive sensors such as sonars or cameras. It assumes the availability of a certain a priori map of the environment. Firstly, based on the Field Of View (FOV) of the exteroceptive sensor and the characteristics of the different landmarks in the map, a registration map is computed. This indicates the sets of the robot configurations able to detect the different landmark considered. All these sets called relocation areas enable to relocate the robot position and reduce its uncertainty by detecting the geolocalized landmarks. These relocation areas are the nodes of a hyper-graph. Between two nodes, the vehicle navigates by dead-reckoning. Based on the backward reach set of a registration map, the links between the different registration maps can be created according to a motion model taking into account uncertainties. Finally, a backward graph search minimizes a cost function to propose a strategy of revisit of intermediate landmarks to connect the starting position and the relocation area(s) of the target you would like to revisit.

Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results