Author: "Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN)" - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN)"' showing total 778 results

Start Over Author "Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN)"

778 results on '"Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN)"'

1. A Boundary Computation Algorithm for the Workspace Evaluation of Continuum Parallel Robots

Author: Zaccaria, Federico, Idá, Edoardo, Briot, Sébastien, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Dipartimento di Scienze dell'Informazione [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Centre National de la Recherche Scientifique (CNRS), Autonomie des Robots et Maîtrise des interactions avec l’ENvironnement (LS2N - équipe ARMEN), and Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)
Subjects: Mechanical Engineering, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]
Abstract: In this paper, a new algorithm for the computation of workspace boundaries of continuum parallel robots (CPRs) is proposed. State-of-the-art techniques are mainly based on time-consuming joint-space discretization approaches or task-space discretization algorithms, and only a few approaches are dedicated to the computation of workspace boundaries. The proposed approach for the computation of the workspace boundaries is based on i) a free-space exploration strategy and ii) a boundary reconstruction algorithm. The former is exploited to identify an initial workspace boundary location (exterior, interior boundaries, and holes), while the latter is used to reconstruct the complete boundary surface. Moreover, the algorithm is designed to be employed with CPRs modelling strategies based on general discretization assumptions, in order to increase its applicability for various scopes. Our method is compared with two state-of-the-art algorithms in four case studies to validate the results and to establish its merits and limitations.
Published: 2023

2. Total Least Squares in-field Identification for MEMS-based Triaxial Accelerometers

Author: Ducchi, Massimo, Zaccaria, Federico, Briot, Sébastien, Idá, Edoardo, Dipartimento di Scienze dell'Informazione [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Centre National de la Recherche Scientifique (CNRS), Autonomie des Robots et Maîtrise des interactions avec l’ENvironnement (LS2N - équipe ARMEN), and Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)
Subjects: [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]
Abstract: International audience
Published: 2023

3. Singularity Conditions of Concentric Tube Robots

Author: Zaccaria, Federico, Idá, Edoardo, Briot, Sébastien, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Centre National de la Recherche Scientifique (CNRS), Autonomie des Robots et Maîtrise des interactions avec l’ENvironnement (LS2N - équipe ARMEN), and Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)
Subjects: [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]
Abstract: International audience
Published: 2023

4. Real-time motion planning for an autonomous mobile robot with wheel-ground adhesion constraint

Author: Gao, Jiuchun, Claveau, Fabien, Pashkevich, Anatol, Chevrel, Philippe, Abdessamed, Ramdane, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Robotique Et Vivant (LS2N - équipe ReV), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Commande, Observation, Diagnostic et Expérimentation (LS2N - équipe CODEx), Chassis Brakes International (Chassis Brakes International), Hitachi Astemo, and Chassis Brake International Funding
Subjects: autonomous mobile robot, dynamic programming, Human-Computer Interaction, wheel-ground adhesion, Hardware and Architecture, Control and Systems Engineering, time-optimal trajectory, real-time motion planning, Software, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Computer Science Applications
Abstract: International audience; The paper proposes a new real-time motion planning technique for an autonomous mobile robot that is able to find a collision-free path and a corresponding time-optimal trajectory while taking into account limits on the actuator capacities and constraints from the wheel-ground adhesion. The proposed technique includes two sub-modules. The first one, an optimal path planner, is based on the discretization of the robot workspace and dynamic programming principle. It allows finding the shortest path in the robot environment to avoid obstacles and reach the robot target. The second one, an optimal trajectory generator, operates with the discretized robot state-space and also employs dynamic programming techniques. It produces a time-optimal motion along the obtained path, which may include numerous regular and singular trajectory sections caused by the simultaneous application of actuator and wheel-ground adhesion constraints. To adapt this technique to real-time implementation, a moving window strategy is presented that allows regularly updating the robot motion profile in a dynamic environment. The advantages of the developed technique and its suitability for real-time control are illustrated by experimental studies implemented on a car-like mobile robot.
Published: 2023

5. A matheuristic for a 2-echelon vehicle routing problem with capacitated satellites and reverse flows

Author: Dorian Dumez, Christian Tilk, Stefan Irnich, Fabien Lehuédé, Katharina Olkis, Olivier Péton, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Chair of Logistics Management, Gutenberg School of Management and Economics, Johannes Gutenberg - Universität Mainz = Johannes Gutenberg University (JGU), This research was supported by the Agence Nationale de la Recherche (ANR) under grant ANR-17-CE22-0015 and Deutsche Forschungsgemeinschaft (DFG) under grant IR 122/8-1., and ANR-17-CE22-0015,OPUSS,Optimisation de systèmes synchromodaux urbains(2017)
Subjects: Information Systems and Management, General Computer Science, Modeling and Simulation, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], Management Science and Operations Research, Industrial and Manufacturing Engineering
Abstract: International audience; Last-mile collection and delivery services often rely on multi-echelon logistic systems with many types of practical spatial, temporal, and resource constraints. We consider three extensions of the basic 2-echelon vehicle routing problem that are of practical interest: First, second-echelon vehicles need to simultaneously deliver and collect goods at customers within their specified time window. Second, first-echelon vehicles are allowed to perform multiple trips during the planning horizon. Third, the intermediate facilities, called satellites, allow temporary storage of goods, but the quantity that can be stored at a time is limited. This paper integrates these complicating features in a single mathematical model. To solve the problem, we design a decomposition-based matheuristic. It employs a reduced and refined mixed-integer programming formulation and two echelon-specific large neighborhood searches (LNS) to produce improving routes for the respective echelon. The most important algorithmic component is the feasibility check of LNS that relies on a sequence of constant-time and low-complexity tests. The final test allows rescheduling of the operations taking place at a satellite. It adapts the double-justification algorithm known from the scheduling literature. Extensive computational experiments systematically evaluate the new components of the matheuristic and benchmark it against a recent exact method for a related problem. Moreover, the impact of the main problem features such as the number of satellites and their capacity as well as the integration of forward and reverse flows is analyzed.
Published: 2023

6. Evaluating the scalability of reconfigurable manufacturing systems at the design phase

Author: Audrey Cerqueus, Xavier Delorme, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), 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), Département Génie mathématique et industriel (FAYOL-ENSMSE), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Institut Henri Fayol, Institut Henri Fayol (FAYOL-ENSMSE), École des Mines de Saint-Étienne (Mines Saint-Étienne MSE), Institut Mines-Télécom [Paris] (IMT), and ANR-21-CE10-0019,RECONFIDURABLE,Conception et pilotage de systèmes de production reconfigurables et durables(2021)
Subjects: Combinatorial analysis, Strategy and Management, Scalability, Line Balancing, [INFO]Computer Science [cs], Multi-objective indicator, Management Science and Operations Research, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Industrial and Manufacturing Engineering, Reconfigurable manufacturing systems
Abstract: International audience; To face market volatility, reconfigurable manufacturing systems (RMS) aim to efficiently and cost-effectively react to changes. We focus on one characteristic of RMS: the scalability (ability to adapt the volume of throughput). In the literature, the only few indicators for scalability are not always formally defined and usually only consider a partial view of scalability. Moreover, most of them are actually more suited for the configuration planning rather than for the design. However, the design of the RMS has a high impact on its scalability. We propose the first combinatorial definition of this problem and a new measure to fully assess the scalability of a system at the design phase. This measure, based on a multi-objective approach, can assess the scalability of single-product manufacturing systems, analysing all configurations that it can implement. We present numerical experiments to compare this indicator with a state-of-the-art scalability indicator and with some classical production line design indicators, and we show that future research should focus on scalability as a specific criterion to optimise during the design of an RMS. In addition, the results obtained allow us to infer some managerial insights on the best levers to use when performing a reconfiguration for scalability purpose.
Published: 2023

7. Impredicative Observational Equality

Author: Loïc Pujet, Nicolas Tabareau, Gallinette : vers une nouvelle génération d'assistant à la preuve (GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), and Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)
Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Type theory, Rewriting theory, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Confluence, Safety, Risk, Reliability and Quality, Dependent types, Software, Termination
Abstract: International audience; In dependent type theory, impredicativity is a powerful logical principle that allows the definition of propositions that quantify over arbitrarily large types, potentially resulting in self-referential propositions. Impredicativity can provide a system with increased logical strength and flexibility, but in counterpart it comes with multiple incompatibility results. In particular, Abel and Coquand showed that adding definitional uniqueness of identity proofs (UIP) to the main proof assistants that support impredicative propositions (Coq and Lean) breaks the normalization procedure, and thus the type-checking algorithm. However, it was not known whether this stems from a fundamental incompatibility between UIP and impredicativity or if a more suitable algorithm could decide type-checking for a type theory that supports both. In this paper, we design a theory that handles both UIP and impredicativity by extending the recently introduced observational type theory TTobs with an impredicative universe of definitionally proof-irrelevant types, as initially proposed in the seminal work on observational equality of Altenkirch et al. We prove decidability of conversion for the resulting system, that we call CCobs , by harnessing proof-irrelevance to avoid computing with impredicative proof terms. Additionally, we prove normalization for CCobs in plain Martin-Löf type theory, thereby showing that adding proof-irrelevant impredicativity does not increase the computational content of the theory.
Published: 2023

