There are many models of distributed computing, and no unifying mathematical framework for considering them all. One way to sidestep this issue is to start with simple communication and fault models, and use them as building blocks to derive the complex models studied in the field. We thus define operations like union, succession or repetition, whi...
Functional Electrical Stimulation (FES) is an effective technique for movement rehabilitation after spinal cord injury (SCI). One of the main issues of this technique is the choice of appropriate FES patterns for movement con- trolling which ensure efficiency and less muscular fatigue. To reach those objec- tives, the knowledge of the muscle behavi...
This data in brief presents displacement measurements acquired from a piezoelectric cantilevered actuator when subjected to harmonic excitations. The micro displacements are measured with optical sensors. The dataset has been used recently for the purpose of nonlinear black-box modelling, where the hysteretic behaviour of such devices has been mode...
Agro-food networks are characterized by complex material exchanges among farms, processors, consumers, and waste managers involved in fertilization, food, feed and bioenergy production. Better coordination of material exchanges at the local scale can facilitate more efficient resource use. Here, we present a new agent-based model, “Flows in Agro-fo...
This paper reports our experience for developing Human-Machine Interface (HMI) complying with ARINC 661 specification standard for interactive cockpits applications using formal methods. This development relies on the FLUID modelling language, we have proposed and formally defined in the FORMEDICIS project. FLUID contains essential features require...
Validation and verification are the most important issues in railway applications due to cost and security reasons. Therefore, having a model of the system would be necessary in this case. Due to non-ideal test conditions in industrial applications, an accurate parameter identification process has to be defined. In this paper, bond graph method is ...
This paper focuses on sequential qualitative decision problems, where no probability distribution on the states that may follow an action is available. New qualitative criteria that are based on ordinal uninorms and namely R⁎ and R⁎ are proposed. Like the Hurwicz criterion, the R⁎ and R⁎ uninorms arbitrate between pure pessimism and pure optimism, ...
Land cover classifications are recognised to be a fundamental source of data to characterise Earth surface and to support change detection analyses. Land cover maps have been produced from different sources as a result of massive time-series image processing. This paper proposes a REST API that allows for computing the percentage of Land Cover clas...
Indoor positioning is a growing demand for many uses: orientation in subways, shopping promotions, Internet of Things (IoT). These radio systems need dedicated wireless infrastructure deployment in order to provide users orientation information. In this paper, we present an emergency hybrid localization system which could help policemen or firefigh...
Decision- making is certainly the most widespread of all human activities, whether individual or by a group. Some decisions, especially individual decisions, are easy to make and do not require sophisticated algorithms to arrive at a solution. Others, on the other hand, and especially in the case of group decision-making, require the establishment ...
