Search

Your search keyword '"Goulven Guillou"' showing total 16 results
Start Over Author "Goulven Guillou"
16 results on '"Goulven Guillou"'

11. CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function

Author

Goulven Guillou, Loic Salmon, Jean-Philippe Babau, Pierre-Yves Pillain, Knowledge Learning and Information Modelling (LABISEN-KLAIM), Laboratoire ISEN (L@BISEN), Institut supérieur de l'électronique et du numérique (ISEN)-YNCREA OUEST (YO)-Institut supérieur de l'électronique et du numérique (ISEN)-YNCREA OUEST (YO), 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), Lab-STICC_UBO_CACS_MOCS, É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), and 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)

Subjects
Java, Computer science, business.industry, Interface (Java), Distributed computing, simulation, Domain (software engineering), cyber-physical system, Software, Navigation function, Control system, Component (UML), Component-based software engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO]Computer Science [cs], modeldriven engineering, business, computer, component-based design, ComputingMilieux_MISCELLANEOUS, computer.programming_language
Abstract

International audience; One key objective of Cyber-Physical System (CPS) simulation is to evaluate different CPS configurations regarding a certain user objective. First, simulation of CPS necessitates frameworks to handle heterogeneity of CPS components (the software and hardware system control, the behavior of the CPS itself and its physical environment). Then, to build simulators, designers use paradigms like FMI (Functional Mock-Up Interface) that proposes a data-driven generic interface facilitating the integration of heterogeneous models. However, in order to facilitate simulation configuration, an approach is required to drive modeling of parametric features and operational conditions. In this paper, we present CARES, a component-based and modeldriven approach to facilitate CPS simulation. CARES is applied to evaluate an Autonomous Underwater Vehicle (AUV) navigation function by simulation. The proposed models integrate both the principles of a generic simulation (integration of Component Based Software Engineering CBSE concepts and FMI paradigm) and domain specific aspects through a component-based architecture style. From a design model, a code generator builds the structural (Java or C++) code of the simulator. The generated code relies on a given run-time library for its execution and its structure facilitates integration of domain-specific code. The experiments show the effectiveness of the approach to build simulators for evaluation of different AUV configurations.

Published
2021
Full Text
View/download PDF

12. An Iterative Approach to Automate the Tuning of Continuous Controller Parameters

Author

Jean-Philippe Babau, Hamza El Baccouri, Goulven Guillou, Lab-STICC_UBO_CACS_MOCS, Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université de Brest (UBO)-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)-É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), 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), and 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)

Subjects
Iterative method, Computer science, Dimensionality reduction, Proportional control, 020207 software engineering, Feature selection, Context (language use), 02 engineering and technology, Optimal control, Control theory, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, Cluster analysis, ComputingMilieux_MISCELLANEOUS
Abstract

Cyber-physical systems evolving in uncertain environment endure fluctuating dynamics during their lifetime. In such a variable context, controlling systems towards safety and system performances is challenging. In particular, controller tuning (finding optimal control parameters) is a challenging process due to the multiplicity of contexts to be considered. In this paper, we use a combination of model-driven simulation, dimensionality reduction, clustering and prediction techniques to define adequate control parameter settings. First, we propose to explore the controller behavior by simulating different configurations, a configuration is defined by a context (controlled process, environment, sensors, actuators) and a control parameters setting. From simulation results, a discretization is performed by binning the evaluation of quality of control. Then, we apply feature selection algorithms to identify contextual parameters that have a significant impact on performances of the controller. Considering only selected parameters, we finally carry out a clustering aiming at identifying for context domains an optimal control parameter setting. The approach is iterative to define the boundaries of the controller for a given context domain. For non simulated contexts, we propose a prediction module based on regression techniques.To evaluate the proposed approach, we compare it with classical control theory and we apply it to a proportional controller used for a leader/follower application. The experiment shows effectiveness in the identification of control parameters setting for different contexts.

Published
2020
Full Text
View/download PDF

13. AVS, a model-based racing sailboat simulator: application to wind integration

Author

Jean-Philippe Babau, Emilien Lavigne, Goulven Guillou, Lab-STICC_UBO_CACS_MOCS, Université de Brest (UBO)-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)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), and 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)

Subjects
Computer science, Control (management), 020207 software engineering, 020101 civil engineering, Context (language use), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, 0201 civil engineering, Attitude control, Control and Systems Engineering, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Systems engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Wind integration, ComputingMilieux_MISCELLANEOUS
Abstract