8. Contextual classification of chatter based on unsupervised machine learning

Author: Wang, Zhiqiang, Ritou, Mathieu, da Cunha, Catherine, Furet, Benoît, Ecole Supérieure d'Ingénieurs Léonard de Vinci (ESILV), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), and École Centrale de Nantes (ECN)
Subjects: [SPI]Engineering Sciences [physics], General Earth and Planetary Sciences, General Environmental Science
Abstract: International audience
Published: 2023

9. Differentiated Consistency for Worldwide Gossips

Author: Davide Frey, Achour Mostefaoui, Matthieu Perrin, Pierre-Louis Roman, Francois Taiani, the World Is Distributed Exploring the tension between scale and coordination (WIDE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-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 Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-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), Gestion de Données Distribuées (LS2N - équipe GDD), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Ecole Polytechnique Fédérale de Lausanne (EPFL), ANR-16-CE25-0005,OBrowser,Applications décentralisées sur navigateurs(2016), and ANR-20-CE25-0002,ByBloS,Au-delà des Blockchains : Modules de construction pour les applications à grande échelle zero-confiance multi-utilisateurs(2020)
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Blockchain, Computational Theory and Mathematics, Hardware and Architecture, Signal Processing, Distributed system, Epidemic protocol, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Eventual consistency
Abstract: International audience; Eventual consistency is a consistency model that favors liveness over safety. It is often used in large-scale distributed systems where models ensuring a stronger safety incur performance that are too low to be deemed practical. Eventual consistency tends to be uniformly applied within a system, but we argue a demand exists for differentiated eventual consistency, e.g. in blockchain systems.We propose UPS to address this demand. UPS is a novel consistency mechanism that works in pair with our novel two-phase epidemic broadcast protocol GPS to offer differentiated eventual consistency and delivery speed. We propose two complementary analyses of the broadcast protocol: a continuous analysis and a discrete analysis based on compartmental models used in epidemiology. Additionally, we propose the formal definition of a scalable consistency metric to measure the consistency trade-off at runtime. We evaluate UPS in two simulated worldwide settings: a one-million-node network and a network emulating that of the Ethereum blockchain. In both settings, UPS reduces inconsistencies experienced by a majority of the nodes and reduces the average message latency for the remaining nodes.
Published: 2023

10. A feature-based survey of Fog modeling languages

Author: Abdelghani Alidra, Hugo Bruneliere, Thomas Ledoux, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Software Stack for Massively Geo-Distributed Infrastructures (STACK), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), and ANR-20-CE25-0017,SeMaFoR,Gestion autonome des ressources dans le Fog computing(2020)
Subjects: Computer Networks and Communications, Hardware and Architecture, Internet of Things, Modeling language, Fog Computing, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Cloud Computing, Survey, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Software
Abstract: International audience; Fog Computing is a new paradigm aiming at decentralizing the Cloud by geographically distributing away computation, storage and network resources as well as related services. In order to design, develop, deploy, maintain and evolve Fog systems, languages are required for properly modeling both their entities (e.g., infrastructures, topologies, resources configurations) and their specific features such as the locality concept, QoS constraints applied on resources (e.g., energy, data privacy, latency) and their dependencies, the dynamicity of considered workloads, the heterogeneity of both applications and devices, etc. This paper provides a detailed overview of the current state-of-the-art in terms of Fog modeling languages. We relied on our long-term experience in Cloud Computing and Cloud Modeling to contribute a feature model describing what we believe to be the most important characteristics of Fog modeling languages. We also performed a systematic scientific literature search and selection process to obtain a list of already existing Fog modeling languages. Then, we evaluated and compared these Fog modeling languages according to the characteristics expressed in our feature model. As a result, we discuss in this paper the main capabilities of these Fog modeling languages and propose a corresponding set of open research challenges in this area. We expect the presented work to be helpful to both current and future researchers or engineers working on/with Fog systems, as well as to anybody genuinely interested in Fog Computing or more generally in distributed systems.
Published: 2023

11. Cosserat Rod Modeling of Continuum Robots from Newtonian and Lagrangian Perspectives

Author: Matthias Tummers, Vincent Lebastard, Frédéric Boyer, Jocelyne Troccaz, Benoît Rosa, M. Taha Chikhaoui, Gestes Medico-chirurgicaux Assistés par Ordinateur (TIMC-GMCAO), Translational Innovation in Medicine and Complexity / Recherche Translationnelle et Innovation en Médecine et Complexité - UMR 5525 (TIMC ), VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Robotique Et Vivant (LS2N - équipe ReV), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), 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), ANR-11-LABX-0004,CAMI,Gestes Médico-Chirurgicaux Assistés par Ordinateur(2011), ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019), ANR-20-CE33-0001,COSSEROOTS,Théorie Cosserat pour les robots élancés contrôlés en déformation(2020), ANR-10-IAHU-0002,MIX-Surg,Institut de Chirurgie Mini-Invasive guidée par l'Image(2010), and ANR-18-CE19-0012,MACROS,Robots continus multi-actionnés pour la chirugie mini-invasive(2018)
Subjects: Cosserat Beams, Flexible Robots, Control and Systems Engineering, Control, Tendon/Wire Mechanism, Modeling, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], Electrical and Electronic Engineering, Learning for Soft Robots, Computer Science Applications
Abstract: International audience; Cosserat rod theory proved efficient modeling performances in robotics, especially in the context of continuum robots, in the past decade. The implementation of such theory is far from being unique and straightforward. We consider the illustrative example of multi-segment, general routing tendon actuated continuum robots in their nominal static operating regime. This paper details two main approaches based on Cosserat rod modeling, namely the Newtonian and Lagrangian approaches. We provide a walk-through guide regarding theoretical derivations and numerical implementation of both approaches, together with a proof of equivalence. This comparative study is supplemented with novel contributions and extensions of each approach and in-depth discussion of their performances and applicability, as well as highlighting their special features.
Published: 2023

12. The Dial-a-Ride Problem with School Bell Time Adjustment

Author: Samuel Vercraene, Fabien Lehuédé, Thibaud Monteiro, Olivier Péton, Décision et Information pour les Systèmes de Production (DISP), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université Lumière - Lyon 2 (UL2), Institut National des Sciences Appliquées (INSA)-Université de Lyon, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Systèmes Logistiques et de Production (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 Bretagne-Pays de la Loire (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), 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), Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), IMT Atlantique (IMT Atlantique), and Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)
Subjects: healthcare logistics, large neighborhood search, paratransit, matheuristic, [INFO]Computer Science [cs], Transportation, school bell time adjustment, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], vehicle routing, dial-a-ride problem, Civil and Structural Engineering
Abstract: In this paper, we study a paratransit application in which children are transported every day from their homes to their special schools or medical-social establishments. To optimize this transportation system, the establishments collaborate to propose a joint transportation plan. We propose a new algorithm to jointly build vehicle routes that visit several establishments and simultaneously set the establishments’ opening hours. This algorithm combines a large neighborhood search, the resolution of a route-based model, and the progressive shrinkage of the planning window. It is applied to a real case from the area of Lyon in France, including 34 schools and 575 heterogeneous users served by a heterogeneous fleet of reconfigurable vehicles. On average, we show that in addition to the 10% of saving that can be expected by sharing vehicle routes between schools, 7% of additional savings can be achieved by school bell adjustment. This cost saving also decreases average user ride times and the number of vehicles required, creating longer routes that are more attractive for driver services. Funding: This work was supported by the European Union through the European Regional Development Fund [Grant RA0012500] and by the French Région Auvergne-Rhône-Alpes through the NOMAd project. Supplemental Material: The online appendices are available at https://doi.org/10.1287/trsc.2022.1160 .
Published: 2023

13. Strong Left-Invertibility and Strong Input-Observability of Nonlinear Time-Delay Systems

Author: Yahao Chen, Malek Ghanes, Jean-Pierre Barbot, École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, and Ecole Nationale Supérieure de l'Electronique et de ses Applications (ENSEA)
Subjects: Control and Optimization, Control and Systems Engineering, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract: International audience
Published: 2023

14. Evaluating Reification with Multi-valued Properties in a Knowledge Graph of Licensed Educational Resources

Author: Kieffer, Manoé, Fakih, Ginwa, Serrano-Alvarado, Patricia, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Gestion de Données Distribuées (LS2N - équipe GDD), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), 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), LABEX Cominlabs - ANR-10-LABX-07-01, and Projet Cominlabs CLARA
Subjects: Knowledge graph, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], RDF reification, [INFO.INFO-WB]Computer Science [cs]/Web, multi-valued properties, query evaluation, educational resources, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; This paper presents the construction of a Knowledge Graph (KG) of Educational Resources (ER), where RDF reification is essential. The ERs are described based on the subjects they cover considering their relevance. RDF reification is used to incorporate this subject’s relevance. Multiple reification models with distinct syntax and performance implications for storage and query processing exist. This study aims to experimentally compare four statement-based reification models with four triplestores to determine the most pertinent choice for our KG. We built four versions of the KG. Each version has a distinct reification model, namely standard reification, singleton properties, named graphs, and RDF-star, which were obtained using RML mappings. Each of the four triplestores (Virtuoso, Jena, Oxigraph, and GraphDB) was setup four times (except for Virtuoso, which does not support RDF-star), and seven different SPARQL queries were experimentally evaluated. This study shows that standard reification and named graphs lead to good performance. It also shows that, in the particular context of the used KG, Virtuoso outperforms Jena, GraphDB, and Oxigraph in most queries. The recent specification of RDF-star and SPARQL-star sheds light on statement-level annotations. The empirical study reported in this paper contributes to the efforts towards the efficient usage of RDF reification. In addition, this paper shares the pipeline of the KG con- struction using standard semantic web technologies.
Published: 2023

