The demand for collaborative, easy to use robots has increased during the last decades in hope of incorporating the use of robotics in smaller production scales, with easier and faster programming. Artificial intelligence (AI) and Machine learning (ML) are showing promising potential in robotics and this project has attempted to automatically solve a specific assembly task with Behavior trees (BTs). BTs can be used to elegantly divide a problem into different subtasks, while being modular and easy to modify. The main focus is put towards developing a Genetic algorithm (GA), that uses the fundamentals of biological evolution to produce BTs that solves the problem at hand. As a comparison to the GA result, a so-called Automated planner was developed to solve the problem and produce a benchmark BT. With a realistic physics simulation, this project automatically generated BTs that builds a tower of Duplo-like bricks and achieved successful results. The results produced by the GA showed a variety of possible solutions, a portion resembling the automated planner's results but also alternative, perhaps more elegant, solutions. As a conclusion, the approach used in this project shows promising signs and has many possible improvements for future research.

This thesis report presents a study on the virtualization of an Electric Cabin Scooter used to validate the feasibility of converting it into an autonomous vehicle. The project aimed to design, develop, and test a virtual model of the car that can navigate from points A to B while avoiding obstacles. The report describes the methodology used in the project, which includes setting up the workspace, construction of the virtual model, implementation of ROS2 controllers, and integration of SLAM and Navigation2. The thesis report also describes and discusses related work, as well as the theoretical background of the project. Results show a successfully developed working virtual vehicle model, which provides a solid starting point for future work. / Detta examensarbete presenterar en studie om virtualiseringen av en elektrisk kabinscooter. Den virtuella modellen används för att validera genomförbarheten av att omvandla den till ett autonomt fordon. Projektet syftade till att designa, utveckla och testa en virtuell modell av bilen som kan navigera från punkt A till B medan den undviker hinder. Rapporten beskriver metodiken som används i projektet, vilket inkluderar att sätta upp arbetsytan, konstruktion av den virtuella modellen, implementering av ROS2-kontroller och integration av SLAM och Navigation2. Rapporten diskuterar även relaterat arbete, samt teoretisk bakgrund till arbetet. Resultaten visar en framgångsrikt utvecklad fungerande virtuell fordonsmodell, som ger en solid utgångspunkt för framtida arbete.

ROS2 is an increasingly popular middleware framework for developing robotic applications. A ROS2 applicationbasically is composed of nodes that run concurrently and can be deployed distributedly. ROS2 nodes communicatewith each other through asynchronous interfaces; they reside in memory and wait to respond events that circulatearound the system during the interactions between the robot(s) and the environment. Rebeca is an actor-basedlanguage for modelling asynchronous, concurrent applications. Timed Rebeca added timing features to Rebeca todeal with timing requirements of real-time systems. The similarities in the concurrency and message-basedasynchronous interactions ofreactive nodes justify the relevance of using Timed Rebeca to assist the developmentand verification of ROS2 applications. Model-based development and model checking allow quicker prototypingand earlier detection ofsystem errors without the requirement of developing the entire real system. However, thereare challenges in bridging the gaps between continuous behaviours in a real robotic system and discrete behavioursin a model, between complex computations in a robotic system and the inequivalent programming facilities in amodelling language. There have been previous attempts in mapping Rebeca to ROS, however they could not beput into practice due to over-simplifications or improper modelling approaches. This thesis addresses the problemfrom a more systematic perspective and has been successful in modelling a realistic multiple autonomous mobilerobots system, creating corresponding ROS2 demonstration code, showing the synchronization between the modeland the program to prove the values of the model in driving development and automatic verification of correctnessproperties (freedom ofdeadlocks, collisions, and congestions). Stability of model checking results confirms designproblems that are not always detected by simulation. The modelling principles, modelling and implementingtechniques that are invented and summarized in this work can be reused for many other cases.

Multi-agent robot systems, especially for mobile robots in dynamic environments interacting with humans, have seen an increased interest over the past years. Many vehicle manufactures (e.g.Volvo GTO) have been following the trend and has started investigating a possible implementation of an autonomous-transport robot system for material delivery in production environments.First implementations of a system have been built using ROS2 and initialising static amounts of participating robots.Throughout this thesis, scalability is emphasised to enhance and add new use cases to the system.This thesis investigates possible improvements for the system by adding a dynamic connection handling, which allows robots to connect and disconnect under the system's run time.Furthermore, the performance of the connection handling in the system is evaluated in simulation for increasing system complexity in terms of the amount of connected robots.The first part of the thesis presents an approach for the dynamic connection and disconnection of robots to the network using service client communication approaches.An implementation is tested in a simulation based on an excerpt from the legacy system.Furthermore, two methods are proposed for detecting possible communication losses. The thesis work simulates the increase of the number of robots in the system at different publishing rates. It compares a many to one communication approach, where multiple robots communicate to a central node over one topic, to the one to one communication approach, where multiple robots communicate over particular topics to a central node.The simulations have shown that with an increase of nodes, the average data age and the data miss ratio in the one to one approach were significantly lower than in the multi to one approach.