Abstract
This paper focuses on the modeling, control, and simulation of an over-actuated hexacopter tilt-rotor (HTR). This configuration implies that two of the six actuators are independently tilted using servomotors, which provide high maneuverability and reliability. This approach is predicted to maintain zero pitch throughout the trajectory and is expected to improve the aircraft's steering accuracy. This arrangement is particularly beneficial for precision agriculture (PA) applications where accurate monitoring and management of crops are critical. The enhanced maneuverability allows for precise navigation in complex vineyard environments, enabling the unmanned aerial vehicle (UAV) to perform tasks such as aerial imaging and crop health monitoring. The employed control architecture consists of cascaded proportional (P)-proportional, integral and derivative (PID) controllers using the successive loop closure (SLC) method on the five controlled degrees of freedom (DoFs). Simulated results using Gazebo demonstrate that the HTR achieves stability and maneuverability throughout the flight path, significantly improving precision agriculture practices. Furthermore, a comparison of the HTR with a traditional hexacopter validates the proposed approach.

Abstract
Continuous Integration and Continuous Deployment are known methodologies for software development that increase the overall quality of the development process. Several robotic software repositories make use of CI/CD tools as an aid to development. However, very few CI pipelines take advantage of using cloud computing to run simulations. Here, a CI pipeline is proposed that takes advantage of such features, applied to the development of ATOM, a ROS-based application capable of carrying out the calibration of generalized robotic systems. The proposed pipeline uses GitHub Actions as a CI/CD engine, AWS RoboMaker as a service for running simulations on the cloud and Rigel as a tool to both containerize ATOM and execute the tests. In addition, a static analysis and unit testing component is implemented with the use of Codacy. The creation of the pipeline was successful, and it was concluded that it constitutes a valuable tool for the development of ATOM and a blueprint for the creation of similar pipelines for other robotic systems.

Abstract

Abstract
We present Caos: a programming framework for computer-aided design of structural operational semantics for formal models. This framework includes a set of Scala libraries and a workflow to produce visual and interactive diagrams that animate and provide insights over the structure and the semantics of a given abstract model with operational rules. Caos follows an approach where theoretical foundations and a practical tool are built together, as an alternative to foundations-first design (tool justifies theory) or tool-first design (foundations justify practice). The advantage of Caos is that the tool-under-development can immediately be used to automatically run numerous and sizeable examples in order to identify subtle mistakes, unexpected outcomes, and unforeseen limitations in the foundations-under-development, as early as possible. More concretely, Caos supports the quick creation of interactive websites that help the end-users better understand a new language, structure, or analysis. End-users can be research colleagues trying to understand a companion paper or students learning about a new simple language or operational semantics. We include a list of open-source projects with a web frontend supported by Caos that are used both in research and teaching contexts.

Abstract
Code comprehension is often supported by source code analysis tools that provide more abstract views over software systems, such as those detecting design patterns. These tools encompass analysis of source code and ensuing extraction of relevant information. However, the analysis of the source code is often specific to the target programming language. We propose DP-LARA, a multilanguage pattern detection tool that uses the multilanguage capability of the LARA framework to support finding pattern instances in a code base. LARA provides a virtual AST, which is common to multiple OOP programming languages, and DP-LARA then performs code analysis of detecting pattern instances on this abstract representation. We evaluate the detection performance and consistency of DP-LARA with a few software projects. Results show that a multilanguage approach does not compromise detection performance, and DP-LARA is consistent across the languages we tested it for (i.e., Java and C/C++). Moreover, by providing a virtual AST as the abstract representation, we believe to have decreased the effort of extending the tool to new programming languages and maintaining existing ones.

Abstract
Predicting and controlling crowd dynamics in emergencies is one of the main objectives of simulated emergency exercises. However, during emergency exercises, there is often a lack of sense of danger by the actors involved and concerns about exposing real people to potentially dangerous environments. These problems impose limitations in running an emergency drill, harming the collection of valuable information for posterior analysis and decision-making. This work aims to mitigate these problems by using Agent Based Modelling (ABM) simulator to deepen the comprehension of human actions when exposed to a sudden variation in extensive crowded environmental conditions and how evacuation strategies affect evacuation performance. To assess the impact of the evacuation strategy employed, we propose a modified informed leader-flowing approach and compare it with common evacuation strategies in a simulated environment, replicating stadium benches with narrow corridors leading to different exit points. The objective is to determine the impact of each set of configurations and evacuation strategies and compare them against other established ones. Our experiments determined that agents following the crowd generally lead to a higher number of victims due to the rise of herding phenomena near the exits, which was significantly reduced when agents were guided towards the exit via knowing the exit beforehand or following leader agent with real-time information regarding exit location and exit current state, proving that relevant and controlled information in combination with Follow Leader strategies can be crucial in an emergency evacuation scenario with limited evacuation exit capabi and distribution. © The Author(s) 2024.