15. Condition for periodic attractor in 4-dimensional repressilators

Author: Sun, Honglu, Folschette, Maxime, Magnin, Morgan, Méthodes Formelles pour la Bioinformatique (LS2N - équipe MéForBio), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), BioComputing, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), and Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)
Subjects: Decision tree, Discrete dynamical system, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], Periodic attractor, Repressilator, Gene regulatory networks
Abstract: One of the key questions about gene regulatory networks is how to predict complex dynamical properties based on the influence graph's topology. Earlier theoretical studies have identified conditions for complex dynamical properties, like multistability or oscillations, based on topological features, like the presence of a positive (negative) feedback loop. This work follows this path and aims to find a sufficient and necessary condition for the existence of a periodic attractor in 4-dimensional (4 genes) repressilators based on a discrete modeling framework under some dynamical assumptions. These networks are extensions of the widely studied 3-dimensional repressilator, which has been used in synthetic biology to produce synthetic oscillations. While other researchers have explored specific extensions of the 3-dimensional repressilator to improve synthetic oscillation control, our work investigates all 4-dimensional networks with only inhibitions. By uncovering new insights about periodic attractors in these small networks, our findings could aid the design of new synthetic oscillations. We search for condition for period attractor in an exhaustive manner with the guide of a decision tree model. Our major contributions include: 1) discovering that, with one exception, the relations between gene regulation thresholds do not impact the existence of periodic attractors in any of the influence graphs considered in this study; 2) identifying a sufficient and necessary condition of simple form for the existence of a periodic attractor when the exception is ignored; 3) identifying new topological features of influence graphs that are necessary for predicting the existence of periodic attractor in 4-dimensional repressilators.
Published: 2023

16. HATS : Un jeu de données intégrant la perception humaine appliquée à l'évaluation des métriques de transcription de la parole

Author: Bañeras-Roux, Thibault, Wottawa, Jane, Rouvier, Mickael, Merlin, Teva, Dufour, Richard, Traitement Automatique du Langage Naturel (LS2N - équipe TALN ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Laboratoire d'Informatique de l'Université du Mans (LIUM), Le Mans Université (UM), Laboratoire Informatique d'Avignon (LIA), Avignon Université (AU)-Centre d'Enseignement et de Recherche en Informatique - CERI, Faculty of Applied Sciences University of West Bohemia Plzeň (Pilsen), NTIS P2 Research Center University of West Bohemia Plzeň (Pilsen), Faculty of Informatics Masaryk University Brno, and ANR-20-CE23-0005,DIETS,Diagnostic automatique des erreurs des systèmes de transcription de parole end-to-end à partir de leur réception par les utilisateurs(2020)
Subjects: evaluation metrics, automatic speech recognition, human perception, [INFO]Computer Science [cs], manual annotation, [INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; Conventionally, Automatic Speech Recognition (ASR) systems are evaluated on their ability to correctly recognize each word contained in a speech signal. In this context, the word error rate (WER) metric is the reference for evaluating speech transcripts. Several studies have shown that this measure is too limited to correctly evaluate an ASR system, which has led to the proposal of other variants of metrics (weighted WER, BERTscore, semantic distance, etc.). However, they remain system-oriented, even when transcripts are intended for humans. In this paper, we firstly present Human Assessed Transcription Side-by-side (HATS), an original French manually annotated data set in terms of human perception of transcription errors produced by various ASR systems. 143 humans were asked to choose the best automatic transcription out of two hypotheses. We investigated the relationship between human preferences and various ASR evaluation metrics, including lexical and embedding-based ones, the latter being those that correlate supposedly the most with human perception.; Traditionnellement, les systèmes de reconnaissance automatique de la parole (RAP) sont évalués sur leur capacité à reconnaître correctement chaque mot contenu dans un signal vocal. Dans ce contexte, la mesure du taux d'erreur-mot est la référence pour évaluer les transcriptions vocales. Plusieurs études ont montré que cette mesure est trop limitée pour évaluer correctement un système de RAP, ce qui a conduit à la proposition d'autres variantes et d'autres métriques. Cependant, toutes ces métriques restent orientées "système'' alors même que les transcriptions sont destinées à des humains. Dans cet article, nous proposons un jeu de données original annoté manuellement en termes de perception humaine des erreurs de transcription produites par divers systèmes de RAP. 143 humains ont été invités à choisir la meilleure transcription automatique entre deux hypothèses. Nous étudions la relation entre les préférences humaines et diverses mesures d'évaluation pour les systèmes de RAP, y compris les mesures lexicales et celles fondées sur les plongements de mots.
Published: 2023

17. A Review of Core Operational Business-IT Alignment

Author: Andre, Pascal, Tamzalit, Dalila, Benjilany, Ali, Bruneliere, Hugo, Vérification pour l'Environnement et le LOgiciel (LS2N - équipe VELO), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), and Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)
Subjects: Business Process Modelling, [INFO]Computer Science [cs], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Software Application Modelling, Enterprise Architecture, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Information Systems, Core Operational Business-IT Alignment
Abstract: International audience; In terms of competitiveness, Business-IT Alignment (BITA) is still a crucial challenge for business leaders and CIOs, especially in the context of Digital Transformation and time-to-market challenges. Core Operational BITA can be seen as a projection of BITA to the Enterprise Information System perimeter, i.e., the operational alignment between the business processes and supporting IT. It is a major source of issues (e.g., strong couplings, maintenance costs, technical debt, slow adaptation). These cause a misalignment and thus contribute to the well-known Business-IT Gap. In this paper, we review the current state of this operational alignment in the context of Enterprise Architecture (EA) i.e. between the Business Process layer and the Application layer. Our analysis focuses on the models used at the Business Process and Application layers, the existing or potential links between these layers, and the use of these links to carry out a core operational alignment and facilitate the detection of potential divergence points. As a result, we notably outline some current limitations, such as modelling disparities, misuse of links between the two layers and an under-coverage of real alignment processes. We also discuss some lessons learned and future challenges, mainly around modelling needs and consistency management between the two considered layers.
Published: 2023

18. Learning a Riemannian manifold for the analysis-synthesis of nonstationary sounds

Author: Han, Han, Lostanlen, Vincent, Lagrange, Mathieu, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Signal, IMage et Son (LS2N - équipe SIMS ), and Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)
Subjects: [SPI.ACOU]Engineering Sciences [physics]/Acoustics [physics.class-ph], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-SD]Computer Science [cs]/Sound [cs.SD]
Abstract: International audience; Computer sound matching poses an inverse problem, namely, the identification of resynthesis parameters. Borrowing from the differentiable digital signal processing (DDSP) framework, we propose to automate its resolution by training a deep neural network. In this context, we aim to reach a compromise between the computational efficiency of parametric loss (P-loss) versus the psychoacoustical fidelity of spectral loss. Our approach, named ``perceptual--neural--physical'' (PNP), estimates the Riemannian metric which is associated to the composition between parametric synthesis and time--frequency scattering. By doing so, we locally linearize spectral loss and accelerate convergence. Furthermore, resorting to Tikhonov regularization improves the conditioning of the inverse problem. On an analysis--synthesis task for musical arpeggios, PNP training outperforms state-of-the-art methods P-loss (wav2shape) and STFT-based DDSP, as measured in terms of JTFS-based similarity between reference signal and reconstructed signal.; La transformation de sons par ordinateur pose un problème inverse d'identification des paramètres de resynthèse adéquats. Empruntant au formalisme du traitement du signal différentiable (DDSP), nous proposons d'automatiser sa résolution par entrainement d'un réseau de neurones profond. Dans ce contexte, nous visons un compromis entre l'efficacité computationnelle de la perte paramétrique et la fidélité psychoacoustique de la perte spectrale. Notre approche, baptisée perceptuelle-neuronalephysique (PNP), consiste à estimer la métrique riemannienne associée à la composition entre synthèse paramétrique et diffusion temps-fréquence (JTFS). Ce faisant, nous linéarisons localement la perte spectrale et accélérons la convergence. De plus, le recours à une régularisation de Tikhonov améliore le conditionnement du problème inverse. Par rapport à l'état de l'art (wav2shape et DDSP), et pour une tâche difficile d'analyse-synthèse d'arpège musical, l'entrainement via PNP rapproche le signal reconstruit du signal de référence, d'après une mesure de similarité de timbre fondée sur la JTFS.
Published: 2023

