Automated Algorithmic Machine-to-Machine Negotiation for Lane Changes Performed by Driverless Vehicles at the Edge of the Internet of Things

This dissertation creates and examines algorithmic models for automated machine-to-machine negotiation in localized multi-agent systems at the edge of the Internet of Things. It provides an implementation of two such models for unsupervised resource allocation for the application domain of autonomous vehicle traffic as it pertains to lane changing and speed setting selection. The first part concerns negotiation via abstract argumentation. A general model for the arbitration of conflict based on abstract argumentation is outlined and then applied to a scenario where autonomous vehicles on a multi-lane highway use expert systems in consultation with private objectives to form arguments and use them to compete for lane positions. The conflict resolution component of the resulting argumentation framework is augmented with social voting to achieve a community supported conflict-free outcome. The presented model heralds a step toward independent negotiation through automated argumentation in distributed multi-agent systems. Many other cyber-physical environments embody stages for opposing positions that may benefit from this type of tool for collaboration. The second part deals with game-theoretic negotiation through mechanism design. It outlines a mechanism providing resource allocation for a fee and applies it to autonomous vehicle traffic. Vehicular agents apply for speed and lane assignments with sealed bids containing their private feasible action valuations determined within the context of their governing objective. A truth-inducing mechanism implementing an incentive-compatible strategyproof social choice functions achieves a socially optimal outcome. The model can be adapted to many application fields through the definition of a domain-appropriate operation to be used by the allocation function of the mechanism. Both presented prototypes conduct operations at the edge of the Internet of Things. They can be applied to agent networks in just about any domain where the sharing of resources is required. The social voting argumentation approach is a minimal but powerful tool facilitating the democratic process when a community makes decisions on the sharing or rationing of common-pool assets. The mechanism design model can create social welfare maximizing allocations for multiple or multidimensional resources

Requirements traceability in model-driven development: Applying model and transformation conformance

The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper proposes a methodological framework that simplifies management of this relationship, which helps in assessing the quality of models, realizations and transformation specifications. Our framework is a basis for understanding requirements traceability in model-driven development, as well as for the design of tools that support requirements traceability in model-driven development processes. We propose a notion of conformance between application models which reduces the effort needed for assessment activities. We discuss how this notion of conformance can be integrated with model transformations