Abstract
The integration of fiber Bragg grating (FBG) sensors in lithium-ion cells for in-situ and in-operando temperature monitoring is presented herein. The measuring of internal and external temperature variations was performed through four FBG sensors during galvanostatic cycling at C-rates ranging from 1C to 8C. The FBG sensors were placed both outside and inside the cell, located in the center of the electrochemically active area and at the tab-electrode connection. The internal sensors recorded temperature variations of 4.0 +/- 0.1 degrees C at 5C and 4.7 +/- 0.1 degrees C at 8C at the center of the active area, and 3.9 +/- 0.1 degrees C at 5C and 4.0 +/- 0.1 degrees C at 8C at the tab-electrode connection, respectively. This study is intended to contribute to detection of a temperature gradient in real time inside a cell, which can determine possible damage in the battery performance when it operates under normal and abnormal operating conditions, as well as to demonstrate the technical feasibility of the integration of in-operando microsensors inside Li-ion cells.

Abstract
This paper introduces a novel ranking system for competitive sports based around the notion of subgraphs. Although the system is targeted specifically to professional tennis it could be applied to any dominance network due to its generality. The results of about 140,000 tennis matches played between Top-100 players are used to create a colored directed network where colors represent different surfaces and edge direction depends on head-to-read results between players. The main contribution of this work is a ranking system which relies on the occurrences of 4-node directed subgraphs and the positions (or orbits) where the players appear on them. Since the concept of orbit is intrinsically connected with node dominance, appearing frequently in dominant orbits indicates that the player himself is dominant. Even in a very sparse network and without any background knowledge on the tournaments or stages of the matches, our proposal is able to extract meaningful rankings which capture the intricate competitive relationships between players from different eras.

Abstract
Concurrent programming is dominated by thread based solutions with lock based critical sections. Careful attention has to be paid to avoid race and deadlock conditions. Real-Time for The Masses (RTFM) takes an alternative language approach, introducing tasks and named critical sections (via resources) natively in the RTFM-core language. RTFM-core programs can be compiled to native C-code, and efficiently executed onto single-core platforms under the Stack Resource Policy (SRP) by the RTFM-kernel. In this paper we formally define the well-formedness criteria for SRP based resource management, and develop a certified (formally proven) implementation of the corresponding compilation from nested critical sections of the input RTFM-core program to a resulting flat sequence of primitive operations and scheduling primitives. Moreover we formalise the properties for resource ceilings under SRP and develop a certified algorithm for their computation. The feasibility of the described approach is shown through the adoption of the Why3 platform, which allows the necessary verification conditions to be automatically generated and discharged through a variety of automatic external SMT-solvers and interactive theorem provers. Moreover, Why3 supports the extraction of certified Ocaml code for proven implementations in WhyML. As a proof of concept the certified extracted development is demonstrated on an example system.

Abstract

Abstract

Abstract
Multi-agent systems can play an important role in the realization of cyber-physical systems by providing intelligence, flexibility, robustness, self-adaptation, and self-organization to them. In spite of the promising perspective offered and concretized by the deployment of multi-agent systems in a few industrial systems and in several laboratory applications, its industrial adoption is far from the expected widely usage. Beside other issues, standardization is being identified as a critical aspect for this status and requires the need to be compliant with existing industrial practices but also a special effort to influence the specifications of existing standards and/or the introduction of new ones. The main objective of this paper is to analyze necessary standardization needs for applying and deploying agent-based technology in industrial environments, addressing industrial requirements imposed by different application fields.