19. Incremental Constrained Clustering by Minimal Weighted Modification

Author: Beauchamp, Aymeric, Dao, Thi-Bich-Hanh, Loudni, Samir, Vrain, Christel, Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Théorie, Algorithmes et Systèmes en Contraintes (LS2N - équipe TASC ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS), Andre Augusto Cire, and Roland H. C. Yap
Subjects: Constrained clustering, Constraint programming, Incremental Clustering, Semi-supervised Clustering, User feedback, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; Clustering is a well-known task in Machine Learning that aims at grouping instances according to their similarity. It is unsupervised and therefore difficult to tune without human input. In constrained clustering, subject matter experts (SME) can incorporate knowledge through constraints in the clustering algorithm. Involving an expert results in an incremental process where expert constraints are added on the fly, iteratively.Although satisfying the constraints is crucial, successive partitions should look alike to avoid disturbing the expert. In this paper, we present an incremental constrained clustering framework integrating active query strategies and a constraint programming model to fit the expert's expectations while preserving cluster structure, so that the user can understand the process and apprehend its impact. Our model supports instance and group-level constraints, which can be relaxed. Experiments on reference datasets and a case study related to the analysis of satellite image time series show the relevance of our framework.
Published: 2023

20. A review of reference architectures for digital manufacturing: Classification, applicability and open issues

Author: Jan Kaiser, Duncan McFarlane, Gregory Hawkridge, Pascal André, Paulo Leitão, Institute for Manufacturing Cambridge University Engineering Department, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Vérification pour l'Environnement et le LOgiciel (LS2N - équipe VELO), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Polytechnic Institute of Bragança (IPB), Kaiser, J [0000-0002-7264-5065], and Apollo - University of Cambridge Repository
Subjects: Applicability, Internet of things, General Computer Science, Industry 4, Cyber–physical systems, Digital manufacturing, Cyber-physical systems, General Engineering, Reference architecture, [INFO]Computer Science [cs], Industry 4.0, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract: The industrial application of digital technologies in manufacturing can result in an increased efficiency of processes and an opportunity to integrate production, logistics and maintenance functions. However, increasingly interconnected manufacturing information means progressively more complex systems. Therefore, there is an ever growing need to provide structure in the design and development of such information systems which is the role of a system architecture. So called ‘reference architectures’ guide the design of system architectures used in particular applications. Reference architectures are models of information functions and their connections that provide a structured template with common terminology. Over the last decades, various reference architectures relevant to digital systems in manufacturing have been proposed. However, industrial applications of these reference architectures are scarce and it is difficult to compare and analyse them due to their various levels of application and different uses. In this study, we review and classify reference architectures used to support digital systems in manufacturing. Contributions of the paper include proposing criteria for a model to be referred to as a ‘reference architecture’, an overview and classification of the different perspectives on reference architectures in the literature, and a guideline to support practitioners, developers and academics in selecting a reference architecture.
Published: 2023

21. An EWMA sign chart for dispersion with exact run length properties

Author: Theodoros Perdikis, Stelios Psarakis, Philippe Castagliola, Vicent Giner-Bosch, Petros E. Maravelakis, Athanasios C. Rakitzis, Department of statistics, AUEB, Athens University of Economics and Business (AUEB), Conception, Pilotage, Surveillance et Supervision des systèmes (LS2N - équipe CPS3), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Universitat Politècnica de València (UPV), and University of Piraeus
Subjects: Statistics and Probability, [STAT]Statistics [stat], Sign statistic, variability, Applied Mathematics, Modeling and Simulation, Markov chain, distribution-free Sign statistic Markov chain EWMA control chart variability, EWMA control chart, Statistics, Probability and Uncertainty, distribution-free
Abstract: The EWMA Sign control chart is a distribution-free scheme used for monitoring shifts in the location parameter during process monitoring. In this work, we propose a modified Phase II EWMA chart based on a general Sign statistic, capable of monitoring shifts in the process variability. Regarding the determination of the proposed chart's in-and out-of-control Run Length properties, Markov chain methods are used in combination with a continuous transformation of the suggested general Sign statistic. Our results show the power of the proposed method regarding the proposed chart's exact Run Length properties and its efficiency in detecting shifts in the process variability.
Published: 2023

22. Timing of dawn chorus in songbirds along an anthropization gradient: a species and community approach

Author: Godet, L., Prampart, Abel, Lostanlen, Vincent, Aumond, Pierre, Littoral, Environnement, Télédétection, Géomatique (LETG - Nantes ), Université de Brest (UBO)-Université de Rennes 2 (UR2)-Centre National de la Recherche Scientifique (CNRS)-Nantes Université (Nantes Univ)-Littoral, Environnement, Télédétection, Géomatique UMR 6554 (LETG), Université de Brest (UBO)-Université de Rennes 2 (UR2)-Centre National de la Recherche Scientifique (CNRS)-Institut de Géographie et d'Aménagement Régional de l'Université de Nantes (Nantes Univ - IGARUN), Nantes Université - pôle Humanités, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Humanités, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Institut de Géographie et d'Aménagement Régional de l'Université de Nantes (Nantes Univ - IGARUN), Nantes Université (Nantes Univ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Unité Mixte de Recherche en Acoustique Environnementale (UMRAE ), Centre d'Etudes et d'Expertise sur les Risques, l'Environnement, la Mobilité et l'Aménagement (Cerema)-Université Gustave Eiffel, Fondation de France, and Society for Conservation Biology
Subjects: ALAN, bird, birdsong, [SDE]Environmental Sciences, [SHS.GEO]Humanities and Social Sciences/Geography, landscape
Abstract: International audience; The influence of human activities on bird song has been deeply investigated. However, disentangling the relative influence of different anthropogenic pressures (e.g., artificial lights at night, traffic noise, landscape artificialization), of landscape composition (e.g., surface of natural habitat, landscape richness and diversity) and of biotic conditions (bird abundance, richness and diversity) on bird song is still challenging. On the basis of a field survey conducted on a breeding bird community (37 species) in spring 2022 in France, we disentangle the relative influence of such factors of the timing of bird chorus both at the species and community levels. We find that species react differently to the different factors, with species more sensitive to anthropogenic factors and others to biotic conditions. This leads to an important temporal reassembly in the bird chorus at the community level, which promotes a higher temporal turnover in the most anthropized areas and a higher temporal nestedness in the most natural areas. Human activities are thus not only driving temporal changes in different bird species but also promote a change in the temporal structure of the chorus at the whole community.
Published: 2023

23. Anthropization and bird song in the Loire Estuary, France

Author: Godet, L., Prampart, Abel, Lostanlen, Vincent, Littoral, Environnement, Télédétection, Géomatique (LETG - Nantes ), Université de Brest (UBO)-Université de Rennes 2 (UR2)-Centre National de la Recherche Scientifique (CNRS)-Nantes Université (Nantes Univ)-Littoral, Environnement, Télédétection, Géomatique UMR 6554 (LETG), Université de Brest (UBO)-Université de Rennes 2 (UR2)-Centre National de la Recherche Scientifique (CNRS)-Institut de Géographie et d'Aménagement Régional de l'Université de Nantes (Nantes Univ - IGARUN), Nantes Université - pôle Humanités, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Humanités, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Institut de Géographie et d'Aménagement Régional de l'Université de Nantes (Nantes Univ - IGARUN), Nantes Université (Nantes Univ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, and UGI
Subjects: birdsong, alan, traffic noise, naturalness, landscape, [SDE]Environmental Sciences, [SHS.GEO]Humanities and Social Sciences/Geography
Abstract: The timing of bird chorus (i.e. the daily highest period of vocal activity in singing birds) follows a circadian pattern but can be modified by anthropogenic factors, mainly including artificial lights at night (ALAN) and traffic noise. However, the impacts of ALAN and noise are rarely dissociated each other and almost never distinguished from other anthropic pressures. The second shortcoming is that the measurement of the timing of chorus is almost systematically based on the occurrence of the first song(s) of the model species, whereas the temporal pattern of the whole vocal activity is never taken into account. Through the example of the breeding birds in the Loire Estuary (France), we first dissociated the different facets of anthropization (ALAN, traffic noise, and land-use and land cover) through a geomatic approach and we analyzed the temporal pattern of bird vocalization through a method based on the recently developed deep neural network “BirdNET”. If ALAN and traffic noise influence the timing of bird chorus, we also found both that taking either a facet or another of anthropization but also different measures of the temporal pattern of bird chorus (e.g., the median time of all the vocalizations instead of the first songs) reveals different results. We thus propose a conceptual framework to measure different facets of anthropization but also different measures of temporal pattern of bird chorus to better understand the influence of human activities on bird vocalizations.
Published: 2023

24. Architectural evolution style representation model

Author: Kadidiatou, Djibo, Oussalah, Mourad, Konaté, Jacqueline, Université de Bamako, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, and Nantes Université (Nantes Univ)
Subjects: [INFO]Computer Science [cs]
Published: 2023

25. ADM: An agile template for requirements documentation

Author: Khelfat, Hind, Oussalah, Mourad, Azzedine, Chikh, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), and Université de Tlemcen
Subjects: [INFO]Computer Science [cs]
Published: 2023

26. Just noticeable difference-aware per-scene bitrate-laddering for adaptive video streaming

Author: Menon, Vignesh V, Zhu, Jingwen, Rajendran, Prajit T, Amirpour, Hadi, Callet, Patrick Le, Timmerer, Christian, Alpen-Adria-Universität Klagenfurt [Klagenfurt, Austria], Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), and Université Paris-Saclay
Subjects: FOS: Computer and information sciences, video streaming, Bitrate ladder, per-scene encoding, [INFO]Computer Science [cs], Computer Science - Multimedia, Just Noticeable Difference, Multimedia (cs.MM)
Abstract: In video streaming applications, a fixed set of bitrate-resolution pairs (known as a bitrate ladder) is typically used during the entire streaming session. However, an optimized bitrate ladder per scene may result in (i) decreased storage or delivery costs or/and (ii) increased Quality of Experience. This paper introduces a Just Noticeable Difference (JND)-aware per-scene bitrate ladder prediction scheme (JASLA) for adaptive video-on-demand streaming applications. JASLA predicts jointly optimized resolutions and corresponding constant rate factors (CRFs) using spatial and temporal complexity features for a given set of target bitrates for every scene, which yields an efficient constrained Variable Bitrate encoding. Moreover, bitrate-resolution pairs that yield distortion lower than one JND are eliminated. Experimental results show that, on average, JASLA yields bitrate savings of 34.42% and 42.67% to maintain the same PSNR and VMAF, respectively, compared to the reference HTTP Live Streaming (HLS) bitrate ladder Constant Bitrate encoding using x265 HEVC encoder, where the maximum resolution of streaming is Full HD (1080p). Moreover, a 54.34% average cumulative decrease in storage space is observed., Comment: 2023 IEEE International Conference on Multimedia and Expo (ICME)
Published: 2023

