Convergence Analysis of Distributed Set-Valued Information Systems

This paper focuses on the convergence of information in distributed systems of agents communicating over a network. The information on which the convergence is sought is not rep- resented by real numbers, as often in the literature, rather by sets. The dynamics of the evolution of information across the net- work is accordingly described by set-valued iterative maps. While the study of convergence of set-valued iterative maps is highly complex in general, this paper focuses on Boolean maps, which are comprised of arbitrary combinations of unions, intersections, and complements of sets. For these important class of systems, we provide tools to study both global and local convergence. A distributed geographic information system, leading to successful information reconstruction from partial and corrupted data, is used to illustrate the applications of the proposed methods

Block-Based Models and Theorem Proving in Model-Based Development

This paper presents a methodology to integrate computer-assisted theorem proving into a standard workflow for model-based development that uses a block-based language as a modeling and simulation tool. The theorem prover provides confidence in the results of the analysis as it guides the developers towards a correct formalization of the system under developmen

Wind gust estimation for precise quasi - hovering control of quadrotor aircraft

This paper focuses on the control of quadrotor vehicles without wind sensors that are required to accurately track low-speed trajectories in the presence of moderate yet unknown wind gusts. By modeling the wind disturbance as exogenous inputs, and assuming that compensation of its effects can be achieved through quasistatic vehicle motions, this paper proposes an innovative estimation and control scheme comprising a linear dynamic filter for the estimation of such unknown inputs and requiring only position and attitude information. The filter is built upon results from Unknown Input Observer theory and allows estimation of wind and vehicle state without measurement of the wind itself. A simple feedback control law can be used to compensate for the offset position error induced by the disturbance. The proposed filter is independent of the recovery control scheme used to nullify the tracking error, as long as the corresponding applied rotor speeds are available. The solution is first checked in simulation environment by using the Robot Operating System middleware and the Gazebo simulator and then experimentally validated with a quadcopter system flying with real wind sources

Erle-copter Simulation using ROS and Gazebo

The recent decrease in the price as well as size of semi-conductor logic and due to significant advancements in technologies such as microcontrollers, motors and sensors, the application of quadcopters in several fields has been achieved. However, testing of quadcopter prototypes still has a risk of damage due to faults and unexpected behavior. Hence, a method of testing of quadcopters in simulation mimicking the actual conditions of the real environment in an actual hardware test has been proposed. For this purpose, Gazebo simulator integrated with ROS has been chosen for the simulation of the path of the quadcopter. Moreover, the software Matlab/Simulink has been interfaced with Gazebo in order for the simulation of the quadcopter to be achieved

Towards an open database of assessment material for STEM subjects: requirements and recommendations from early field trials

If appropriately implemented, open databases of instruction material may help teaching and learning by providing content for teaching activities, scaffolding, and self-assessment. The paper presents the current results of the development and implementation of a database that is expressly built for promoting exchange of questions and exercises, together with the associated solutions among teachers for STEM subjects. Besides presenting and motivating the initiative (together with reporting its current status), the manuscript lists a series of lessons that have been learned while executing the project – including the need for proper management of authorship and version control of the uploaded material. Moreover, the manuscript describes which features any open database of instruction material should implement to aid improved usability, together with a series of nontrivial theoretical and practical problems for future scientific investigations (e.g., developing taxonomies for indexing the difficulty levels of the instruction material uploaded in the database that do not suffer from the subjective interpretability associated with the existing taxonomies)