37 results on '"Alexis Aubry"'
Search Results
2. From NLP to Taxonomy: Identifying and Classifying Key Functionality Concepts of Multi-level Project Planning and Control Systems.
- Author
-
Moslem Sheikhkhoshkar, Hind Bril El Haouzi, Alexis Aubry, Farook Hamzeh, and Farzad Pour Rahimian
- Published
- 2024
3. The effects of role transitions and adaptation in human-cobot collaboration.
- Author
-
Lorenzo Vianello, Serena Ivaldi, Alexis Aubry, and Luka Peternel
- Published
- 2024
- Full Text
- View/download PDF
4. Hybridization of Mixed-Integer Linear Program and Discrete Event Systems for Robust Scheduling on Parallel Machines.
- Author
-
Alexis Aubry, Pascale Marangé, David Lemoine, Sara Himmiche, and Sylvie Norre
- Published
- 2021
- Full Text
- View/download PDF
5. Human Posture Prediction During Physical Human-Robot Interaction.
- Author
-
Lorenzo Vianello, Jean-Baptiste Mouret, Eloise Dalin, Alexis Aubry, and Serena Ivaldi
- Published
- 2021
- Full Text
- View/download PDF
6. Using Statistical-Model-Checking-Based Simulation for Evaluating the Robustness of a Production Schedule.
- Author
-
Sara Himmiche, Alexis Aubry, Pascale Marangé, Marie Duflot, and Jean-François Pétin
- Published
- 2017
- Full Text
- View/download PDF
7. Domain framework for implementation of open IoT ecosystems.
- Author
-
Milan Zdravkovic, Jelena Zdravkovic, Alexis Aubry, Néjib Moalla, Wided Guédria, and João Sarraipa
- Published
- 2018
- Full Text
- View/download PDF
8. Proposal of a Model-Driven Ontology for Product Development Process Interoperability and Information Sharing.
- Author
-
Anderson Luis Szejka, Osíris Canciglieri Júnior, Eduardo de Freitas Rocha Loures, Hervé Panetto, and Alexis Aubry
- Published
- 2016
- Full Text
- View/download PDF
9. Product Driven Systems Facing Unexpected Perturbations: How Operational Research Models and Approaches Can Be Useful?
- Author
-
Alexis Aubry, Hind Bril, André Thomas 0001, and Mireille Jacomino
- Published
- 2016
- Full Text
- View/download PDF
10. Functionality as a Key Concept for Integrated Project Planning and Scheduling Methods
- Author
-
Moslem Sheikhkhoshkar, Hind Bril El-Haouzi, Alexis Aubry, and Farook Hamzeh
- Subjects
Strategy and Management ,Industrial relations ,Building and Construction ,Civil and Structural Engineering - Published
- 2023
- Full Text
- View/download PDF
11. Semantic interoperability for an integrated product development process: a systematic literature review.
- Author
-
Anderson Luis Szejka, Osíris Canciglieri Júnior, Hervé Panetto, Eduardo Rocha Loures, and Alexis Aubry
- Published
- 2017
- Full Text
- View/download PDF
12. Knowledge representation, retrieval and reuse for product family design: An anti-logicist approach.
- Author
-
Antonio Giovannini, Alexis Aubry, Hervé Panetto, Hind Bril El Haouzi, Osíris Canciglieri Júnior, and L. Pierrel
- Published
- 2016
- Full Text
- View/download PDF
13. Towards energy efficient buildings: how ICTs can convert advances?
- Author
-
Michaël David, Alexis Aubry, and William Derigent
- Published
- 2018
14. The effects of role transitions and adaptation in human-cobot collaboration
- Author
-
Lorenzo Vianello, Serena Ivaldi, Alexis Aubry, Luka Peternel, Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment (LARSEN), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Complex Systems, Artificial Intelligence & Robotics (LORIA - AIS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Istituto Italiano di Tecnologia (IIT), Jozef Stefan Institute [Ljubljana] (IJS), Delft University of Technology (TU Delft), Université de Lorraine (UL), and Action Exploratoire C-SHIFT dans le cadre de l'initiative Lorraine Université d'Excellence (LUE)
- Subjects
Artificial Intelligence ,collaborative robots ,[INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO] ,adaptation ,human-robot physical interaction ,Industrial and Manufacturing Engineering ,Software ,collaborative robots adaptation human-robot physical interaction ,[SPI.AUTO]Engineering Sciences [physics]/Automatic - Abstract
International audience; Collaborative robots (cobots) have the potential to augment the productivity and life quality of human operators in the context of Industry 4.0 by providing them with physical assistance. For this reason, it is necessary to define the relationship between humans and cobots and to study how the two agents adapt to each other. However, to the best of our knowledge, literature is still missing insight into how humans perceive and react to changes in the cobot behavior (e.g. changes in the learned trajectory and in the role the robot assumes). Specifically, a study of how humans adapt to changing roles and control strategies of collaborating robots is missing. To fill this gap, we propose a human study in which 16 participants executed a collaborative human-robot sawing task where the cobot altered between three different control strategies. We examinedhuman adaptation when cobot suddenly changed the control strategy from one to another, resulting in six experimental conditions. The experiments were performed on a setup involving Kuka LBR iiwa robotic arm. The results suggest that transition influences movement performance in the early stages and at steady state, subjects prefer to abandon modes that require more effort and they adapt faster to energy-demanding modes. Finally, for the specific task we studied, subjects tend to prefer collaborative modes to ones in which the robot assumes a fixed role.
- Published
- 2022
- Full Text
- View/download PDF
15. Robustness Evaluation Process for Scheduling under Uncertainties
- Author
-
Sara Himmiche, Pascale Marangé, Alexis Aubry, Jean-François Pétin, Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique, Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Centre de Recherche en Automatique de Nancy (CRAN), and Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
robustness evaluation ,production scheduling ,Process Chemistry and Technology ,Chemical Engineering (miscellaneous) ,Bioengineering ,discrete event systems ,uncertainties ,Industry 4.0 ,decision making ,[SPI.AUTO]Engineering Sciences [physics]/Automatic - Abstract
International audience; Scheduling production is an important decision issue in the manufacturing domain. With the advent of the era of Industry 4.0, the basic generation of schedules becomes no longer sufficient to face the new constraints of flexibility and agility that characterize the new architecture of production systems. In this context, schedules must take into account an increasingly disrupted environment while maintaining a good performance level. This paper contributes to the identified field of smart manufacturing scheduling by proposing a complete process for assessing the robustness of schedule solutions: i.e., its ability to resist to uncertainties. This process focuses on helping the decision maker in choosing the best scheduling strategy to be implemented. It aims at considering the impact of uncertainties on the robustness performance of predictive schedules. Moreover, it is assumed that data upcoming from connected workshops are available, such that uncertainties can be identified and modelled by stochastic variables This process is supported by stochastic timed automata for modelling these uncertainties. The proposed approach is thus based on Stochastic Discrete Event Systems models and model checking techniques defining a highly reusable and modular process. The solution process is illustrated on an academic example and its performance (generecity and scalability) are deeply evaluated using statistical analysis. The proposed application of the evaluation process is based on the technological opportunities offered by the Industry 4.0.
- Published
- 2023
- Full Text
- View/download PDF
16. Hybridization of mixed-integer linear program and discrete event systems for robust scheduling on parallel machines
- Author
-
Sylvie Norre, Alexis Aubry, Pascale Marangé, Sarah Himmiche, David Lemoine, Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Systèmes Logistiques et de Production (LS2N - équipe SLP ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Alexandre Dolgui, Alain Bernard, David Lemoine, Gregor von Cieminski, David Romero, TC 5, WG 5.7, Systèmes Logistiques et de Production (SLP ), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), and Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
Parallel machines ,0209 industrial biotechnology ,Schedule ,Mathematical optimization ,Linear programming ,Discrete event systems ,Computer science ,020208 electrical & electronic engineering ,02 engineering and technology ,[INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO] ,Robust scheduling ,Scheduling (computing) ,020901 industrial engineering & automation ,Rate of convergence ,Robustness (computer science) ,0202 electrical engineering, electronic engineering, information engineering ,Robust mixed integer programming model ,Probability distribution ,Computer Science::Operating Systems ,Event (probability theory) ,Integer (computer science) - Abstract
Published in Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems. APMS 2021. IFIP Advances in Information and Communication Technology, vol 630 , pp. 73-80, Springer, Cham, 2021Part II - Hybrid Approaches for Production Planning and Scheduling; International audience; This paper proposes an approach for robust scheduling on parallel machines. This approach is based on a combination of robust mathematical and discrete event systems models which are iteratively called in order to converge towards a schedule with the required robustness level defined by the decision maker. Experimentations on a small instance (10 jobs and 2 unrelated machines) and a more complex one (30 jobs and 6 uniform machines) show that this approach permits to converge quickly to a robust schedule even if the probability distribution associated to the uncertainties are not symmetrical. The approach achieves a better rate of convergence than those of the literature’s methods.
- Published
- 2021
- Full Text
- View/download PDF
17. Human posture prediction during physical human-robot interaction
- Author
-
Alexis Aubry, Lorenzo Vianello, Serena Ivaldi, Jean-Baptiste Mouret, Eloïse Dalin, Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment (LARSEN), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Complex Systems, Artificial Intelligence & Robotics (LORIA - AIS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), ANR-15-IDEX-0004,LUE,Isite LUE(2015), European Project: 731540,H2020,An.Dy(2017), European Project: 637972,H2020 ERC,ERC-2014-STG,ResiBots(2015), Creativ'Lab, Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), and Vianello, Lorenzo
- Subjects
Control and Optimization ,Computer science ,[SPI] Engineering Sciences [physics] ,Toy problem ,Biomedical Engineering ,Kinematics ,[INFO] Computer Science [cs] ,Human–robot interaction ,law.invention ,[SHS]Humanities and Social Sciences ,[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] ,Computer Science::Robotics ,[SPI]Engineering Sciences [physics] ,Artificial Intelligence ,Human–computer interaction ,law ,[INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering ,Redundancy (engineering) ,[INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO] ,[INFO]Computer Science [cs] ,pHRI ,Mechanical Engineering ,Probabilistic logic ,Posture Prediction ,Robot end effector ,Computer Science Applications ,Human-Computer Interaction ,Control and Systems Engineering ,Trajectory ,Robot ,Computer Vision and Pattern Recognition ,[SHS] Humanities and Social Sciences ,Ergonomics - Abstract
International audience; When a human is interacting physically with a robot to accomplish a task, his/her posture is inevitably influenced by the robot movement. Since the human is not controllable, an active robot imposing a collaborative trajectory should predict the most likely human posture. This prediction should consider individual differences and preferences of movement execution, and it is necessary to evaluate the impact of the robot's action from the point of view of ergonomics. Here, we propose a method to predict, in probabilistic terms, the human postures of an individual for a given robot trajectory executed in a collaborative scenario. We formalize the problem as the prediction of the human joints velocity given the current posture and robot end-effector velocity. Previous approaches to solve this problem relied on the inverse kinematics, but did not consider the human body redundancy nor the kinematic constraints imposed by the physical collaboration, nor any prior observations of the human movement execution. We propose a data-driven approach that addresses these limits. The key idea of our algorithm is to learn the distribution of the null space of the Jacobian and the weights of the weighted pseudo-inverse from demonstrated human movements: both carry information about human postural preferences, to leverage redundancy and ensure that the predicted posture will be coherent with the endeffector position. We show in a simulated toy problem and on real human-robot interaction data that our method outperforms model-based inverse kinematics prediction, sample-based prediction and regression methods that do not consider geometric constraints. Our method is validated on a a collaboration scenario with a human interacting physically with the Franka robot.
- Published
- 2021
- Full Text
- View/download PDF
18. A framework for robust scheduling under stochastic perturbations
- Author
-
Alexis Aubry, Pascale Marangé, J-F. Pétin, Sara Himmiche, Centre de Recherche en Automatique de Nancy (CRAN), and Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)
- Subjects
0209 industrial biotechnology ,Mathematical optimization ,Stochastic Processes ,021103 operations research ,020901 industrial engineering & automation ,Control and Systems Engineering ,Computer science ,0211 other engineering and technologies ,Scheduling (production processes) ,Robust Scheduling ,02 engineering and technology ,Decision Support System ,[SPI.AUTO]Engineering Sciences [physics]/Automatic - Abstract
Published in IFAC-PaperOnLine 54(1):1168-1173, 2021; International audience; Industry 4.0 reflects a new area for production workshops. This new concept aims to bring more flexibility and agility to the production shop floor. In this context, the scheduling problem is an important issue. In fact, a proposed schedule has to guarantee a high performance level able to take into consideration the several changes and perturbations occurring in the workshop. The proposed approaches usually aims to find a robust schedule capable of optimizing some criteria with considering a perturbation. With the new requirements of the workshop and the importance of decision making when implementing the schedule, it is essential to extend the robust scheduling problem to be adaptable to the needs of the decision maker in evaluating several properties. We propose, in this paper, a robust scheduling framework based on a robustness specification. The paper gives also the using of this framework in a decision making context.
- Published
- 2021
- Full Text
- View/download PDF
19. Coupling robust optimization and Model-Checking techniques for robust scheduling in the context of Industry 4.0
- Author
-
Alexis Aubry, Pascale Marangé, Christelle Bloch, Sylvie Norre, David Lemoine, Jean-François Pétin, Sara Himmiche, Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Systèmes Logistiques et de Production (LS2N - équipe SLP ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes (LIMOS), Université Blaise Pascal - Clermont-Ferrand 2 (UBP)-Université d'Auvergne - Clermont-Ferrand I (UdA)-SIGMA Clermont (SIGMA Clermont)-Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC), Boris Sokolov and Dmitry Ivanov and Alexandre Dolgui, Systèmes Logistiques et de Production (SLP ), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), SIGMA Clermont (SIGMA Clermont)-Université d'Auvergne - Clermont-Ferrand I (UdA)-Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Blaise Pascal - Clermont-Ferrand 2 (UBP), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), and Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
Model checking ,0209 industrial biotechnology ,Mathematical optimization ,020901 industrial engineering & automation ,Industry 4.0 ,Robustness (computer science) ,Computer science ,0202 electrical engineering, electronic engineering, information engineering ,Robust optimization ,020207 software engineering ,02 engineering and technology ,[INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO] - Abstract
International audience; This chapter presents a generic methodology when considering robustness in production systems of Industry 4. It is the first milestone for coupling Operations Research models for robust optimization and Discrete Event Systems models and tools for property checking. The idea is to iteratively call Operations Research and Discrete Event Systems Models for converging towards a solution with the required robustness level defined by the decision-maker.
- Published
- 2020
- Full Text
- View/download PDF
20. Towards energy efficient buildings: how ICTs can convert advances?
- Author
-
William Derigent, Alexis Aubry, Michael David, Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), and Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)
- Subjects
FOS: Computer and information sciences ,Energy Control ,Computer science ,020209 energy ,Context (language use) ,02 engineering and technology ,7. Clean energy ,[SPI.AUTO]Engineering Sciences [physics]/Automatic ,12. Responsible consumption ,Computer Science - Networking and Internet Architecture ,[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] ,11. Sustainability ,0202 electrical engineering, electronic engineering, information engineering ,media_common.cataloged_instance ,European union ,Consumer behaviour ,media_common ,Building automation ,Networking and Internet Architecture (cs.NI) ,Flexibility (engineering) ,Data Models ,9. Industry and infrastructure ,business.industry ,Decentralized Control ,Energy consumption ,Environmental economics ,13. Climate action ,Control and Systems Engineering ,Sustainability ,Networks ,Information Technology ,business ,Efficient energy use - Abstract
Published in IFAC-PapersOnLine (51)11:758-763, 2018; International audience; This work is a positioning research paper for energy efficient building based on ICT solutions. Through the literature about the solutions for energy control of buildings during operational phase, a 3-layers model is proposed to integrate these solutions: first level consists in communication technologies, second level is about data modelling and third level is related to decision-making tools. For each level, key research topics and remaining problems are identified in order to achieve a concrete step forward. 1. CONTEXT AND PROBLEMATICS Through studies on ICT solutions for energy control of buildings, a 3-layers model is proposed to integrate these solutions and position a new way for energy efficiency. The building sector is the largest user of energy and CO 2 emitter in the EU, estimated at approximately 40% of the total consumption (Sharples et al., 1999). According to the International Panel on Climate Change (European Union, 2010), 30% of energy used in buildings could be reduced with net economic benefits by 2030. Such a reduction, however, is meaningless unless "sustainability" is considered. Because of these factors, healthy, sustainable, and energy efficient buildings have become active topics in international research; there is an urgent need for a new kind of high-technology driven and integrative research that should lead to the massive development of smart buildings and, in the medium term, smart cities. From a building lifecycle perspective, most of the energy (~80%) is consumed during the operational stage of the building (European Union, 2010) (Bilsen et al., 2013). Reducing building energy consumption may be addressed by the physical modifications which can be operated on a building like upgrading windows, heating systems or modifying thermic characteristics by insulating. Another possible path to reduce the energy consumption of a building is to use Information and Communication Technologies (ICT). According to the International Panel on Climate Change, a reduction of energy even greater than the 30% can be targeted by 2030 by considering ICT solutions. In support of this claim, some specialists believe that ICT-based solutions have the potential to enable 50-80% greenhouse gas reduction globally. In this respect, ICT innovation opens prospects for the development of a new range of new services highly available, flexible, safe, easy to integrate, and user friendly (Bilsen et al., 2013). This, in turn, should foster a sophisticated, reliable and fast communication infrastructure for the connection of various distributed elements (sensors, generators, substations...) that enables to exchange real-time data, information and knowledge needed to improve efficiency (e.g., to monitor and control energy consumption), reliability (e.g., to facilitate maintenance operations), flexibility (e.g., to integrate new rules to meet new consumer expectations), and investment returns, but also to induce a shift in consumer behaviour.
- Published
- 2018
- Full Text
- View/download PDF
21. Robust production scheduling under machine failures - A DES based evaluation approach
- Author
-
Jean-François Pétin, Sara Himmiche, Pascale Marangé, Alexis Aubry, Centre de Recherche en Automatique de Nancy (CRAN), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), and Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
0209 industrial biotechnology ,Schedule ,Mathematical optimization ,021103 operations research ,020901 industrial engineering & automation ,Control and Systems Engineering ,Robustness (computer science) ,Computer science ,0211 other engineering and technologies ,Scheduling (production processes) ,02 engineering and technology ,[SPI.AUTO]Engineering Sciences [physics]/Automatic ,Scheduling (computing) - Abstract
Published in IFAC-PapersOnLine, 51(7):271-276, 2018; International audience; Discrete Event Systems (DES) have already proved their efficiency to model and solve scheduling production problems in the field of manufacturing systems. Their main asset is the capacity to represent the dynamic behavior of workshops.The stochastic extensions of DES models offers, actually, interesting characteristics to take into consideration the perturbations in scheduling. In this paper, we propose to use a stochastic DES approach (using stochastic timed automata) to evaluate the robustness of schedules under perturbations. The perturbations that are considered are the machine failures with uncertain reparation duration.
- Published
- 2018
- Full Text
- View/download PDF
22. Domain framework for implementation of open IoT ecosystems
- Author
-
Joao Sarraipa, Alexis Aubry, Wided Guédria, Milan Zdravković, Néjib Moalla, Jelena Zdravkovic, Faculty of Mechanical Engineering, Laboratory for Intelligent Production Systems (LIPS), University of Niš, Centre de Recherche en Automatique de Nancy (CRAN), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Décision et Information pour les Systèmes de Production (DISP), Université Lumière - Lyon 2 (UL2)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Luxembourg Institute of Science and Technology (LIST), and GRIS - Group for Research in Interoperability of Systems (GRIS-UNINOVA)
- Subjects
Flexibility (engineering) ,Internet of things ,Requirements engineering ,Computer science ,Strategy and Management ,Interoperability ,Model-based systems engineering ,interoperability ,maturity assessment ,02 engineering and technology ,Management Science and Operations Research ,Industrial and Manufacturing Engineering ,Change management (ITSM) ,World Wide Web ,[SPI]Engineering Sciences [physics] ,Risk analysis (engineering) ,020204 information systems ,model-based systems engineering ,0202 electrical engineering, electronic engineering, information engineering ,Information system ,Business logic ,020201 artificial intelligence & image processing ,multi-agent systems ,requirements engineering ,Enterprise information system - Abstract
International audience; The current Internet-of-things (IoT) hype, pushed by the unprecedented rate of the technological enablers’ innovation, is threatening to leave behind some major, not so obvious, unresolved issues. IoT platforms will extend existing enterprise information systems (EIS) infrastructures to encompass cross-domain sensing and actuating capabilities, thus introducing additional complexity and major risks to the implementation. Furthermore, IoT platforms are typically driven by models of the trivial complexity; they support very simple data structures and almost no business logic implementation. Finally, IoT systems are today managed centrally, which often means less openness, less flexibility and greater change management costs. In this article, we provide the overview of the scientific disciplines which could contribute to the resolution of the IoT implementation problem, namely requirements engineering, change management/continuous improvement, model-based systems engineering, system architecture design, interoperability and policy and regulatory aspects. Then, we identify the challenges of these contributions in the context of IoT and finally make an attempt to identify research directions which could have a significant impact. The discussion of the challenges and opportunities is illustrated by the proposed domain framework for implementation of open IoT ecosystems.
- Published
- 2018
- Full Text
- View/download PDF
23. A generic framework to support the implementation of six sigma approach in SMEs
- Author
-
Alexis Aubry, Michele Dassisti, Hind Bril-El Haouzi, Salah Deeb, Maquin, Didier, Centre de Recherche en Automatique de Nancy (CRAN), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Politecnico di Bari, and Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
0209 industrial biotechnology ,Formalization ,Process management ,Computer science ,Process (engineering) ,[SPI] Engineering Sciences [physics] ,media_common.quotation_subject ,Framework ,SMEs ,02 engineering and technology ,[SPI.AUTO]Engineering Sciences [physics]/Automatic ,[SPI]Engineering Sciences [physics] ,020901 industrial engineering & automation ,Six sigma ,0502 economics and business ,Quality (business) ,DMAIC ,media_common ,Meta-model ,05 social sciences ,Six Sigma ,Metamodeling ,[SPI.AUTO] Engineering Sciences [physics]/Automatic ,Control and Systems Engineering ,Sustainability ,050203 business & management - Abstract
Published in IFAC-PapersOnline, 51(11):921-926, 2018; International audience; Six sigma is a well-assessed methodology for optimizing the performance of the enterprise through the reduction of the variability of their process outputs. Six sigma implementation consists of the development of the DMAIC phases to improve existent processes. Each phase of this methodology adopts statistical as well as qualitative tools to fix variability sources and assess the process to a six sigma level of quality. However, there is a lack of an implementation model on how to guide effectively the implementation of the methodology DMAIC. This is particularly true for SMEs that not have enough human resources for supporting the needed knowledge. To answer to this limitation of six sigma, the objective of this paper is to present a framework to support the implementation of six sigma approach in SMEs. This framework is formalized by a meta-model, which is based on different studies on six sigma, its phases and its tools. This framework aims to propose a solution to validate the passage between the DMAIC phases defining the requirements to be satisfied during each phase.
- Published
- 2018
24. A generic framework to support the implementation of six sigma approach in SMEs
- Author
-
Salah, Deeb, Hind, Bril-ElHaouzi, Alexis, Aubry, and Dassisti, Michele
- Subjects
Formalization ,Six sigma ,DMAIC ,SMEs ,Framework ,Meta-model ,Sustainability - Published
- 2018
25. Using statistical-model-checking-based simulation for evaluating the robustness of a production schedule
- Author
-
Pascale Marangé, Marie Duflot-Kremer, Alexis Aubry, Jean-François Pétin, Sara Himmiche, Centre de Recherche en Automatique de Nancy (CRAN), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria), Duflot, Marie, Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), and Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
0209 industrial biotechnology ,Computer science ,Scheduling (production processes) ,02 engineering and technology ,[INFO] Computer Science [cs] ,030204 cardiovascular system & hematology ,Industrial engineering ,Statistical model checking ,[SPI.AUTO]Engineering Sciences [physics]/Automatic ,03 medical and health sciences ,[SPI.AUTO] Engineering Sciences [physics]/Automatic ,020901 industrial engineering & automation ,0302 clinical medicine ,Production schedule ,[INFO]Computer Science [cs] ,Simulation based - Abstract
Published in Service Orientation in Holonic and Multi-Agent Manufacturing, Borangiu T., Trentesaux D., Thomas A., Cardin O. (eds). Studies in Computational Intelligence, vol 762, pp. 345-357, Springer, Cham; International audience; Industry 4.0 implies new scheduling problems linked to the optimal using of flexible resources and to mass customisation of products. In this context, first research results show that Discrete Event Systems models and tools are a relevant alternative to the classical approaches for modelling scheduling problems and for solving them. Moreover, the challenges of the industry 4.0 mean taking into account the uncertainties linked to the mass customisation (volume and mix of the demand) but also to the states of the resources (failures, operation durations,. . .). The goal of this paper is to show how it is possible to use the simulation based on statistical model checking for taking into account these uncertainties and for evaluating the robustness of a given schedule.
- Published
- 2017
26. A semantic reconciliation view to support the interoperable information relationships in product design and manufacturing
- Author
-
Alexis Aubry, Hervé Panetto, Eduardo de Freitas Rocha Loures, Osiris Canciglieri Junior, Anderson Luis Szejka, Pontifical Catholic University of Paraná, Centre de Recherche en Automatique de Nancy (CRAN), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), and Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
0209 industrial biotechnology ,Knowledge management ,Product design ,business.industry ,Semantic Web Rule Language ,Computer science ,Interoperability ,02 engineering and technology ,Ontology (information science) ,Ontology language ,Semantic interoperability ,Information mapping ,Personalization ,[SPI.AUTO]Engineering Sciences [physics]/Automatic ,020901 industrial engineering & automation ,Control and Systems Engineering ,New product development ,0202 electrical engineering, electronic engineering, information engineering ,Ontology ,020201 artificial intelligence & image processing ,business - Abstract
International audience; Global competitiveness has challenged manufacturing industry to rationalize different ways of bringing to the market new products in a short lead-time with competitive prices, high quality, and customization. Modern Product Development Process (PDP) has been requiring simultaneously collaboration of multiple groups, exchanging information from multiple perspectives within and across enterprise boundaries. However, semantic interoperability issues (misinterpretation and mistakes) in view of the information heterogeneity from multiple perspectives and their relationships. This research proposes a semantic reconciliation view to support the interoperable information relationships in product design and manufacturing. This view is part of the conceptual framework of an Interoperable Product Design and Manufacturing System (IPDMS). The semantic reconciliation method uses three approaches (Adjustment Context, Ontology Intersection, and Semantic Alignment) to provide support for the semantic information relationships across the product design and manufacturing. The method is applied in a rotational thin-wall plastic injected design and manufacturing and evaluated through the development of semantic rules responsible for the information mapping of sharing, conversion and translation. This semantic rules were modeled in Semantic Web Rule Language (SWRL) supported by Web Ontology Languages (OWL). Sequentially, the potential benefits and limitation of the method was discussed, contributing to the semantic information interoperability during the development of complex products.
- Published
- 2017
- Full Text
- View/download PDF
27. Modeling flexible workshops scheduling problems: evaluating a timed automata based approach vs MILP
- Author
-
Pascale Marangé, Jean-François Pétin, Sara Himmiche, Alexis Aubry, Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), and Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)
- Subjects
0209 industrial biotechnology ,Theoretical computer science ,Computer science ,BETA (programming language) ,Distributed computing ,Scheduling (production processes) ,0102 computer and information sciences ,02 engineering and technology ,Discrete event systems in manufacturing ,01 natural sciences ,Automaton ,Scheduling (computing) ,[SPI.AUTO]Engineering Sciences [physics]/Automatic ,Alpha (programming language) ,Flexible and reconfigurable manufacturing systems ,020901 industrial engineering & automation ,010201 computation theory & mathematics ,Control and Systems Engineering ,Scalability ,Relevance (information retrieval) ,Timed Automata ,Scheduling Problems Modeling ,Integer programming ,computer ,computer.programming_language - Abstract
Published in IFAC-PapersOnLine, 50(1):1225-1230, July 2017; International audience; This paper investigates the relevance of modeling workshop scheduling problems using a Discrete Event System (DES) approach based on timed automata (TA). To realize this study, the DES approach is compared with a classical approach based on Mixed Integer Linear Programming (MILP). In order to compare these two modeling approaches, an evaluation system is proposed based on: (i) a problem instances generation system using the classical three-fields notation of Graham (alpha|beta|gamma), (ii) a measurement system based on three criteria and associated metrics: complexity, genericity and scalability. This system covers the most common problems when dealing with flexible workshop scheduling. The results obtained by the application of the method is finally discussed.
- Published
- 2017
- Full Text
- View/download PDF
28. Semantic interoperability for an integrated product development process: a systematic literature review
- Author
-
Osiris Canciglieri Junior, Anderson Luis Szejka, Eduardo de Freitas Rocha Loures, Hervé Panetto, Alexis Aubry, Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Graduate Program in Production Engineering and System (PPGEPS), Pontifical Catholic University of Paraná, and Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)
- Subjects
TheoryofComputation_MISCELLANEOUS ,0209 industrial biotechnology ,Process management ,Computer science ,Strategy and Management ,Interoperability ,Product Design and Manufacturing ,02 engineering and technology ,Management Science and Operations Research ,Industrial and Manufacturing Engineering ,020901 industrial engineering & automation ,Manufacturing ,0202 electrical engineering, electronic engineering, information engineering ,Product Development Process ,Cross-domain interoperability ,Marketing ,9. Industry and infrastructure ,business.industry ,Product Requirements ,Semantic interoperability ,Bibliography Survey ,[INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering ,Systematic review ,New product development ,Domains ,020201 artificial intelligence & image processing ,business ,Multiple - Abstract
International audience; Global competitiveness challenges manufacturing industry to rationalise different ways of bringing to the market new products in a short lead-time with competitive prices while ensuring higher quality levels and customisation. Industries need to effectively share heterogeneous information during Product Development Process (PDP) within and across their institutional boundaries to be competitive. However, problems with misinterpretation and mistakes have been identified during information exchange due to the semantic interoperability obstacles. Thus, this research proposes a systematic literature review to identify the main researches and the milestones reference works on semantic interoperability field. A rigorous methodology was conducted in different databases, covering the articles published in scientific journals from 2005 to 2015 as a preliminary study had indicated that the incidence of articles related to the subject was more frequent from the second half of the 2000s. The research structure consisted of four steps: Survey-searching, analysis and selection of recent researches; Categorization-categorization of the selected papers; References citation frequency analysis-the selected papers were analysed and the main researches and milestones references were identified; and Main researches critical analysis – the main researches were analysed for their contributions and limitations, their contributions and limitations, resulting in 14 selected scientific articles and 8 identified milestones references. It is evident that this field has interesting perspectives on future research opportunities on semantic interoperability of information issues across PDP, contributing to the new concepts of future factories.
- Published
- 2017
- Full Text
- View/download PDF
29. La prohibition des pratiques discriminatoires face à l’émergence de l’économie collaborative
- Author
-
Alexis Aubry
- Subjects
économie du partage ,égalité ,préjugés ,Geology ,Ocean Engineering ,économie collaborative ,droits de l’Homme ,droits et libertés fondamentaux ,stéréotypes ,code pénal ,égalité réelle ,discrimination systémique ,discrimination ,Water Science and Technology - Abstract
Une nouvelle économie axée sur l’utilisation plus efficiente des biens a vu le jour au cours des dernières années : l’économie collaborative. Désormais présente et fleurissante dans de nombreuses sphères de l’économie française, cette nouvelle réalité a entraîné son lot de préoccupations. L’une d’elles, moins traitée en France, est le fait que ces plateformes constituent un terreau fertile pour les pratiques discriminatoires. Puisqu’elles requièrent généralement l’affichage d’une photo, d’un profil public et de nombreuses informations personnelles, certains préjugés et stéréotypes enracinés dans la conscience collective sont susceptibles d’entrer en jeu et d’entraîner des différences de traitements. Dans ce texte, l’auteur examine l’applicabilité et l’efficacité des mécanismes français de protection contre la discrimination face à ces risques. Autrement dit, ces mécanismes sont-ils adaptés à la nouvelle réalité proposée par les Airbnb, Uber et BlaBlaCar de ce monde ? A new economy based on the efficient use of goods has emerged in recent years : the sharing economy. Now flowering in many spheres of the French economy, this new reality has led to many concerns. One of them, less discussed in France, is the fact that these collaborative platforms provide a fertile ground for discrimination. Given the fact that they generally require the display of a photo, a public profile and many personal informations, prejudices and stereotypes rooted in the collective consciousness may come into play and lead to adverse treatments. In this text, the author analyzes the applicability and effectiveness of the protection against discrimination to these risks. In other words, are these mechanisms adapted to the new reality proposed by the Airbnb, Uber and BlaBlaCar of this world ?
- Published
- 2017
- Full Text
- View/download PDF
30. Modelling framework for sustainable co-management of multi-purpose exhibition systems: the 'Fiera del Levante' case
- Author
-
Alfredo Grieco, Valeria Leggieri, Alexis Aubry, Michele Ruta, Antonio Giovannini, Mario Lezoche, Ilaria Giannoccaro, Michele Dassisti, Vito Albino, Alessandro Buscicchio, Yasamine Eslami, Giuseppe Florio, Franco Maddalena, Giuseppina Uva, Francesco Iannone, Politecnico di Bari, Centre de Recherche en Automatique de Nancy (CRAN), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), InResLab scarl, and Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
Attractiveness ,Decision support system ,Architectural engineering ,Engineering ,Complex systems ,co-management ,decision support ,Complex system ,020209 energy ,02 engineering and technology ,Business activities ,Space (commercial competition) ,building performances ,Civil engineering ,Task (project management) ,vulnerability analysis ,[SPI.AUTO]Engineering Sciences [physics]/Automatic ,Exhibition ,Entertainment ,Vulnerability assessment ,11. Sustainability ,0202 electrical engineering, electronic engineering, information engineering ,BIM ,existing building assets ,business.industry ,General Medicine ,business - Abstract
Published in Procedia Engineering 180:812-82, 2017; International audience; An exhibition system is typically a physical open space made of several buildings devoted to performing demonstrations or social activities. Several examples of exhibition systems can be found word wide. The management of these spaces, even in presence of a limited number of activities, requires significant efforts: safety, welcome, merchandising, public services, etc. Nowadays, the new trend is to offer multiple, contemporary use of exhibition spaces, allowing exhibition events and regular social activities (commercial, cultural, etc.) to be dynamically intertwined, either to endeavor the huge economic investments behind infrastructures or to increase the attractiveness of the exhibition activities.This is the case of “Fiera del Levante”, one of the oldest exhibitions located in a fascinating central area on the seaside of the city of Bari - Italy. Here, multiple social scopes, such as multi-exhibitions and contemporary social activities related to public offices, restaurants and entertainment, live together. This is an almost unique setting, which makes Fiera del Levante (FdL) a complex system and makes the management of the exhibition a challenging co-management task.The paper deals with the development and demonstration of a complex-system modeling framework for the decision support of the co-management of Fiera del Levante exhibition system, taking into account the interaction both physical aspects (building assets, infrastructure, equipment, fittings, …) and intangible aspects (permanent and temporary events, management and business activities, etc) and, of course, considering as a main input the needs of the different stakeholders involved.
- Published
- 2016
- Full Text
- View/download PDF
31. Knowledge representation, retrieval and reuse for product family design: an anti-logicist approach
- Author
-
Alexis Aubry, Antonio Giovannini, Hervé Panetto, H. El Haouzi, O. Canciglieri, L. Pierrel, Centre de Recherche en Automatique de Nancy (CRAN), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Graduate Program in Production Engineering and System (PPGEPS), Pontifical Catholic University of Paraná, TRANE SAS (TRANE), TRANE, and Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
0209 industrial biotechnology ,General Computer Science ,Relation (database) ,Knowledge representation and reasoning ,Product platform ,Computer science ,02 engineering and technology ,Reuse ,Anti-logicism ,computer.software_genre ,Design knowledge ,Product engineering ,Knowledge reuse ,020901 industrial engineering & automation ,ACM: H.: Information Systems ,0202 electrical engineering, electronic engineering, information engineering ,Product family ,Reusability ,Product design specification ,Information retrieval ,General Engineering ,[INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering ,Knowledge representation ,020201 artificial intelligence & image processing ,Data mining ,computer ,Natural language - Abstract
An approach for the representation, the retrieval and the reuse of design knowledge for product families design is proposed.All methods in literature rely on (at least) a partial representation based on natural language.The relation between the natural language and the ambiguity of the retrieval (and the consequent reuse) is highlighted.An anti-logicist approach to unambiguously represent the design knowledge.The impacts on the ambiguity of the retrieval and the reuse for the product family design are tested on an industrial case. The product family design is a design approach to meet the demand of customisable products. This paper deals with the knowledge representation, retrieval and reuse supporting the design stage of product families. Usually, the methods in the literature do not focus on the retrieve and the reusability of the knowledge. In other words, they do not ensure if a non-expert user can effectively retrieve and reuse the represented knowledge. To cope with this point, here, the aim is to apply an anti-logicist approach for the unambiguous design-knowledge representation to support the unambiguous retrieval and the automatic reuse of the knowledge during a product family design stage. The retrieval is unambiguous because the link between the knowledge models and the requirements is based on a syntax comparison, e.g. intervals of numbers, units of measure. An algorithm for the automatic reuse has been developed: provided an unambiguous definition of the new requirements related to the product family, the algorithm's outputs are the functional and physical definitions of all the products included in the product families, i.e. performances and CAD files. The case study is a family of components of the HVAC (heating, ventilating and air-conditioning) systems sector. Finally the advantages and issues of a potential industrial implementation are discussed.
- Published
- 2016
- Full Text
- View/download PDF
32. Product driven systems facing unexpected perturbations: how operational research models and approaches can be useful?
- Author
-
Mireille Jacomino, Alexis Aubry, André Thomas, Hind Bril, Centre de Recherche en Automatique de Nancy (CRAN), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Gestion et Conduite des Systèmes de Production (G-SCOP_GCSP ), Laboratoire des sciences pour la conception, l'optimisation et la production (G-SCOP), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Theodor Borangiu, André Thomas, Damien Trentesaux, and Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
Flexibility (engineering) ,0209 industrial biotechnology ,Engineering ,021103 operations research ,Operations research ,business.industry ,Control (management) ,0211 other engineering and technologies ,Uncertainty ,Operational Research ,Context (language use) ,02 engineering and technology ,[SPI.AUTO]Engineering Sciences [physics]/Automatic ,020901 industrial engineering & automation ,Production planning ,Product Driven Systems ,Production Planning and Control ,Production (economics) ,Product (category theory) ,Flexibility ,Robustness (economics) ,business ,Robustness ,Reactive system - Abstract
International audience; Production planning and control and more generally taking a decision in the context of production systems often consider that input information are known, static and predictable. However, uncertainties on data and perturbations are recorded in the genetic of every production system. For instance, it is impossible to know exactly the level of the demand for a product, the availability of resources, etc. Dealing with this issue asks the question of the ability to take robust decisions against uncertainty (off-line) or the ability to be flexible (on-line). This paper proposes to analyze how Product Driven Systems – as reactive systems against unpredicted perturbations – can be part of operational research solution process against perturbations. Moreover, an overview of models and approaches for dealing with uncertainty in Operational Research is given and a first proposition is made for applying these elements into PDS as decision-making-against-perturbations engines.
- Published
- 2016
- Full Text
- View/download PDF
33. Proposal of a model-driven ontology for product development process interoperability and information sharing
- Author
-
Osiris Canciglieri Junior, Eduardo de Freitas Rocha Loures, Alexis Aubry, Anderson Luis Szejka, Hervé Panetto, Centre de Recherche en Automatique de Nancy (CRAN), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Graduate Program in Production Engineering and System (PPGEPS), Pontifical Catholic University of Paraná, Ramy Harik, Louis Rivest, Alain Bernard, Benoit Eynard, Abdelaziz Bouras, TC 5, and WG 5.1
- Subjects
Product design specification ,0209 industrial biotechnology ,Product design ,Transdisciplinary Engineering ,business.industry ,Computer science ,Interoperability ,Formal Model ,Semantic Interoperability ,02 engineering and technology ,Ontology (information science) ,Semantic interoperability ,[INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering ,Product engineering ,020901 industrial engineering & automation ,Model-Driven Ontology ,Integrated Product Development Process ,New product development ,0202 electrical engineering, electronic engineering, information engineering ,Systems engineering ,Upper ontology ,020201 artificial intelligence & image processing ,business - Abstract
Part 3: Interoperability and Systems Integration; International audience; The semantic interoperability of information has become increasingly important in Product Development Process (PDP) to support different phases during the product development. This article presents a proposal of an Interoperable Product Design and Manufacturing System (IPDMS) concept based on a set of engineering domain ontologies and sematic mapping approaches. The concept explores the potentials of semantic well-defined core-foundations in a Semantic Web ontology language. The formal core-foundations can be specialised to perform application view in Product or Manufacturing Model. The application view is used to support the information sharing between product design and manufacturing and verify the accordance with product requirements. A preliminary experimental has been realised, using a test case to share information from the design to manufacturing of an injection moulding plastic. As results, it was identified potential benefits and limitations. The mains contributions are: semantic interoperability during information sharing in PDP and analysis of inconsistencies in PDP.
- Published
- 2016
- Full Text
- View/download PDF
34. A method for formalizing requirements interoperation in complex systems engineering
- Author
-
Anderson Luis Szejka, Hervé Panetto, Osiris Canciglieri Junior, Eduardo de Freitas Rocha Loures, Alexis Aubry, Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Graduate Program in Production Engineering and System (PPGEPS), and Pontifical Catholic University of Paraná
- Subjects
systems engineering ,021103 operations research ,Traceability ,Requirements engineering ,Computer science ,business.industry ,Interoperability ,0211 other engineering and technologies ,Complex system ,interoperability ,02 engineering and technology ,System lifecycle ,[INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering ,formal definition ,System requirements ,Interoperation ,Transformation (function) ,0202 electrical engineering, electronic engineering, information engineering ,Systems engineering ,020201 artificial intelligence & image processing ,Software engineering ,business ,Requirement Engineering - Abstract
International audience; This article presents an ongoing research project that aims to define a conceptual method to formally model the system requirements and their relationships in terms of transformation (translation, conversion and sharing) and traceability, based on an ontological approach. In this way, we are considering two hypothesis: (H1) Multiple phases of System Life Cycle can be supported by system requirements in a semantically interoperable manner; and (H2) System requirements formalization can ensure the comprehensibility and verifiability, reducing inconsistencies between different domains across the phases of System Life Cycle.
- Published
- 2015
- Full Text
- View/download PDF
35. Toward an interoperable software platform for sustainable energy
- Author
-
Alexis Aubry, Michele Dassisti, Hervé Panetto, Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Politecnico di Bari, PICS CNRS n°6361/195098 'Interoperability assessment for production systems sustainability', CNRS/Politecnico di Bari, ANR-12-SEED-0002,Plate-form(E)3,Plateforme numérique de calcul et d'optimisation de l'efficacité énergétique et environnementale à différentes échelles pour l'industrie (Composant/Procédé/Usine/Territoire)(2012), and Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)
- Subjects
Open platform ,General Computer Science ,Scope (project management) ,Computer science ,business.industry ,Computer Science (all) ,Interoperability ,[INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering ,7. Clean energy ,Software Platform ,Sustainable energy production ,Software ,Sustainability ,Component-based software engineering ,Production (economics) ,Architecture ,Software engineering ,business - Abstract
A draft architecture of a software platform is proposed to support software components interoperability in energy production systems. The scope of the platform is to address the sustainability of energy production and use efficiency. A first prototype of this platform is under development in the framework of the French ANR Plate-Form(E)3 project. Interoperability issues have been faced to design the platform. Best available candidate technologies for implementing the platform are also discussed. One architecture for facing the basic interoperability issues is also presented. A real industrial application case example is proposed to show the potential use of the proposed architecture.
- Published
- 2015
- Full Text
- View/download PDF
36. Vers l'adaptation dans la collaboration homme-robot
- Author
-
Vianello, Lorenzo, Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment (LARSEN), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Complex Systems, Artificial Intelligence & Robotics (LORIA - AIS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Universite de Lorraine, Alexis Aubry, Serena Ivaldi, and ANR-15-IDEX-0004,LUE,Isite LUE(2015)
- Subjects
Human - Robot Physical Interaction ,Collaboration humain robot ,Apprentissage par renforcement ,Reinforcement learning ,[INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO] ,Industrie 4.0 ,Industry 4.0 ,Interaction physique homme-robot ,Human robot collaboration - Abstract
Cette thèse présente plusieurs contributions dans le domaine de l’interaction physique homme-robot. En premier lieu, elle propose une méthode pour prédire la posture humaine pendant qu’un humain interagit physiquement avec un robot. Deuxièmement, elle décrit des algorithmes et des outils de simulation pour visualiser le score d’ergonomie humaine associé au mouvement d’un humain, en temps réel, même lorsque l’humain est physiquement couplé au robot. Troisièmement, la thèse fait progresser les connaissances sur la façon de contrôler et d’adapter le comportement du robot pendant la collaboration, grâce à des études expérimentales impliquant des humains et des robots dans des scénarios de comanipulation. La première étude examine les meilleures stratégies d’impédance pour que le robot puisse collaborer avec l’humain lors de la co-manipulation d’un tuyau dans une tâche d’insertion de précision, tandis que la deuxième étude examine comment les humains s’adaptent aux stratégies d’impédance changeantes d’un robot lors d’une tâche de sciage collaborative.; The thesis presents several contributions in the area of human-robot physical interaction. First, it proposes a method to predict human posture while a human interacts physically with a robot. Second, it describes algorithms and simulation tools to visualize the human ergonomics score associated with themovement of a human, in real-time, even when the human is physically coupled with the robot. Third, the thesis advances the knowledge on how to control and adapt the robot behaviour during collaboration, thanks to experimental studies involving humans and robots in comanipulation scenarios. The firststudy investigates the best impedance strategies for the robot to collaborate with the human during a co-manipulation of a pipe in a precision insertion task, while the second study investigates how humans adapt to changing impedance strategies of a robot during a collaborative sawing task.
- Published
- 2022
37. Scheduling under perturbations : Study framework and robustness evaluation approach based on stochastic automata
- Author
-
Himmiche, Sara, Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Université de Lorraine, Jean-François Petin, Alexis Aubry, and UL, Thèses
- Subjects
[SPI.AUTO] Engineering Sciences [physics]/Automatic ,[INFO.INFO-RO] Computer Science [cs]/Operations Research [cs.RO] ,Statistical Model-Checking ,Systèmes à événements discrets ,Robustesse ,Ordonnancement de la production ,[INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO] ,Discrete Event Systems ,Model Checking statistique ,Perturbations ,Robustness ,Scheduling Production ,[SPI.AUTO]Engineering Sciences [physics]/Automatic - Abstract
The main objective of this thesis is to propose an approach to consider perturbations in the context of a production scheduling problem. The proposed approach emphasizes the importance of evaluating the performance of a scheduling in a disturbed environment. Production scheduling is an important and common problem in the world of industry and scientific research. In order to propose scheduling solutions, the suggested methods propose optimal scheduling to minimize or maximize a defined criterion. This objective has certainly been adopted for several years but no longer fully meets the dynamics of production workshops. Taking perturbations into account is therefore a major issue in the scheduling problem. To address this issue, after an introduction and state of the art, we propose, in the main body of the manuscript, the definition of the performance and appropriate approach to deal with the impact of perturbations in scheduling. Robustness is then identified as a suitable performance to assess this impact. Furthermore, specifying robustness allows to identify a formal framework to specify the different robustness problems that scheduling must face. To address the problem of scheduling robustness, we propose an evaluation process based on discrete-event system models. More precisely, stochastic timed automata and statistical model-checking are used to measure the robustness of a perturbed schedule. The evolution of production systems and their flexibility and agility constraints require that the evaluation approach must also be flexible and adaptable. The process proposed in this thesis allows not only its adaptation to several production workshop problems but also to take into account real decision situations in an industrial context. To illustrate the feasibility and applicability of this process, the UppAal SMC tool is used., L’objectif principal de cette thèse est de proposer une approche permettant de considérer les perturbations dans le cadre d’un problème d’ordonnancement de la production. L’approche proposée permet de mettre l’accent sur l’importance de l’évaluation de la performance d’un ordonnancement dans un cadre perturbé. L’ordonnancement de la production est un problème important et commun au monde de l’industrie et de la recherche scientifique. Dans le but de proposer des solutions d’ordonnancement, les méthodes proposées proposent des ordonnancements optimaux permettant de minimiser ou maximiser un critère défini. Cet objectif est certes adopté depuis plusieurs années mais ne répond plus tout à fait à la dynamique des ateliers de production. La prise en compte des perturbations est donc un enjeu majeur dans la problématique de l’ordonnancement. Pour répondre à cet enjeu, nous proposons, de définir la performance et l’approche à adopter pour traiter l’impact des perturbations sur l’ordonnancement. La robustesse est alors identifiée comme étant une performance adaptée pour évaluer cet impact. Plus encore, spécifier la robustesse permet d’identifier un cadre formel pour spécifier les différents problèmes de robustesse auxquels l’ordonnancement doit faire face. Pour traiter le problème de la robustesse d’un ordonnancement, nous proposons un processus d’évaluation basé sur les modèles de systèmes à événements discrets. Plus précisément, les automates temporisés stochastiques et le model checking statistique sont utilisés afin de mesurer la robustesse d’un ordonnancement perturbé. L’évolution des systèmes de production et leurs contraintes de flexibilité et d’agilité exige que l’approche d’évaluation soit également flexible et adaptable. Le processus proposé dans le cadre de cette thèse permet non seulement de s’adapter à plusieurs problèmes d’atelier de production mais également à prendre en compte des situations de décisions réelles dans un contexte industriel.
- Published
- 2020
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.