27. Real-time Scheduling and Resource Managementfor Energy Autonomous Sensors

Author: Mohamed Abdulla, Mohamed Irfanulla, Chetto, Maryline, Queudet, Audrey, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), 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), and IFAC
Subjects: Energy harvesting, Sensor control system, Real-time scheduling, Resource access protocol, Cobotic systems, [INFO]Computer Science [cs]
Abstract: International audience; Energy autonomous sensors are attracting increasing attention because they have potential to provide monitoring for long-time and continuous measurement in many application areas such as transport and health. Energy harvesting can guarantee energy autonomy also called energy neutrality over long period of time if adequate power management strategies are implemented in sensors. As most of them have to execute multiple time critical tasks which access to shared resources in mutual exclusion, classical scheduling strategies should be revisited to provide efficient energy aware solutions. The ED-H scheduler was proved optimal to guarantee energy neutrality of uniprocessor real-time energy harvesting systems when all the tasks are assumedindependent. In this paper, we propose to refine it and we introduce a new scheduling scheme, namely ED-H/DPCP which is adapted to DPCP, the well-known Dynamic Priority Ceiling Protocol to support resource access control. The paper provides the schedulability analysis attached to ED-H/DPCP. We also discuss the implementation and we present integration of ED-H/DPCP within a cobotic application.
Published: 2023

28. Active disturbance rejection control for a transport equation via a differentiatior

Author: Balogoun, Ismaïla, Marx, Swann, Orlov, Yury, Plestan, Franck, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), and Centro de Investigacion Cientifica y de Education Superior de Ensenada [Mexico] (CICESE)
Subjects: Stabilization of PDEs, Transport equation, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], Robust control, Active disturbance rejection control, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract: International audience; This paper deals with the stabilization of a transport equation subject to a boundary disturbance. Our feedback design relies on the so-called strategy called active disturbance rejection control (ADRC). The unknown disturbance is estimated by Levant's differentiator and one of the feature of this differentiator is that it allows to estimate in finite-time the disturbance. We prove the existence of solutions of the closed-loop system and the global asymptotic stability of the closed-loop system. A numerical example is given to illustrate the efficiency of our strategy.
Published: 2023

29. The Role of Global and Local Context in Named Entity Recognition

Author: Amalvy, Arthur, Labatut, Vincent, Dufour, Richard, Laboratoire Informatique d'Avignon (LIA), Avignon Université (AU)-Centre d'Enseignement et de Recherche en Informatique - CERI, Traitement Automatique du Langage Naturel (LS2N - équipe TALN ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), and Association for Computational Linguistics
Subjects: FOS: Computer and information sciences, Computer Science - Computation and Language, Computation and Language (cs.CL), [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Abstract: Pre-trained transformer-based models have recently shown great performance when applied to Named Entity Recognition (NER). As the complexity of their self-attention mechanism prevents them from processing long documents at once, these models are usually applied in a sequential fashion. Such an approach unfortunately only incorporates local context and prevents leveraging global document context in long documents such as novels, which might hinder performance. In this article, we explore the impact of global document context, and its relationships with local context. We find that correctly retrieving global document context has a greater impact on performance than only leveraging local context, prompting for further research on how to better retrieve that context., Accepted to ACL2023
Published: 2023

30. Mail sorting optimization: a case study of the French postal company La Poste

Author: Amann, Emmanuelle, Gurevsky, Evgeny, Laurent, Arnaud, Mebarki, Nasser, Conception, Pilotage, Surveillance et Supervision des systèmes (LS2N - équipe CPS3), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), and Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS)
Subjects: [INFO]Computer Science [cs]
Abstract: International audience
Published: 2023

31. Optimisation du pilotage industriel d'une piscine publique grâce à la modélisation dirigée par les données : proposition d'un jeu de données applicatif

Author: Gauthier-Clerc, François, Le Capitaine, Hoel, Claveau, Fabien, Chevrel, Philippe, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT), AFIA-Association Française pour l'Intelligence Artificielle, ICube-laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie, Christelle Launois, and Catherine Roussey
Subjects: Optimisation énergétique, Energy optimization, Machine learning, Dynamic system modeling, Apprentissage automatique Dynamic systems modeling, Modélisation de systèmes dynamiques, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: National audience; This article highlights the importance of data driven models for the modeling and control of dynamic systems. It recommends the use of accurate and consistent models for data-driven control. The study is based on the example of a public swimming pool and demonstrates the difficulties of optimizing a model in a real-world data context. A dataset from a real system and calibrated performance criteria are proposed to improve the techniques of learning and identifying systems for better energy optimization of numerous industrial installations.; Cet article met en évidence l'importance de modèles dirigés par les données pour la modélisation/pilotage de systèmes dynamiques. Il recommande l'utilisation de modèles précis et capable d'extrapolation pour un pilotage générique. L'étude se base sur l'exemple d'une piscine publique et montre les difficultés d'obtenir un bon modèle dans un contexte de données réelles. Un jeu de données issu d'un système réel et des critères de performance sont proposés pour aider à améliorer les techniques d'apprentissage et d'identification en vue d'une meilleure optimisation énergétique de nombreuses installations industrielles.
Published: 2023

32. Etat de l’art sur la co-simulation robotique et réseau des systèmes multi-robots

Author: Balaguer, Théotime, Simonin, Olivier, Lassous, Isabelle, Fantoni, Isabelle, CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Agence de l'Innovation de Défense Institut National des Sciences Appliquées, and ANR-20-ASTR-0003,CONCERTO,mobilité Contrôlée et cOmmunicatioNs effiCaces dans une flottE de dRones auTo-Organisée(2020)
Subjects: Communication networks, [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], Multi-robots systems, Systèmes multi-robots, Cosimulation, Réseaux de communication, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], Co-simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Abstract: National audience; Simulation of multi-robots systems require the integration of both the robotic and network components. Leveraging the existing tools from each community seems evident, but merging two completely different simulators proves challenging. This paper presents the state of the art in co-simulators that tackle this problematic, and provide details on the challenges arising when one wants to create an efficient co-simulator.; La simulation de systèmes multi-robots nécessite l'intégration des composantes robotique et réseau au sein d'un même environnement de simulation. La réutilisation des outils existants dans les communautés robotique et réseau semble être une évidence, mais la fusion de deux simulateurs présente des défis structurels qu'il faut surmonter afin d'obtenir une simulation "réaliste" d'un système multi-robots. Dans cet état de l'art, nous présentons les co-simulateurs qui abordent cette problématique et détaillons les défis auxquels il faut répondre pour la conception d'un co-simulateur performant.
Published: 2023

33. Hybrid security approach for behavioural privacy of business processes in a Cloud environment

