Aspetti processuali del Regolamento n. 1/2003/Ce

The recent reform in European antitrust enforcement is embodied in Regolation n. 1/2003/ Ce and related Communications. Since 2004 when it came into force, some crytical assessments can already be made. The work starts from some technical analysis of the reform, under a procedural perspective, to assess the proceedings’ real impact on parties’ rights and to criticize its limits. Decentralisation has brought about more complicacies, since community procedural systems are not harmonized, neither in their administrative rules, nor in their civil proceedings, which are all involved in the European antitrust network. Therefore, antitrust proceedings end un as being more jurisdictional in their effects than in their guarentees, which is a flaw to be mended by legislators. National laws shoud be harmonized, community law should be clarified and the system should turn more honestly towards a rationalized jurisdiction-cented mechanism. Otherwise, parties defense rights and the overall efficiency are put into doubt. Italy is a good exemple of how many colmlicacies can outburst from national procedures and national decentralised application. An uncertain pattern of judicial control, together with unclear relationships among the institutions to cooperate in the antitrust network can produce more problems than they aim to solve. As to the private enforcement, Regulation n.1 does not even attempt to give precise regulation to this underdeveloped sector. A continual comparison with U.S. system has brought the Commission to become aware both of the risks and of the advanteges of an increased civil antitrust litigation in fronto of national judges. In order to substain a larger development of this parallel and, presently, difficult way of judicial compensation, it is presently ongoing a consultation among states to find suitable incentives to make private enforcement more appealing and effective. The solution to this lack of private litigation is not to be sought in Regulation n. 1 which calls into action national legislators and proceedures to implement further improvements. As a conclusion, Regulation n. 1 is the outpost of an ambitious community design to create an efficient control mechanism over antitrust violations. It focuses on Commission proceedings, powers and sanctions in order to establish deterrence, then it highlights civil litigation perspectives and it involves directly states into antitrust application. It seems that more could be done to technically shape administrative proceedings in a more jurisdictionally oriented form, then to clarify respective roles and coordination mecanisms in order to prevent difficulties easy to forsee. Some of jurisprudential suggestions have been accepted, but much more is left to be done in the future to improve european antitrust enforcement system.

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.

Semantic coordination through programmable Tuple spaces