Racing sailboats are becoming more and more complex systems, especially with the increasing interest in total 3D attitude control. In such competitive context, realistic simulation appears as a key point for new developments. This paper presents AVS, a framework dedicated to sailboat simulation, integrating both requirements of a generic simulation framework and domain-specific aspects. The AVS framework provides a collection of models and tools to design, generate and evaluate racing sailboat simulations. Tools are also provided to integrate heterogeneous wind sources in simulation. Thanks to component-based approach, different simulation scenarios can be considered by adding or configuring components. Two simulation examples illustrate the AVS framework agility to evaluate sailing boat control law.

Published
2018
Full Text
View/download PDF

14. A Model-Driven Approach to Automate Tuning of Continuous Controller Parameters

Author

Jean-Philippe Babau, Hamza El Baccouri, Goulven Guillou, Lab-STICC_UBO_CACS_MOCS, Université de Brest (UBO)-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)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), and 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)

Subjects
Computer science, Dimensionality reduction, Proportional control, 020207 software engineering, Good control, Feature selection, Control engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Optimal control, Quality of control, Software deployment, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, Cluster analysis, ComputingMilieux_MISCELLANEOUS
Abstract

Cyber-physical systems evolving in uncertain environment endure fluctuating dynamics during their lifetime. Variations can be related to environment evolution, physical damages and component failures occurring after deployment. In such a variable context, controlling systems towards safety and system performances is challenging. In particular, controller definition and tuning (finding optimal control parameters) are key points of the development process. Determining optimal control parameters and the boundaries of a controller is a challenging process due to the multiplicity of contexts to be considered during the tuning phase. The challenge is here to identify good control parameters for the different contexts, considering multiple variation points. In this paper, we use a combination of model-driven simulation and dimensionality reduction techniques to define adequate control settings, considering multidimensional inputs defined by hardware and environmental parameters (the context). First, we define criteria of evaluation based on user quality of control requirements. Then, we apply feature selection algorithms to identify contextual parameters that have a significant impact on performances of the controller. Considering only selected parameters, we finally carry out a clustering aiming at identifying for context domains an optimal control parameters setting. To evaluate the proposed approach, we apply it to a proportional controller used in the context of a leader/follower application. The experiment shows effectiveness in the identification of optimal control parameters setting of the controller, for different contexts. The obtained results are then used to adapt the values of the controller parameters depending of environmental context.

Published
2019
Full Text
View/download PDF

15. IMOCA: a Model-Based Code Generator for the Development of Multi-Platform Marine Embedded Systems

Author

Goulven Guillou, Jean-Philippe Babau, Lab-STICC_UBO_CACS_MOCS, 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)-É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), and Guillou, Goulven

Subjects
Engineering, business.industry, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Software development, 020207 software engineering, 02 engineering and technology, code generation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 020202 computer hardware & architecture, Development (topology), Software deployment, Arduino, Embedded system, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Process control, Code generation, sofware architecture, Software architecture, business, control
Abstract

International audience; Process control systems embedded in disturbed environments are usually developed case by case for specific deployment platforms and their behaviours closely depend on the characteristics of the environ-ment. The obtained code is not portable and not reconfigurable. In order to help the software development of such applications, IMOCA offers ar-chitectural modelisation tools. The associated code generator allows to product adaptative and reconfigurable code for a simulator as well as embedded code for various platforms. This approach has been tested on NXT bricks, Arduino boards and Armadeus boards.

Published
2014

16. Group-nets et réseaux lexicographiques. Expressivité et décidabilité

Author

Goulven Guillou, Guillou, Goulven, Laboratoire d'Informatique des Systèmes Complexes (LISYC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Brest (UBO)-Institut Brestois du Numérique et des Mathématiques (IBNM), and Université de Brest (UBO)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)

Subjects
[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Philosophy, décidabilité, extensions algébriques des réseaux de Petri, expressivité, Humanities, Lexicography, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Abstract

National audience; Les motivations liées aux extensions algébriques des réseaux de Petri portent entre autres sur des problèmes de modélisation, de vision unifiée ou abstraite des grandes classes de réseaux de Petri et d'obtention de modèles plus expressifs limitant les pertes du point de vue de la décidabilité. Nous proposons deux grandes classes de réseaux, les group−nets et les réseaux lexicographiques, la première se déclinant elle-même en plusieurs sous-classes. Nous étudions les liens entre ces réseaux et différentes classes usuelles de réseaux de Petri en donnant, dans le cas d'inclusions, les algorithmes permettant de passer de l'un à l'autre. Des outils sont donnés pour résoudre certains problèmes de décidabilité pour les strict-Z-nets et les Z-nets. On montre, en revanche, que les réseaux lexicographiques ont la puissance des machines de Turing rendant tout problème non trivial les concernant indécidable.

Published
2009

Catalog

Books, media, physical & digital resources
See catalog results