Author: Abdmeziem, Farah, Boukhedouma, Saida, Oussalah, Mourad Chabane, USTHB DZA, Partenaires IRSTEA, Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA)-Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), and LNCS
Subjects: [INFO]Computer Science [cs]
Abstract: International audience; Nowadays, many public and private institutions are inter-ested to benefit from the advantages of the Cloud Computing technol-ogy, especially when it comes to massive data storage. However, thereis one issue related to security that impedes the widely adoption of thistechnology. Indeed, using cloud services for data storage implies that theclients must trust the Cloud provider with their data and even morecritically losing full control on data. Nevertheless, there exists a solutionto bypass this security issue that consists in securing data on the client’spremises, i.e. before it is sent to the Cloud provider for storage. One ofthe widely used security mechanism to this matter is data encryption.Encryption comes in two main schemes symmetric and asymmetric witha number of encryption algorithms for each scheme. Hence, relying onthe data encryption mechanism the contribution of this work is three-fold. First of all, we propose a meta-model that represents the result ofthe study and the comparison of the state-of-the-art works. Thus, themeta-model can be used as a referential to instantiate different solutionsto data security. Second, we use our meta-model to propose a novel ap-proach for securing data in a Cloud environment. The solution relies onsecurity patterns that provide a customized data encryption. Finally, en-cryption has surely proven its security effectiveness but comes with somedrawbacks. Indeed, encryption can be costly in time and induces perfor-mances’ overheads especially when it comes to encrypt massive amountsof data. Plus, these overheads are not without consequences on the envi-ronment and can increase the carbon footprint of servers. Therefore, weextend our meta-model to consider the impact of the encryption securitymechanism on the environment. This extension is used to evaluate ourproposed solution and to show its positive impact on the environment.
Published: 2023

34. Hyperparameter selection for Discrete Mumford–Shah

Author: Lucas, Charles-Gérard, Pascal, Barbara, Pustelnik, Nelly, Abry, Patrice, Laboratoire de Physique de l'ENS Lyon (Phys-ENS), École normale supérieure de Lyon (ENS de Lyon)-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, and Nantes Université (Nantes Univ)
Subjects: non-convex minimization, contour detection, Image and Video Processing (eess.IV), Electrical Engineering and Systems Science - Image and Video Processing, Optimization and Control (math.OC), Stein Unbiased Risk Estimate, [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], Signal Processing, FOS: Electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Mumford-Shah functional, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Electrical and Electronic Engineering, Mathematics - Optimization and Control
Abstract: International audience; This work focuses on a parameter-free joint piecewise smooth image denoising and contour detection. Formulated as the minimization of a discrete Mumford-Shah functional and estimated via a theoretically grounded alternating minimization scheme, the bottleneck of such a variational approach lies in the need to fine-tune their hyperparameters, while not having access to ground truth data.To that aim, a Stein-like strategy providing optimal hyperparameters is designed, based on the minimization of an unbiased estimate of the quadratic risk.Efficient and automated minimization of the estimate of the risk crucially relies on an unbiased estimate of the gradient of the risk with respect to hyperparameters. Its practical implementation is performed using a forward differentiation of the alternating scheme minimizing the Mumford-Shah functional, requiring exact differentiation of the proximity operators involved. Intensive numerical experiments are performed on synthetic images with different geometry and noise levels, assessing the accuracy and the robustness of the proposed procedure.The resulting parameter-free piecewise-smooth estimation and contour detection procedure, not requiring prior image processing expertise nor annotated data, can then be applied to real-world images.
Published: 2022

35. Editorial Board contributions celebrating the 60th Anniversary of IJPR: Part 3

Author: Dolgui, Alexandre, Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), and Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)
Subjects: [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, Strategy and Management, [INFO]Computer Science [cs], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], Management Science and Operations Research, Industrial and Manufacturing Engineering
Abstract: International audience
Published: 2022

36. Robust optimization approaches for purchase planning with supplier selection under lead time uncertainty

Author: Simon Thevenin, Oussama Ben-Ammar, Nadjib Brahimi, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), EuroMov - Digital Health in Motion (Euromov DHM), IMT - MINES ALES (IMT - MINES ALES), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Montpellier (UM), ESC Rennes School of Business, and ESC Rennes School of Business (ESC [Rennes])
Subjects: Information Systems and Management, General Computer Science, Modeling and Simulation, Lot-sizing, Production, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], Management Science and Operations Research, Robust optimization, Supplier selection, Purchasing, Lead time Uncertainty, Industrial and Manufacturing Engineering
Abstract: International audience; Supplier reliability is a critical issue for manufacturing companies. Delivery delays from suppliers create backlog and firefighting on the shop floors. To avoid disruption and hedge against supplier lead time uncertainty, companies rely on diversification, multi-sourcing, and safety lead times. In multi-sourcing, the buyer might order the same product (raw material) from different suppliers. The design of a robust and cost-efficient purchasing/ordering plan in multi-sourcing is a complex task which has a strong impact on the performance of the company. In this study, we investigate the use of robust optimization for the integrated lot-sizing and supplier selection problem under lead time uncertainty. More specifically, we use polyhedral budgeted uncertainty sets. The resulting model determines the ideal lot sizes to minimize the total costs taking into consideration suppliers’ reliability and prices. To solve this problem, a row and column generation approach is proposed. To alleviate scalability issues, we enhance the row and column generation through a robust counterpart formulation, and we propose an efficient fix-and-optimize approach. Our extensive computational experiments show that the fix-and-optimize approach yields good quality solutions within a reasonable amount of computational time. We provide insights into supplier diversification based on the risk profile of the decision-maker. One of the conclusions is that an extremely risk-averse decision-maker selects a single supplier, namely the most reliable one even if it does not offer the lowest price.
Published: 2022

37. Ensemble-Based Deep Learning Model for Network Traffic Classification

Author: Ons Aouedi, Kandaraj Piamrat, Benoit Parrein, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Software Stack for Massively Geo-Distributed Infrastructures (STACK), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Nantes Université (Nantes Univ)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), STR (LS2N - équipe STR ), and Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)
Subjects: machine learning, Computer Networks and Communications, decision tree, ensemble learning, deep learning, [INFO]Computer Science [cs], Electrical and Electronic Engineering, Blending, traffic classification
Abstract: International audience; Network Traffic Classification enables a number of practical applications ranging from network monitoring to resource management, with security implications as well. Nowadays, traffic classification has become a challenging task in order to distinguish among a variety of applications due to the huge amount of generated traffic. Therefore, developing Machine Learning (ML) models, which can successfully identify network applications, is one of the most important tasks. However, among the ML models applied to network traffic classification so far, no model outperforms all the others. To solve these issues, this paper proposes a novel Deep Learning (DL)-based approach that incorporates multiple Decision Tree based models. This approach employs a non-linear blending ensemble method by combining tree-based classifiers through DL in order to maximize generalization accuracy. This ensemble consists of two levels called base classifiers and meta-classifiers. In the first level, Decision Tree-based models are used as the base classifiers while in the second level, DL is used as a meta-model to combine the outputs of the base classifiers. Using two publicly available datasets, we show that our proposed ensemble is suitable for network traffic classification and outperforms the linear blending (using logistic regression as meta-model) as well as several well-known ML models, which are Support Vector Machine (SVM), Decision Tree (DT), Random Forest (RF), Multi-Layer Perceptron (MLP), AdaBoost, K-Nearest Neighbors (KNN), LightGBM, Catboost, and XGBoost.
Published: 2022

38. Knowledge reuse for decision aid in additive manufacturing: application on cost quotation support

Author: Qussay Jarrar, Farouk Belkadi, Remy Blanc, Kenan Kestaneci, Alain Bernard, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), and École Centrale de Nantes (Nantes Univ - ECN)
Subjects: [SPI]Engineering Sciences [physics], Strategy and Management, Management Science and Operations Research, Industrial and Manufacturing Engineering
Abstract: International audience
Published: 2022

39. A self‐stabilised walking gait for humanoid robots based on the essential model with internal states

Author: Qiuyue Luo, Christine Chevallereau, Yongsheng Ou, Jianxin Pang, Victor De‐León‐Gómez, Yannick Aoustin, Shenzhen Institute of Advanced Technology [Shenzhen] (SIAT), Chinese Academy of Sciences [Beijing] (CAS), Research institute of UBTech Robotics, Shenzhen, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Robotique Et Vivant (LS2N - équipe ReV), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Research Institute of UBTech Robotics, Shenzen, Universidad Autónoma de Coahuila (UAdeC), Nantes Université - Institut d'Administration des Entreprises - Nantes (Nantes Univ - IAE Nantes), Nantes Université - pôle Sociétés, and Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)
Subjects: Human-Computer Interaction, humanoid and bipedal locomotion, Computational Theory and Mathematics, Artificial Intelligence, Computer Networks and Communications, Hardware and Architecture, dynamic stability, passive walking, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Information Systems
Abstract: International audience; Walking stability is one of the key issues for humanoid robots. A self-stabilised walking gait for a full dynamic model of humanoid robots is proposed. For simplified models, that is, the linear inverted pendulum model and variable-length inverted pendulum model, self-stabilisation of walking gait can be obtained if virtual constraints are properly defined. This result is extended to the full dynamic model of humanoid robots by using an essential dynamic model, which is developed based on the zero dynamics concept. With the proposed method, a robust stable walking for a humanoid robot is achieved by adjusting the step timing and landing position of the swing foot automatically, following its intrinsic dynamic characteristics. This exempts the robot from the time-consuming high-level control approaches, especially when a full dynamic model is applied. How different walking patterns/features (i.e., the swing foot motion, the vertical centre of mass motion, the switching manifold configuration, etc.) affect the stability of the walking gait is analysed. Simulations are conducted on robots Romeo and TALOS to support the results.
Published: 2022

