Inverse Static Analysis of Massive Parallel Arrays of Three-State Actuators via Artificial Intelligence

Massive parallel robots (MPRs) driven by discrete actuators are force regulated robots that undergo continuous motions despite being commanded through a finite number of states only. Designing a real-time control of such systems requires fast and efficient methods for solving their inverse static analysis (ISA), which is a challenging problem and the subject of this thesis. In particular, five Artificial intelligence methods are proposed to investigate the on-line computation and the generalization error of ISA problem of a class of MPRs featuring three-state force actuators and one degree of revolute motion.

Engineering Agent-Oriented Technologies and Programming Languages for Computer Programming and Software Development

Mainstream hardware is becoming parallel, heterogeneous, and distributed on every desk, every home and in every pocket. As a consequence, in the last years software is having an epochal turn toward concurrency, distribution, interaction which is pushed by the evolution of hardware architectures and the growing of network availability. This calls for introducing further abstraction layers on top of those provided by classical mainstream programming paradigms, to tackle more effectively the new complexities that developers have to face in everyday programming. A convergence it is recognizable in the mainstream toward the adoption of the actor paradigm as a mean to unite object-oriented programming and concurrency. Nevertheless, we argue that the actor paradigm can only be considered a good starting point to provide a more comprehensive response to such a fundamental and radical change in software development. Accordingly, the main objective of this thesis is to propose Agent-Oriented Programming (AOP) as a high-level general purpose programming paradigm, natural evolution of actors and objects, introducing a further level of human-inspired concepts for programming software systems, meant to simplify the design and programming of concurrent, distributed, reactive/interactive programs. To this end, in the dissertation first we construct the required background by studying the state-of-the-art of both actor-oriented and agent-oriented programming, and then we focus on the engineering of integrated programming technologies for developing agent-based systems in their classical application domains: artificial intelligence and distributed artificial intelligence. Then, we shift the perspective moving from the development of intelligent software systems, toward general purpose software development. Using the expertise maturated during the phase of background construction, we introduce a general-purpose programming language named simpAL, which founds its roots on general principles and practices of software development, and at the same time provides an agent-oriented level of abstraction for the engineering of general purpose software systems.

Self-organising coordination systems

Many research fields are pushing the engineering of large-scale, mobile, and open systems towards the adoption of techniques inspired by self-organisation: pervasive computing, but also distributed artificial intelligence, multi-agent systems, social networks, peer-topeer and grid architectures exploit adaptive techniques to make global system properties emerge in spite of the unpredictability of interactions and behaviour. Such a trend is visible also in coordination models and languages, whenever a coordination infrastructure needs to cope with managing interactions in highly dynamic and unpredictable environments. As a consequence, self-organisation can be regarded as a feasible metaphor to define a radically new conceptual coordination framework. The resulting framework defines a novel coordination paradigm, called self-organising coordination, based on the idea of spreading coordination media over the network, and charge them with services to manage interactions based on local criteria, resulting in the emergence of desired and fruitful global coordination properties of the system. Features like topology, locality, time-reactiveness, and stochastic behaviour play a key role in both the definition of such a conceptual framework and the consequent development of self-organising coordination services. According to this framework, the thesis presents several self-organising coordination techniques developed during the PhD course, mainly concerning data distribution in tuplespace-based coordination systems. Some of these techniques have been also implemented in ReSpecT, a coordination language for tuple spaces, based on logic tuples and reactions to events occurring in a tuple space. In addition, the key role played by simulation and formal verification has been investigated, leading to analysing how automatic verification techniques like probabilistic model checking can be exploited in order to formally prove the emergence of desired behaviours when dealing with coordination approaches based on self-organisation. To this end, a concrete case study is presented and discussed.

Effects of artificial defences and flooding on coastal habitats and assemblages

Since large stretches of European coasts are already retreating and projected scenarios are worsening, many artificial structures, such as breakwaters and seawalls, are built as tool against coastal erosion. However artificial structures produce widespread changes that alter the coastal zones and affect the biological communities. My doctoral thesis analyses the consequences of different options for coastal protection, namely hard engineering ‘artificial defences’ (i.e. impact of human-made structures) and ‘no-defence’ (i.e. impact of seawater inundation). I investigated two new aspects of the potential impact of coastal defences. The first was the effect of artificial hard substrates on the fish communities structure. In particular I was interested to test if the differences among breakwaters and natural rocky reef would change depending on the nature of the surrounding habitat of the artificial structure (prevalent sandy rather than rocky). The second was the effect on the native natural sandy habitats of the organic detritus derived from hard-bottom species (green algae and mussels) detached from breakwaters. Furthermore, I investigated the ecological implication of the “no-defend” option, which allow the inundation of coastal habitats. The focus of this study was the potential effect of seawater intrusion on the degradation process of marine, salt-marsh and terrestrial detritus, including changes on the breakdown rates and the associated macrofauna. The PhD research was conducted in three areas along European coasts: North Adriatic sea, Sicilian coast and South-West England where different habitats (coastal, estuarine), biological communities (soft-bottom macro-benthos; rocky-coastal fishes; estuarine macro-invertebrates) and processes (organic enrichment; assemblage structure; leaf-litter breakdown) were analyzed. The research was carried out through manipulative and descriptive field-experiments in which specific hypothesis were tested by univariate and multivariate analyses.