Yves Dumond

Formal specification of a multi-agent system architecture for manufacture: the contribution of the π-calculus

Abstract We first recall the interest of multi-agent systems (MAS) in computer-aided production engineering. We argue that the notion of agent needs to be clarified and that MAS architectures must consequently be subject to formal descriptions. Concurrent specification languages, such as process calculi, can be regarded as suitable models for this purpose. The π-calculus is therefore introduced through its syntax and an informal description of its semantic. We then support the idea that this calculus fulfils the requirements for MAS architecture description, especially the aspects related to the interactions between agents. Then, we focus on the Supply Chain Management problem: two agents and their sub-components are specified using the π-calculus. After a short evaluation of the proposed method, we end by pointing out the potential applications and some areas of research related to our approach.

An Applied Step In Forest Fire Spread Modelling

We report in this paper on an experiment in implementing a fire spread modelling system specifically dedicated to fire-fighting activities. First, the corresponding operational framework is introduced. In particular, we stress the importance of time constraints. Then, forest fire modelling techniques as well as some considerations related to our experience and feedback on this issue are briefly tackled. Then, we bring in a model which appears as a mix between the shape approach and raster based models. This one involves both a raster representation of the landscape and an elliptical shape based approach. We conclude on the fact that the corresponding software system calculates fire contours which are correlated with actual ones provided the basic local rates of spread are accurately estimated.

FORMAL SPECIFICATION OF TOPOLOGY COMPUTATION IN A NATIONAL EHV GRID

ABSTRACT This paper presents a formal specification of topology computation in an electrical grid control system. We first describe the different components of the electrical network with the help of an object-based formalism and some elementary notions of set theory, Then, the dynamics of the whole is described by means of a set of transition rules: for each component concerned, we specify the change of state undergone when events occur that affect the topology of a single extremely high voltage substation and/or the network as a whole. Finally, promising perspectives for rapid prototyping and establishment of operational specifications are evoked.