367 research outputs found

    Towards aggregate monitoring of spatio-temporal properties

    Get PDF

    Towards a Standard for Human Interaction with Connected Autonomous Vehicles

    Get PDF

    A general framework and decentralised algorithms for collective computational processes

    Get PDF
    Recent research on collective adaptive systems and macro-programming has shown the importance of programming abstractions for expressing the self-organising behaviour of ensembles, large and dynamic sets of collaborating devices. These generally leverage the interplay between the execution model and the program logic to steer the global-level emergent behaviour of the system. One notable example is the aggregate process abstraction: in an asynchronous round-based computational model, it allows to specify how aggregate-level computations are spawned, take form or spread on a domain of devices, and ultimately quit. Previous presentations of aggregate processes, however, are given in the formal framework of the field calculus, requiring knowledge of its syntax and articulated semantics. To provide a more accessible and language-agnostic presentation of such an abstraction, in this paper we introduce a general formal framework of collective computational processes (CCP). Specifically, as key contribution, we model and describe the programming interface (spawn construct) and dynamics of CCPs on event structures. Furthermore, we also propose novel algorithms for efficient propagation and termination of CCPs, based on statistics on the information speed and a notion of progressive wave-like closure. Crucially, thanks to our theoretical framework, we can provide optimality guarantees for the proposed algorithms, whose performance, superior to the state of the art, is assessed by simulation. Finally, to show applicability of CCPs, we provide a case study of situated service discovery in peer-to-peer networks

    Fostering resilient execution of multi-agent plans through self-organisation

    Get PDF
    Traditional multi-agent planning addresses the coordination of multiple agents towards common goals, by producing an integrated plan of actions for each of those agents. For systems made of large numbers of cooperating agents, however, the execution and monitoring of a plan should enhance its high-level steps, possibly involving entire sub-teams, with a flexible and adaptable lower-level behaviour of the individual agents. In order to achieve such a goal, we need to integrate the behaviour dictated by a multi-agent plan with self-organizing, swarm-based approaches, capable of automatically adapting their behaviour based on the contingent situation, departing from the predetermined plan whenever needed. Moreover, in order to deal with multiple domains and unpredictable situations, the system should, as far as possible, exhibit such capabilities without hard-coding the agents behaviour and interactions. In this paper, we investigate the relationship between multi-agent planning and self-organisation through the combination of two representative approaches both enjoying declarativity. We consider a functional approach to self-organising systems development, called Aggregate Programming (AP), and propose to exploit collective adaptive behaviour to carry out plan revisions. We describe preliminary results in this direction on a case study of execution monitoring and repair of a Multi-Agent PDDL plan

    Explaining Failures Propagations in the Execution of Multi-Agent Temporal Plans

    Get PDF

    A field-based computing approach to sensing-driven clustering in robot swarms

    Get PDF
    Swarm intelligence leverages collective behaviours emerging from interaction and activity of several “simple” agents to solve problems in various environments. One problem of interest in large swarms featuring a variety of sub-goals is swarm clustering, where the individuals of a swarm are assigned or choose to belong to zero or more groups, also called clusters. In this work, we address the sensing-based swarm clustering problem, where clusters are defined based on both the values sensed from the environment and the spatial distribution of the values and the agents. Moreover, we address it in a setting characterised by decentralisation of computation and interaction, and dynamicity of values and mobility of agents. For the solution, we propose to use the field-based computing paradigm, where computation and interaction are expressed in terms of a functional manipulation of fields, distributed and evolving data structures mapping each individual of the system to values over time. We devise a solution to sensing-based swarm clustering leveraging multiple concurrent field computations with limited domain and evaluate the approach experimentally by means of simulations, showing that the programmed swarms form clusters that well reflect the underlying environmental phenomena dynamics

    Sull'antagonismo in vivo ed in vitro di Acremonium byssoides, endofita in Vitis vinifera, nei confronti di Plasmopara viticola

    Get PDF
    Lo studio dell\u2019interazione fra Acremonium byssoides, Vitis vinifera e Plasmopara viticola, condotto nell\u2019ultimo decennio, ha evidenziato in vitro e in vivo l\u2019attivit\ue0 antagonistica dell\u2019ifomicete, endofita negli organi verdi di alcune cultivars di vite, nei confronti del patogeno. In particolare, \ue8 stato accertato che sospensioni conidiche, filtrati colturali, estratti grezzi e metaboliti di A. byssoides riducono sensibilmente la germinazione delle spore agamiche e gamiche di P. viticola, limitando la produzione di propaguli. Inoltre, l\u2019uso di un microscopio laser confocale e l\u2019impiego di un\u2019opportuna tecnica di decolorazione dei tessuti fogliari, seguita da colorazione di contrasto, ha consentito di visualizzare l\u2019ifomicete, latente nelle nervature di foglie sane e iperparassita dell\u2019oomicete in foglie infette. In queste ultime, infatti, A. byssoides, dopo aver prodotto metaboliti secondari tossici per P. viticola, ne invade e degrada micelio, rami sporangiofori e spore gamiche. Tale attivit\ue0 antagonistica, determinando il contenimento sia della diffusione che della sopravvivenza del patogeno, pu\uf2 assumere, quindi, un ruolo rilevante nella definizione di strategie di difesa biologica contro la peronospora della vite
    corecore