Two of the main features of today complex software systems like pervasive computing systems and Internet-based applications are distribution and openness. Distribution revolves around three orthogonal dimensions: (i) distribution of control|systems are characterised by several independent computational entities and devices, each representing an autonomous and proactive locus of control; (ii) spatial distribution|entities and devices are physically distributed and connected in a global (such as the Internet) or local network; and (iii) temporal distribution|interacting system components come and go over time, and are not required to be available for interaction at the same time. Openness deals with the heterogeneity and dynamism of system components: complex computational systems are open to the integration of diverse components, heterogeneous in terms of architecture and technology, and are dynamic since they allow components to be updated, added, or removed while the system is running. The engineering of open and distributed computational systems mandates for the adoption of a software infrastructure whose underlying model and technology could provide the required level of uncoupling among system components. This is the main motivation behind current research trends in the area of coordination middleware to exploit tuple-based coordination models in the engineering of complex software systems, since they intrinsically provide coordinated components with communication uncoupling and further details in the references therein. An additional daunting challenge for tuple-based models comes from knowledge-intensive application scenarios, namely, scenarios where most of the activities are based on knowledge in some form|and where knowledge becomes the prominent means by which systems get coordinated. Handling knowledge in tuple-based systems induces problems in terms of syntax - e.g., two tuples containing the same data may not match due to differences in the tuple structure - and (mostly) of semantics|e.g., two tuples representing the same information may not match based on a dierent syntax adopted. Till now, the problem has been faced by exploiting tuple-based coordination within a middleware for knowledge intensive environments: e.g., experiments with tuple-based coordination within a Semantic Web middleware (surveys analogous approaches). However, they appear to be designed to tackle the design of coordination for specic application contexts like Semantic Web and Semantic Web Services, and they result in a rather involved extension of the tuple space model. The main goal of this thesis was to conceive a more general approach to semantic coordination. In particular, it was developed the model and technology of semantic tuple centres. It is adopted the tuple centre model as main coordination abstraction to manage system interactions. A tuple centre can be seen as a programmable tuple space, i.e. an extension of a Linda tuple space, where the behaviour of the tuple space can be programmed so as to react to interaction events. By encapsulating coordination laws within coordination media, tuple centres promote coordination uncoupling among coordinated components. Then, the tuple centre model was semantically enriched: a main design choice in this work was to try not to completely redesign the existing syntactic tuple space model, but rather provide a smooth extension that { although supporting semantic reasoning { keep the simplicity of tuple and tuple matching as easier as possible. By encapsulating the semantic representation of the domain of discourse within coordination media, semantic tuple centres promote semantic uncoupling among coordinated components. The main contributions of the thesis are: (i) the design of the semantic tuple centre model; (ii) the implementation and evaluation of the model based on an existent coordination infrastructure; (iii) a view of the application scenarios in which semantic tuple centres seem to be suitable as coordination media.

Coordination and Control of Autonomous Mobile Robots Swarms by using Particle Swarm Optimization Algorithm and Consensus Theory

This thesis presents some different techniques designed to drive a swarm of robots in an a-priori unknown environment in order to move the group from a starting area to a final one avoiding obstacles. The presented techniques are based on two different theories used alone or in combination: Swarm Intelligence (SI) and Graph Theory. Both theories are based on the study of interactions between different entities (also called agents or units) in Multi- Agent Systems (MAS). The first one belongs to the Artificial Intelligence context and the second one to the Distributed Systems context. These theories, each one from its own point of view, exploit the emergent behaviour that comes from the interactive work of the entities, in order to achieve a common goal. The features of flexibility and adaptability of the swarm have been exploited with the aim to overcome and to minimize difficulties and problems that can affect one or more units of the group, having minimal impact to the whole group and to the common main target. Another aim of this work is to show the importance of the information shared between the units of the group, such as the communication topology, because it helps to maintain the environmental information, detected by each single agent, updated among the swarm. Swarm Intelligence has been applied to the presented technique, through the Particle Swarm Optimization algorithm (PSO), taking advantage of its features as a navigation system. The Graph Theory has been applied by exploiting Consensus and the application of the agreement protocol with the aim to maintain the units in a desired and controlled formation. This approach has been followed in order to conserve the power of PSO and to control part of its random behaviour with a distributed control algorithm like Consensus.

Access to climate justice: the main procedural hurdles, and possible solutions, within the italian legal framework and the IBA Model Statute

The thesis deals with standing and justiciability in climate litigation against governments and the private sector. The first part addresses the impacts of climate change on human rights, the major developments in international climate law, and the historical reasons for climate litigation. The second part analyses several cases, divided into categories. It then draws to a comparative conclusion with regard to each category. The third part deals with the Italian legal tradition on standing and justiciability – starting from the historical roots of such rules. The fourth part introduces the ‘Model Statute’ drafted by the International Bar Association, arguing that the 'ratio legis' of this proposal could be implemented in Italy or the EU. The thesis develops arguments, based on the existing legal framework, to help plaintiffs establish standing and justiciability in proceedings pending before Italian courts. It further proposes the idea that 'citizen suits' are consistent with the Italian and EU legal tradition and that the EU could rely on citizen suits to privately enforce its climate law and policies under the ‘European Green Deal.’

Enhancing the reliability of electric transportation motors through insulation coordination and improved qualification

The ambitious goals of increasing the efficiency, performance and power densities of transportation drives cannot be met with compromises in the motor reliability. For the insulation specialists the challenge will be critical as the use of wide-bandgap converters (WBG, based on SiC and GaN switches) and the higher operating voltages expected for the next generation drives will enhance the electrical stresses to unprecedented levels. It is expected for the DC bus in aircrafts to reach 800 V (split +/-400 V) and beyond, driven by the urban air mobility sector and the need for electrification of electro-mechanical/electro-hydraulic actuators (an essential part of the "More Electric Aircraft" concept). Simultaneously the DC bus in electric vehicles (EV) traction motors is anticipated to increase up to 1200 V very soon. The electrical insulation system is one of the most delicate part of the machine in terms of failure probability. In particular, the appearance of partial discharges (PD) is disruptive on the reliability of the drive, especially under fast repetitive transients. Extensive experimental activity has been performed to extend the body of knowledge on PD inception, endurance under PD activity, and explore and identify new phenomena undermining the reliability. The focus has been concentrated on the impact of the WGB-converter produced waveforms and the environmental conditions typical of the aeronautical sector on insulation models. Particular effort was put in the analysis at the reduced pressures typical of aircraft cruise altitude operation. The results obtained, after a critical discussion, have been used to suggest a coordination between the insulation PD inception voltage with the converter stresses and to propose an improved qualification procedure based on the existing IEC 60034-18-41 standard.