40. Stochastic Dual Dynamic Programming for Multiechelon Lot Sizing with Component Substitution

Author: Simon Thevenin, Yossiri Adulyasak, Jean-François Cordeau, Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), HEC Montréal (HEC Montréal), Groupe d’études et de recherche en analyse des décisions (GERAD), and École Polytechnique de Montréal (EPM)-McGill University = Université McGill [Montréal, Canada]-HEC Montréal (HEC Montréal)-Université du Québec à Montréal = University of Québec in Montréal (UQAM)
Subjects: stochastic dual dynamic programming, Lot sizing, General Engineering, stochastic demand, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], stochastic optimization
Abstract: This work investigates lot sizing with component substitution under demand uncertainty. The integration of component substitution with lot sizing in an uncertain demand context is important because the consolidation of the demand for components naturally allows risk-pooling and reduces operating costs. The considered problem is relevant not only in a production context, but also in the context of distribution planning. We propose a stochastic programming formulation for the static–dynamic type of uncertainty, in which the setup decisions are frozen but the production and consumption quantities are decided dynamically. To tackle the scalability issues commonly encountered in multistage stochastic optimization, this paper investigates the use of stochastic dual dynamic programming (SDDP). In addition, we consider various improvements of SDDP, including the use of strong cuts, the fast generation of cuts by solving the linear relaxation of the problem, and retaining the average demand scenarios. Finally, we propose two heuristics, namely, a hybrid of progressive hedging with SDDP and a heuristic version of SDDP. Computational experiments conducted on well-known instances from the literature show that the heuristic version of SDDP outperforms other methods. The proposed method can plan with up to 10 decision stages and 20 scenarios per stage, which results in 2010 scenario paths in total. Moreover, as the heuristic version of SDDP can replan to account for new information in less than a second, it is convenient in a dynamic context. Summary of Contribution: We believe our paper is suitable for the mission and scope of IJOC because we design efficient algorithms to solve an operations research problem. More precisely, we investigate the use of stochastic dual dynamic programming (SDDP) for lot sizing with component substitution under demand uncertainty. In this work, we consider the static–dynamic decision framework, and a good approximation of the expected costs in this context requires us to solve the problem with a large number of scenarios of future demand. As solving the considered problem is computationally intensive, we investigate the use of SDDP, which decomposes the problem per decision stage. We study several enhancements of SDDP, such as the use of strong cuts, the incorporation of a lower bound computed with the average demand scenario, the multicut version of SDDP, and scenario sampling with randomized quasi–Monte Carlo. Despite these improvements, the convergence of SDDP remains slow. Consequently, we propose a heuristic version of SDDP and a hybrid of progressive hedging and SDDP. We present the results of an extensive computational study performed on well-known instances from the literature. The results show that the heuristic SDDP outperforms the hybrid of progressive hedging with SDDP and state-of-the-art methods from the literature. Besides, our analysis shows that component substitution can pool the risk, and it allows maintaining the same service level with less inventory. The presented methodology can be used by practitioners to size their production lots, and subsequent researchers can build upon our results to consider uncertainty in other parameters, such as lead times, yields, and production capacities. History: Accepted by Andrea Lodi, Area Editor for Design & Analysis of Algorithms – Discrete. Funding: This work was supported by Mitacs and the Institut de Valorisation des Données (IVADO). Supplemental Material: The online supplement is available at https://doi.org/10.1287/ijoc.2022.1215 .
Published: 2022

41. Driving around bends with or without shoulders: The influence of bend direction

Author: Mecheri, Sami, Mars, Franck, Lobjois, Régis, Institut de Recherche Biomédicale des Armées [Brétigny-sur-Orge] (IRBA), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Laboratoire sur la Perception, les Intéractions, les Comportements et la Simulation des usagers de la route et de la rue (COSYS-PICS-L), Université Gustave Eiffel, and Délégation à la Sécurité Routière, PROFIL+ project (grant number 2201141611)
Subjects: Curve, Driver behavior, Automotive Engineering, Paved shoulder, [SHS.PSY]Humanities and Social Sciences/Psychology, Transportation, Driving simulator, Steering control, Applied Psychology, Civil and Structural Engineering
Abstract: International audience; Paved shoulders have long been used to create "forgiving" roads where drivers can maintain control of their vehicles even when as they drift out of the lane. While the safety benefits of shoulders have been well documented, their effects on driver behavior around curves have scarcely been examined. The purpose of this paper is to fill this gap by assessing whether the addition of shoulders affects driver behavior differently as a function of bend direction. Driver behavior in a driving simulator was analyzed on left and right curves of two-lane rural roads in the presence and absence of 0.75-m and 1.25-m shoulders. The results demonstrated significant changes in drivers' lateral control when shoulders were provided. In the absence of oncoming traffic, the shoulders caused participants to deviate more toward the inner lane edge at curve entry, at the apex and at the innermost position on right bends but not left ones. In the presence of oncoming traffic, this also occurred at the apex and the innermost position, leading participants to spend more time off the lane on right curves. Participants did not slow down in either traffic condition to compensate for steering farther inside, thereby increasing the risk of lane departure on right curves equipped with shoulders. These findings highlight the direction-specific influence of shoulders on a driver's steering control when driving around bends. They provide arguments supporting the idea that drivers view paved shoulders as a new field of safe travel on right curves. Recommendations are made to encourage drivers to keep their vehicle within the lane on right bends and to prevent potential interference with cyclists when a shoulder is present.
Published: 2022

42. Mechatronic design of dynamically decoupled manipulators based on the control performance improvement

Author: Yaodong Lu, Yannick Aoustin, Vigen Arakelian, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Robots and Machines for Manufacturing, Society and Services (LS2N - équipe RoMas), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), and Robotique Et Vivant (LS2N - équipe ReV)
Subjects: Control and Optimization, Control and Systems Engineering, General Mathematics, Mechanical Engineering, Modeling and Simulation, Software, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Computer Science Applications
Abstract: The control of industrial robot manipulators presents a difficult problem for control engineers due to the complexity of their nonlinear dynamics models. Nonlinear controls based on feedback linearization are developed to meet control requirements. Model-based nonlinear control is highly sensitive to parameter errors and leads to problems of robustness for tracking trajectories at high speeds, and there is the additional problem of a heavy computational burden to consider in the design of nonlinear controllers. In this paper, a mechatronic design approach is proposed, which aims to facilitate controller design by redesigning the mechanical structure. The problem is approached in two steps: first, the dynamic decoupling conditions of manipulators are described and discussed, involving redistribution of the moving mass, which leads to the decoupling of motion equations. A classical linear control law is then used to track the desired efficient bang-bang profile trajectory. Then, in the presence of parameter uncertainty and external disturbances, the nonlinear controls with simple structures are adopted to stabilize the decoupled system asymptotically. An analysis of the results from a simulation of this approach demonstrates its effectiveness in controller design. The proposed improvement in control performance is illustrated via two spatial manipulators.
Published: 2022

43. A Model-Driven Methodology to Accelerate Software Engineering in the Internet of Things

Author: Imad Berrouyne, Mehdi Adda, Jean-Marie Mottu, Massimo Tisi, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu), Université du Québec à Rimouski (UQAR), Institut Universitaire de Technologie - Nantes (Nantes Univ - IUT Nantes), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), and Nantes Université (Nantes Univ)
Subjects: Policy Enforcement, Model Transformation, Computer Networks and Communications, Internet of Things, Software Engineering, Model-Driven Engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Code Generation, Computer Science Applications, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Hardware and Architecture, Signal Processing, Information Systems
Abstract: International audience; The Internet of Things (IoT) aims for connecting Anything, Anywhere, Anytime (AAA). This assumption brings about several software engineering challenges that constitute a serious obstacle to its wider adoption. The main feature of the Internet of Things (IoT) is genericity w.r.t the variability of software and hardware technologies. Model-Driven Engineering (MDE) is a paradigm that advocates using models to address software engineering problems. It can help to meet the genericity of the IoT from a software engineering perspective. Existing MDE approaches for the IoT focus only on modeling the internal behavior of things but lack a comprehensive approach dedicated to network modeling. In the present paper, we introduce a network-oriented methodology based on MDE to unify the IoT's heterogeneous concepts. Fundamentally, we avoid the intrinsic heterogeneity of the IoT by separating the network's specification (i.e., the things, the communication scheme, and its constraints) from its concrete implementation (i.e., the low-level artifacts such as source code and documentation). Technically, the methodology relies on a model-based Domain-Specific Language (DSL) and a code generator. The former enables the modeling of the network's specification, and the latter provides a procedure to generate the low-level artifacts from this specification. Our results show that this methodology makes IoT's software engineering more rigorous, helps prevent bugs earlier, and saves time.
Published: 2022

44. The impacts of digital technologies on coping with the COVID-19 pandemic in the manufacturing industry: a systematic literature review

