Modelling and predicting partial orders from pairwise belief functions

In this paper, we introduce a generic way to represent and manipulate pairwise information about partial orders (representing rankings, preferences, ...) with belief functions. We provide generic and practical tools to make inferences from this pairwise information and illustrate their use on the machine learning problems that are label ranking and multi-label prediction. Our approach differs from most other quantitative approaches handling complete or partial orders, in the sense that partial orders are here considered as primary objects and not as incomplete specifications of ideal but unknown complete orders.     

Intergranular Oxidation of Nickel-Base Alloys: Potentialities of Focused Ion Beam Tomography

Oxidation of Metals - The present work focuses on the intergranular oxidation of Alloy 600 and its weld material Alloy 82 after exposure in simulated primary water at 340–360 °C...     

Motorcyclists’ speed and “looked-but-failed-to-see” accidents

Previous research on motorcycle crashes has shown the frequency and severity of accidents in which a non-priority road user failed to give way to an approaching motorcyclist without seeing him/her, even though the road user had looked in the approaching motorcycle's direction and the motorcycle was visible. These accidents are usually called “looked-but-failed-to-see” (LBFS) accidents. This article deals with the effects that the motorcyclist's speed has in these accidents. It is based on the in-depth study and precise kinematic reconstruction of 44 accident cases involving a motorcyclist and another road user, all occurring in intersections. The results show that, in urban environments, the initial speeds of motorcyclists involved in “looked-but-failed-to-see” accidents are significantly higher than in other accidents at intersections. In rural environments, the difference in speed between LBFS accidents and other accidents is not significant, but further investigations would be necessary to draw any conclusions. These results suggest that speed management, through road design or by other means, could contribute to preventing “looked-but-failed-to-see” motorcycle accidents, at least in urban environments.     

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation

We propose algorithms for the synthesis of state-feedback controllers with partial observation of infinite state discrete event systems modelled by Symbolic Transition Systems. We provide models of safe memoryless controllers both for potentially deadlocking and deadlock free controlled systems. The termination of the algorithms solving these problems is ensured using abstract interpretation techniques which provide an overapproximation of the transitions to disable. We then extend our algorithms to controllers with memory and to online controllers. We also propose improvements in the synthesis of controllers in the finite case which, to our knowledge, provide more permissive solutions than what was previously proposed in the literature. Our tool SMACS gives an empirical validation of our methods by showing their feasibility, usability and efficiency.     

Benchmarking flexible job-shop scheduling and control systems

Benchmarking is comparing the output of different systems for a given set of input data in order to improve the system’s performance. Faced with the lack of realistic and operational benchmarks that can be used for testing optimization methods and control systems in flexible systems, this paper proposes a benchmark system based on a real production cell. A three-step method is presented: data preparation, experimentation, and reporting. This benchmark allows the evaluation of static optimization performances using traditional operation research tools and the evaluation of control system's robustness faced with unexpected events.     

Provably safe navigation for mobile robots with limited field-of-views in dynamic environments

This paper addresses the problem of navigating in a provably safe manner a mobile robot with a limited field-of-view placed in a unknown dynamic environment. In such a situation, absolute motion safety (in the sense that no collision will ever take place whatever happens in the environment) is impossible to guarantee in general. It is therefore settled for a weaker level of motion safety dubbed passive motion safety: it guarantees that, if a collision takes place, the robot will be at rest.     

Efficient Photomodulation of Visible Eu(III) and Invisible Yb(III) Luminescences using DTE Photochromic Ligands for Optical Encryption

This work describes a class of complex combining three dithienylethene units and a lanthanide ion used as an optical system displaying a double encryption method: i) a colorful code, drawn and erased under UV and visible irradiations respectively, due to coloration and discoloration of the photochromic entities, and ii) a concomitant gradual disappearance and progressive restoration of the associated lanthanide ion luminescence triggered with the same stimuli. The innovation of the system stems from the emission color tunability, i.e., with either a lanthanide ion emitting only in the visible range (Eu³⁺) or with another lanthanide ion emitting only in the near infrared (NIR) range (Yb³⁺), therefore observable, or not, to the naked eye. This system is the very first one to achieve efficient repeatable modulation of pure NIR luminescence on photochemical command. Furthermore, it is proven to be highly efficient when embedded in a PDMS polymer opening real opportunities for practical applications as anti‐counterfeiting.