Author: Marco Ardolino, Andrea Bacchetti, Alexandre Dolgui, Guglielmo Franchini, Dmitry Ivanov, Anand Nair, Università degli Studi di Brescia = University of Brescia (UniBs), University of Brescia, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Berlin School of Economics and Law, Michigan State University [East Lansing], and Michigan State University System
Subjects: [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, Strategy and Management, [INFO]Computer Science [cs], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], Management Science and Operations Research, Industrial and Manufacturing Engineering
Abstract: International audience; The COVID-19 pandemic’s impacts have been devastating for the global economy, and particularly for manufacturing companies. Many firms were unprepared for a crisis of this magnitude and adapted their operations in an ad-hoc manner. Some of these adaptations were facilitated by digital technologies (DTs). This article examines extant literature using a systematic review methodology in order to extend our understanding of what DTs have been used in manufacturing companies during the pandemic, how DTs have helped manufacturing companies cope with the pandemic, and how these innovations can be used in the post-pandemic world. The major outcome of our study is a novel classification of DT applications in the pandemic setting in the manufacturing industry. In addition, we propose an agenda for future research.
Published: 2022

45. Transparency Analysis of a Passive Heavy Load Comanipulation Arm

Author: Thomas Muller, Kevin Subrin, Denis Joncheray, Alain Billon, Sebastien Garnier, NEODITECH, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Robots and Machines for Manufacturing, Society and Services (LS2N - équipe RoMas), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), and École Centrale de Nantes (Nantes Univ - ECN)
Subjects: Human-Computer Interaction, [SPI]Engineering Sciences [physics], Artificial Intelligence, Computer Networks and Communications, Control and Systems Engineering, Signal Processing, Human Factors and Ergonomics, Computer Science Applications
Abstract: International audience
Published: 2022

46. A skill- and feature-based approach to planning process monitoring in assembly planning

Author: Clemens Gonnermann, S. Ehsan Hashemi-Petroodi, Simon Thevenin, Alexandre Dolgui, Rüdiger Daub, Technische Universität Munchen - Université Technique de Munich [Munich, Allemagne] (TUM), Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), and Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)
Subjects: assembly, [SPI.OTHER]Engineering Sciences [physics]/Other, skill-based approach, Mechanical Engineering, reconfigurable manufacturing system, Industrial and Manufacturing Engineering, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Computer Science Applications, feature recognition, Control and Systems Engineering, CAD analysis, optimization, Decision support system, Software
Abstract: Frequent changes in customer needs and large product variety are forcing manufacturing companies to move from mass production to mass customization. Customized production can be achieved by introducing reconfigurable production systems (RMS). The customized flexibility and several characteristics of RMSs provide many opportunities in terms of process and production planning. However, those characteristics greatly increase the complexity of the design and planning of production systems. This paper presents a decision support system relying on a skill-based approach to design a reconfigurable assembly line considering the planning of assembly processes and monitoring. The proposed decision aid system is modular in design and is composed of four modules. The main input data is a CAD model of a new product variant for the identification of the assembly and monitoring requirements. Besides, a current assembly system layout with its resource descriptions exists. In the first developed module, assembly-by-disassembly and a skill-based approach are used to generate different assembly plans. In the second module, feature recognition and skill-based approaches generate process monitoring alternatives. The third module uses a linear program (LP) that aims to minimize the total cost of workstation activation and reconfiguration, as well as cycle time, and to maximize the process quality of the assembly tasks. A user-based generative model design approach is applied to optimize the values of three objective functions. In the fourth and final module, a simulation of the optimized assembly plan allows either the validation of the assembly plan and process monitoring plan or initiates a new iteration due to their infeasibility. To further demonstrate how the proposed methodology works, some computational experiments are provided for two use cases.
Published: 2022

47. Stability factor for robust balancing of simple assembly lines under uncertainty

Author: Evgeny Gurevsky, Andry Rasamimanana, Aleksandr Pirogov, Alexandre Dolgui, André Rossi, Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision (LAMSADE), Université Paris Dauphine-PSL, and Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)
Subjects: Applied Mathematics, Discrete Mathematics and Combinatorics, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], ComputingMilieux_MISCELLANEOUS
Abstract: International audience; This paper deals with an optimization problem, which arises when a new simple assembly line has to be designed subject to a fixed number of available workstations, cycle time constraint, and precedence relations between necessary assembly tasks. The studied problem consists in assigning a given set of tasks to workstations so as to find the most robust line configuration, which can withstand processing time uncertainty as much as possible. The line robustness is measured by a new indicator, called stability factor. In this work, the studied problem is proven to be strongly NP-hard, upper bounds are proposed, and the relation of the stability factor with another robustness indicator, known as stability radius, is investigated. A mixed-integer linear program (MILP) is proposed for maximizing the stability factor in the general case, and an alternative formulation is also derived when uncertainty originates in workstations only. Computational results are reported on a collection of instances derived from classic benchmark data used in the literature for the Simple Assembly Line Balancing Problem (SALBP).
Published: 2022

48. The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report

Author: Zimmermann, Théo, Coolen, Julien, Gross, Jason, Pédrot, Pierre-Marie, Gilbert, Gaëtan, Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Design, study and implementation of languages for proofs and programs (PI.R2), Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Paris Cité (UPCité)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Université Paris Cité (UPCité), Machine Intelligence Research Institute (MIRI), Gallinette : vers une nouvelle génération d'assistant à la preuve (GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), and Nantes Université (Nantes Univ)
Subjects: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Software
Abstract: Bots are becoming a popular method for automating basic everyday tasks in many software projects. This is true in particular because of the availability of many off-the-shelf task-specific bots that teams can quickly adopt (which are sometimes completed with additional task-specific custom bots). Based on our experience in the Coq project, where we have developed and maintained a multi-task project-specific bot, we argue that this alternative approach to project automation should receive more attention because it strikes a good balance between productivity and adaptibility. In this article, we describe the kind of automation that our bot implements, what advantages we have gained by maintaining a project-specific bot, and the technology and architecture choices that have made it possible. We draw conclusions that should generalize to other medium-sized software teams willing to invest in project automation without disrupting their workflows., arXiv admin note: substantial text overlap with arXiv:2112.07365
Published: 2022

49. Optimal trade credit coordination policy in dual-channel supply chain with consumer transfer

Author: Yuqi Li, Desheng Wu, Alexandre Dolgui, School of Economics and Management [Beijing], Beijing Information Science and Technology University (BITSU), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), and Nantes Université (Nantes Univ)
Subjects: [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, Strategy and Management, [INFO]Computer Science [cs], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], Management Science and Operations Research, Industrial and Manufacturing Engineering
Abstract: International audience; The boom in online sales has inspired the enthusiasm of manufacturers to include their own online sale channel with the retailer’s offline channel. This paper investigates the impact of consumer transfer in a capital-constraint dual-channel supply chain and examines the optimal operational decision by considering a Stackelberg game. We capture the trade credit coordination mechanism of the supply chain facing with stochastic demand. The results show that trade credit contract would alleviate financial pressure of the capital-constraint retailer and achieve coordination in the dual-channel supply chain. Besides, the adoption of trade credit stimulates the ordering behaviour of retailers. However, by using trade credit, the default risk increases for the capital-constraint retailer compared to the retailer with sufficient capital. The manufacturer shares the risk with the retailer by trade credit in dual-channel supply chain. Furthermore, the effects of consumer transfer rates on the setting of the trade credit parameters are also presented in this paper.
Published: 2022

50. Collaboration, Preservation and Sustainability in Digital Humanities: a question of time

Author: Aubert, Olivier, Stratil, Jasper, Scholger, Walter, Vogeler, Georg, Tasovac, Toma, Baillot, Anne, Raunig, Elisabeth, Scholger, Martina, Steiner, Elisabeth, Centre for Information Modelling, Helling, Patrick, 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), Data User Knowledge (LS2N - équipe DUKe), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), and Freie Universität Berlin
Subjects: Paper, archive, Film and cinema arts studies, Media studies, public humanities collaborations and methods, meta-criticism (reflections on digital humanities and humanities computing), and artefact preservation, [SHS.MUSEO]Humanities and Social Sciences/Cultural heritage and museology, Computer science, [INFO.INFO-CY]Computer Science [cs]/Computers and Society [cs.CY], Short Presentation, data, tools, digital humanities, digital humanities, tools, data, archive, object
Abstract: This paper discusses interdisciplinary collaborative practices based on the AdA project (meaning “Affektrhetoriken des Audiovisuellen” https://projectada.github.io/) in which institutionally situated research groups from computational sciences and film studies developed approaches for the analysis of the temporal dynamics of audiovisual expressivity by bringing together a theoretically informed methodology of film analysis and computational video analysis and semantic video annotation. In an earlier publication, we already presented how co-building a Digital Humanities tool could be seen as instrumental genesis. In it we concentrated on the iterative development of a visualisation framework to highlight the need for a common language and for the consideration of time needed for collaboration.We would like to pursue the reflection on the instrumental genesis (Rabardel, 1995) of collaboration tools along the time dimension. We saw that every step of tool development for such qualitative and exploratory research requires time: may it be for tool sketching, development, testing, or documenting its usage for manual annotation.
Published: 2023
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Journal

Database

Publisher

778 results on '"Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN)"'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources