Publications Lists     [ all BibTeX ]  

This paper aims to delineate a comprehensive method that integrates machine vision and deep learning for quality control within an industrial setting. The innovative approach proposed in this solution leverages a microservice architecture that ensures adaptability and flexibility to different scenarios while focusing on the employment of affordable, compact hardware, and achieves exceptionally high accuracy in performing the quality control task keeping a minimal computational time. Consequently, the developed system operates entirely on a portable smart camera, eliminating the need for additional sensors like photocells and external computation, which simplifies setup and commissioning phases and reduces the overall impact on the production line. By leveraging the integration of the embedded system with the machinery, this approach offers real-time monitoring and analysis capabilities, facilitating swift detection of defects and deviations from desired standards. Moreover, the low-cost nature of the solution makes it accessible to a wider range of manufacturing enterprises, democratizing quality processes in Industry 5.0. The system has been successfully implemented and is fully operational in a real industrial environment and the experimental results obtained from this implementation are also presented in the work.

The work considers the design of an indirect adaptive controller for a satellite equipped with a robotic arm manipulating an object. Uncertainty on the manipulated object can considerably impact the overall behavior of the system. In addition, the dynamics of the actuators of the base satellite are non-linear and can be affected by malfunctioning. Neglecting these two phenomena may lead to excessive control effort or degrade performance. An indirect adaptive control approach is pursued, which allows consideration of relevant features of the actuators dynamics, such as loss of effectiveness. Furthermore, an adaptive law that preserves the physical consistency of the inertial parameters of the various rigid bodies comprising the system is employed. The performance and robustness of the controller are first analyzed and then validated in simulation.

Active Position Estimation (APE) is the task of localizing one or more targets using one or more sensing platforms. APE is a key task for search and rescue missions, wildlife monitoring, source term estimation, and collaborative mobile robotics. Success in APE depends on the level of cooperation of the sensing platforms, their number, their degrees of freedom and the quality of the information gathered. APE control laws enable active sensing by satisfying either pure-exploitative or pure-explorative criteria. The former minimizes the uncertainty on position estimation; whereas the latter drives the platform closer to its task completion. In this paper, we define the main elements of APE to systematically classify and critically discuss the state of the art in this domain. We also propose a reference framework as a formalism to classify APE-related solutions. Overall, this survey explores the principal challenges and envisages the main research directions in the field of autonomous perception systems for localization tasks. It is also beneficial to promote the development of robust active sensing methods for search and tracking applications.

Characterized by a cross-disciplinary nature, the bearing-based target localization task involves estimating the position of an entity of interest by a group of agents capable of collecting noisy bearing measurements. In this work, this problem is tackled by resting both on the weighted least square estimation approach and on the active-sensing control paradigm. Indeed, we propose an iterative algorithm that provides an estimate of the target position under the assumption of Gaussian noise distribution, which can be considered valid when more specific information is missing. Then, we present a seeker agents control law that aims at minimizing the localization uncertainty by optimizing the covariance matrix associated with the estimated target position. The validity of the designed bearing-based target localization solution is confirmed by the results of an extensive Monte Carlo simulation campaign.

This paper addresses the optimal time-invariant formation tracking problem with the aim of providing a distributed solution for multi-agent systems with second-order integrator dynamics. In the literature, most of the results related to multi-agent formation tracking do not consider energy issues while investigating distributed feedback control laws. In order to account for this crucial design aspect, we contribute by formalizing and proposing a solution to an optimization problem that encapsulates trajectory tracking, distance-based formation control, and input energy minimization, through a specific and key choice of potential functions in the optimization cost. To this end, we show how to compute the inverse dynamics in a centralized fashion by means of the Projector-Operator-based Newton's method for Trajectory Optimization (PRONTO) and, more importantly, we exploit such an offline solution as a general reference to devise a stabilizing online distributed control law. Finally, numerical examples involving a cubic formation following a straight path in the 3D space are provided to validate the proposed control strategies.

The agility and versatility offered by UAV platforms still encounter obstacles for full exploitation in industrial applications due to their indoor usage limitations. A significant challenge in this sense is finding a reliable and cost-effective way to localize aerial vehicles in a GNSS-denied environment. In this paper, we focus on the visual-based positioning paradigm: high accuracy in UAVs position and orientation estimation is achieved by leveraging the potentials offered by a dense and size-heterogenous map of tags. In detail, we propose an efficient visual odometry procedure focusing on hierarchical tags selection, outliers removal, and multi-tag estimation fusion, to facilitate the visual-inertial reconciliation. Experimental results show the validity of the proposed localization architecture as compared to the state of the art.

Tilted hexarotors embody a technology that remains partially unexploited in terms of its potential, especially concerning precise and concurrent position and attitude control. Focusing on these aerial platforms, we propose two control architectures that can tackle the trajectory tracking task, ensuring also the attitude regulation: one is designed resting on the differential flatness property of the system, which is investigated in the paper, and the other is a hierarchical nonlinear controller. We comparatively discuss the performance of the two control schemes, in terms of the accuracy of both the tracking control action and the attitude regulation, the input effort, and the robustness in the presence of disturbances. Numerical results reveal both the robustness of the hierarchical approach in the case of external disturbance and the accuracy of the differential flatness-based controller in unwindy conditions.

This paper deals with water management over open-channel networks (OCNs) subject to water height imbalance. The OCN is modeled by means of graph theory tools and a regulation scheme is designed basing on an outer reference generation loop for the whole OCN and a set of local controllers. Specifically, it is devised a fully distributed adaptive consensus-based algorithm within the discrete-time domain capable of (i) generating a suitable tracking reference that stabilizes the water increments over the underlying network at a common level; (ii) coping with general flow constraints related to each channel of the considered system. This iterative procedure is derived by solving a guidance problem that guarantees to steer the regulated network - represented as a closed-loop system - while satisfying requirements (i) and (ii), provided that a suitable design for the local feedback law controlling each channel flow is already available. The proposed solution converges exponentially fast towards the average consensus thanks to a Metropolis-Hastings design of the network parameters without violating the imposed constraints over time. In addition, numerical results are reported to support the theoretical findings, and the performance of the developed algorithm is discussed in the context of a realistic scenario. 

We address modeling and control of a gate access automation system. A model of the mechatronic system is derived and identified. Then, an approximate explicit feedback linearization scheme is proposed, which ensures almost linear response between the electronic driver duty cycle input and the delivered torque. A nonlinear optimization problem is solved offline to generate a feasible trajectory associated with a feedforward action, and a low-level feedback controller is designed to track it. The feedback gains can be conveniently tuned by solving a set of convex linear matrix inequalities, performing a multiobjective tradeoff between disturbance attenuation and transient response. The proposed control strategy is tested on an industrial device. The experiments show that it can effectively meet the requirements in terms of robustness, load disturbance rejection, and tracking performance.

Nowadays, aerial formations are frequently employed in outdoor scenarios to cooperatively explore and monitor wide areas of interest. In these applications, the vehicles are often exposed to relevant security vulnerabilities, as, for instance, the alteration of navigation signals from an attacker with map counterfeiting (if not even hijacking) purposes. In this work, we focus on an Unmanned Aerial Vehicle (UAV) formation that monitors an area, wherein navigation spoofing attacks may occur. Letting the UAVs cooperate and exploiting the redundancy in the available sensing information, a distributed procedure is proposed to i) detect spoofing attacks, and ii) support the navigation in adverse conditions. The validity of the designed approach is confirmed by numerical results. Aerial vehicles for outdoor operation are generally endowed with inertial measurements, relative ranging, and GNSS sensing capability. In this work, two cascaded estimation algorithms for concurrent GNSS spoofing detection and localization in a multi-UAV scenario is proposed, to attain robust navigation in areas subject to GNSS spoofing attacks. The attack detection leverages on information theoretic tools to provide a practical threshold test by checking the multimodal measurement consistency. The localization procedures exploit a decision logic relying on measurement reliability to combine information sources that are different in nature, for UAV self-localization in both safe and under-attack conditions.

Visual sensor networks (VSNs) constitute a fundamental class of distributed sensing systems, with unique complexity and appealing performance features, which correspondingly bring in quite active lines of research. An important research direction consists in the identification and estimation of the VSN sensing features: these are practically useful when scaling with the number of cameras or with the observed scene complexity. With this context in mind, this paper introduces for the first time the idea of Stimulation Model (SM), as a mathematical relation between the set of detectable events and the corresponding stimulated cameras observing those events. The formulation of the related SM identification problem is proposed, along with a proper network observations model, and a solution approach based on deep embedded features and soft clustering. In detail: first, the Gaussian Mixture Modeling is employed to provide a suitable description for data distribution, while an autoencoder is used to reduce undesired effects due to the so-called curse of dimensionality emerging in case of large scale networks. Then, it is shown that a SM can be learnt by solving Maximum A-Posteriori estimation on the encoded features belonging to a space with lower dimensionality. Numerical results on synthetic scenarios are reported to validate the devised estimation algorithm.

The recent trend toward the development of IoT architectures has entailed the transformation of the standard camera networks into smart multi-device systems, capable of acquiring, elaborating, exchanging data and, often, dynamically adapting to the environment. Along this line, this work proposes a novel distributed solution that guarantees the real-time monitoring of 3D indoor structured areas and also the tracking of multiple targets, by employing an heterogeneous visual sensor network composed of both fixed and Pan-Tilt-Zoom (PTZ) cameras. Specifically, the fulfilment of the twofold mentioned goal is ensured through the implementation of a suitable optimization procedure regarding the PTZ devices controllable parameters, inspired by game theory. Numerical simulations in realistic scenarios confirm the capability of the outlined strategy of securing the simultaneous tracking of several targets, maintaining the total coverage of the surveilled area. In particular, the proposed solution results to be effective in dealing with conflicting goals like achieving a good tracking precision while obtaining high resolution frames of the tracked subjects.

This work presents a novel general regularized distributed solution for the state estimation problem in networked systems. Resting on the graph-based representation of sensor networks and adopting a multivariate least-squares approach, the designed solution exploits the set of the available inter-sensor relative measurements and leverages a general regularization framework, whose parameter selection is shown to control the estimation procedure convergence performance. As confirmed by the numerical results, this new estimation scheme allows (i) the extension of other approaches investigated in the literature and (ii) the convergence optimization in correspondence to any (undirected) graph modeling the given sensor network.

This work focuses on bearing rigidity theory, namely the branch of knowledge investigating the structural properties necessary for multi-element systems to preserve the inter-unit bearings under deformations. The contributions of this work are twofold. The first one consists in the development of a general framework for the statement of the principal definitions and properties of bearing rigidity. We show that this approach encompasses results existing in the literature, and also provides a systematic approach for studying bearing rigidity on any differential manifold in SE(3)^n, where n is the number of agents.The second contribution is the derivation of a general form of the rigidity matrix, a central construct in the study of rigidity theory. We provide a necessary and sufficient condition for the infinitesimal rigidity of a bearing framework as a property of the rank of the rigidity matrix. Finally, we present two examples of multi-agent systems not encountered in the literature and we study their rigidity properties using the developed methods

The potentialities of In-Orbit Servicing (IOS) to extend the operational life of satellites and the need to implement Active Debris Removal (ADR) to effectively tackle the space debris problem are well known among the space community. Research on technical solutions to enable this class of missions is thriving, also pushed by the development of new generation sensors and control systems. Among private companies, space agencies and universities, the European Space Agency (ESA) has been developing technologies in this field for decades. Several solutions have been proposed over the years to safely capture orbital objects, the majority relying on robotic systems. A promising option is the employment of an autonomous spacecraft (chaser) equipped with a highly dexterous robotic arm able to perform the berthing with a resident space object. This operation poses complex technical challenges both during the approach phase and after contact. In this respect, the design of an effective, reliable, and robust Guidance, Navigation and Control (GNC) system, for which several algorithmic architectures and hardware configurations are possible, plays a key role to ensure safe mission execution. This work presents the outcomes of a research activity performed by a consortium of universities under contract with ESA with the goal to develop the navigation and control subsystems of a GNC system for controlling a chaser equipped with a redundant manipulator. Both the final approach until capture and the target stabilization phase after capture are considered in the study. The proposed solution aims at the implementation of a combined control strategy. Robust control methods are adopted to design control laws for the uncertain, nonlinear dynamics of the chaser and of the complete chaser–target stack after capture. Visual–based solutions, i.e., relying on active/passive electro– optical sensors, are selected for relative navigation. A complete sensor suite for relative and absolute navigation is part of the GNC system, including transducers for robot joint measurements. To properly validate the proposed solutions, a complete numerical simulator has been developed. This software tool allows to thoroughly assess the system performance, accounting for all the relevant external disturbances and error sources. A realistic synthetic image generator is also used for relative navigation performance assessment. This paper presents the design solutions and the results of preliminary numerical testing, considering three mission scenarios to prove the flexibility of the solution and its applicability to a wide range of operational cases.

This work proposes a formation control law for multi-agent systems whose components are heterogeneous in terms of actuation capabilities, but at the same time are all able to retrieve bearing information w.r.t. some neighbors in the group. The designed controller exploits the results of the bearing rigidity theory deriving from the modeling of heterogeneous formations as generalized frameworks. The outlined solution is compared with a leader-follower combination of existing rigidity based homogeneous formation controllers in order to highlight the easy tuning, the flexibility w.r.t. the formation composition, and the increased efficiency of the new proposed control approach. A sufficient condition ensuring the convergence of the designed controller is also given.

Visual inspection has recently gained increasing importance in the manufacturing industry and is often addressed by means of learning methodologies applied to data obtained from specific lighting and camera system setups. The industrial scenario becomes particularly challenging when the inspection regards reflective objects, which may affect both the data acquisition and the classification decision process, thus limiting the overall performance. In this context, we observe that the dynamics of the reflected light is the key aspect to characterize these surfaces and needs to be accurately exploited to improve the performances of the learning algorithms. To this aim, we propose a combined model-based and data-driven approach designed to detect defects on the reflective surfaces of industrial products, captured as video sequences under coaxial structured illumination. Specifically, a tunable spatial-temporal descriptor of the evolution of the reflected light (Dynamic Evolution of the Light, DEL) is designed and employed within a Hybrid Learning (HL) framework, where the learning process of a Convolutional Neural Network (CNN) is driven by the model-based descriptor. This approach is also extended by adopting the similar in nature descriptor Dynamic Image. The proposed HL solutions are validated against a whole spectrum of state-of-the-art learning procedures and different descriptors. Experiments run on a dataset coming from an actual industrial scenario confirm the ability of DEL to accurately characterize reflective surfaces and the validity of the HL method, which shows remarkably better performance in fault detection even with respect to modern 3D- CNNs with comparable computational effort.

The transportation of large payloads can be made possible with Multi-Robot Systems(MRS) implementing cooperative strategies. In this work, we focus on the coordinated MRS trajectory planning task exploiting a Model Predictive Control (MPC) framework addressing both the actingrobots and the transported load. In this context, the main challenge is the possible occurrence of a temporary mismatch among agents’ actions with consequent formation errors that can cause severe damage to the carried load. To mitigate this risk, the coordination scheme may leverage a leader–follower approach, in which a hierarchical strategy is in place to trade-off between the task accomplishment and the dynamics and environment constraints. Nonetheless, particularly in narrow spaces or cluttered environments, the leader’s optimal choice may lead to trajectories that are infeasible for the follower and the load. To this aim, we propose a feasibility-aware leader–follower strategy, where the leader computes a reference trajectory, and the follower accounts for its own and the load constraints; moreover, the follower is able to communicate the trajectory infeasibility to the leader, which reacts by temporarily switching to a conservative policy. The consistent MRS co-design is allowed by the MPC formulation, for both the leader and the follower: here, the prediction capability of MPC is key to guarantee a correct and efficient execution of the leader–follower coordinated action. The approach is formally stated and discussed, and a numerical campaign is conducted to validate and assess the proposed scheme, with respect to different scenarios with growing complexity.

The functional architecture of the resting brain, as measured with the blood oxygenation level-dependent functional connectivity (BOLD-FC), is slightly modified during task performance. In previous work, we reported behaviorally relevant BOLD-FC modulations between visual and dorsal attention regions when subjects performed a visuospatial attention task as compared to central fixation (Spadone et al., 2015).

Here we use magnetoencephalography (MEG) in the same group of subjects to identify the electrophysiological correlates of the BOLD-FC modulation found in our previous work. While BOLD-FC topography, separately at rest and during visual attention, corresponded to neuromagnetic Band-Limited Power (BLP) correlation in the alpha and beta bands (8-30 Hz), BOLD-FC modulations evoked by performing the visual attention task (Spadone et al. 2015) did not match any specific oscillatory band BLP modulation. Conversely, following the application of an orthogonal spatial decomposition that identifies common inter-subject co-variations, we found that attention–rest BOLD-FC modulations were recapitulated by multi-spectral BLP-FC components. Notably, individual variability of alpha connectivity between Frontal Eye Fields and visual occipital regions, jointly with decreased interaction in the Visual network, correlated with visual discrimination accuracy. In summary, task-rest BOLD connectivity modulations match multi-spectral MEG BLP connectivity.

Research on connected vehicles represents a continuously evolving technological domain, fostered by the emerging Internet of Things (IoT) paradigm and the recent advances in intelligent transportation systems. Nowadays, vehicles are platforms capable of generating, receiving and automatically act based on large amount of data. In the context of assisted driving, connected vehicle technology provides real-time information about the surrounding traffic conditions. Such information is expected to improve drivers' quality of life, for example, by adopting decision making strategies according to the current parking availability status. In this context, we propose an online and adaptive scheme for parking availability mapping. Specifically, we adopt an information-seeking active sensing approach to select the incoming data, thus preserving the onboard storage and processing resources; then, we estimate the parking availability through Gaussian Process Regression. We compare the proposed algorithm with several baselines, which attain inferior performance in terms of mapping convergence speed and adaptivity capabilities; moreover, the proposed approach comes at the cost of a very small computational demand.

Active Search and Tracking for search and rescue missions or collaborative mobile robotics relies on the actuation of a sensing platform to detect and localize a target. In this paper we focus on visually detecting a radio-emitting target with an aerial robot equipped with a radio receiver and a camera. Visual-based tracking provides high accuracy, but the directionality of the sensing domain often requires long search times before detecting the target. Conversely,radio signals have larger coverage, but lower tracking accuracy. Thus, we design a Recursive Bayesian Estimation scheme that uses camera observations to refine radio measurements. To regulate the camera pose, we design an optimal controller whose cost function is built upon a probabilistic map. Theoretical results support the proposed algorithm, while numerical analyses show higher robustness and efficiency with respect to visual and radio-only baselines.

Research on wireless sensors represents a continuously evolving technological domain thanks to their high flexibility and scalability, fast and economical deployment, pervasiveness in industrial, civil and domestic contexts. However, the maintenance costs and the sensors reliability are strongly affected by the battery lifetime, which may limit their use. In this paper we consider a wireless smart camera, equipped with a low-energy radio receiver, and used to visually detect a moving radio-emitting target. To preserve the camera lifetime without sacrificing the detection capabilities, we design a probabilistic energy-aware controller to switch on/off the camera. The radio signal strength is used to predict the target detectability, via self-supervised Gaussian Process Regression combined with Recursive Bayesian Estimation. The automatic training process minimizes the human intervention, while the controller guarantees high detection accuracy and low energy consumption, as numerical and experimental results show.

Multi-modal Probabilistic Active Sensing (MMPAS) uses sensor fusion and probabilistic models to control the perception process of robotic sensing platforms. MMPAS is successfully employed in environmental exploration, collaborative mobile robotics, and target tracking, being fostered by the high performance guarantees on autonomous perception. In this context, we propose a bi-Radio-Visual PAS scheme to solve the transmitter discovery problem. Specifically, we firstly exploit the correlation between radio and visual measurements to learn a target detection model in a self-supervised manner. Then, the model is combined with antenna radiation anisotropies into a Bayesian Optimization framework that controls the platform. We show that the proposed algorithm attains an accuracy of 92%, overcoming two other probabilistic active sensing baselines.

In the world of autonomous driving high resolution maps play a fundamental role. Such maps are highly accurate representations of the environment and are essential for all the algorithms of strategy and path planning operations.

Unfortunately it is not always possible to guarantee the total reliability of these maps and therefore it is necessary to introduce a system for its validation. In this paper we introduce a framework for validating map data at run-time based on probabilistic graphical models. Results from simulations show the capabilities of the proposed approach and highlight the need to find an appropriate balance between model accuracy and complexity.

The Industrial IoT (IIoT) paradigm represents an attractive opportunity for new generation measurement applications, which are increasingly based on efficient and reliable communication systems to allow the extensive availability of continuous data from instruments and/or sensors, thus enabling real-time measurement analysis. Nevertheless, different communication systems and heterogeneous sensors and acquisition systems may be found in an IIoT-enabled measurement application, so that solutions need to be defined to tackle the issue of seamless, effective, and low-latency interoperability. A significant and appropriate solution is the Open Platform Communications (OPC) Unified Architecture (UA) protocol, thanks to its object–oriented structure that allows a complete contextualization of the information. The intrinsic complexity of OPC UA, however, imposes a meaningful performance assessment to evaluate its suitability in the aforementioned context. To this aim, this paper presents the design of a general yet accurate and reproducible measurement setup that will be exploited to assess the performance of the main open source implementations of OPC UA. The final goal of this work is to provide a characterization of the impact of this protocol stack in an IIoT-enabled Measurement System, in particular in terms of both the latency introduced in the measurement process and the power consumption.

Cooperative robotics is a trending topic nowadays as it makes possible a number of tasks that cannot be performed by individual robots, such as heavy payload transportation and agile manipulation. In this work, we address the problem of cooperative transportation by heterogeneous, manipulatorendowed robots. Specifically, we consider a generic number of robotic agents simultaneously grasping an object, which is to be transported to a prescribed set point while avoiding obstacles. The procedure is based on a decentralized leader-follower Model Predictive Control scheme, where a designated leader agent is responsible for generating a trajectory compatible with its dynamics, and the followers must compute a trajectory for their own manipulators that aims at minimizing the internal forces and torques that might be applied to the object by the different grippers. The Model Predictive Control approach appears to be well suited to solve such a problem, because it provides both a control law and a technique to generate trajectories, which can be shared among the agents. The proposed algorithm is implemented using a system comprised of a ground and an aerial robot, both in the robotic Gazebo simulator as well as in experiments with real robots, where the methodological approach is assessed and the controller design is shown to be effective for the cooperative transportation task.

In aerial robotics, path following constitutes a popular
      task requiring a vehicle to pursue a given trajectory.
      Resting upon the fulfillment of a desired time law,
      trajectory tracking techniques often turn out to be
      ineffective in presence of external disturbances, favoring
      the adoption of maneuver regulation strategies wherein the
      desired trajectory is parameterized in terms of the
      path-variable. In this scenario, this work proposes a new
      delay-compensating maneuver regulation controller for fully
      actuated aerial vehicles, whose aim is to guarantee the
      perfect tracking of a given path in the shortest time
      interval. The innovative aspect of such a solution relies
      on the introduction of a recovery term that compensates for
      possible delays in
      the task execution. In addition, the dual-quaternion
      formalism is adopted to model the dynamics of the aerial
      platforms allowing feedback linearize the whole system,
      including both position and attitude, with a single
      controller. The tests conducted in Gazebo physic simulator
      show that the proposed controller outperforms the popular
      trajectory tracking PID regulators.

This paper presents an innovative mechatronic design of a high-accuracy pointing mechanism for orbital laser communication terminals. The system is based on a dual-stage architecture and is miniaturized to fit nanosatellite-class spacecraft, aiming to enable optical communication on small-size space platforms. The focus is on control design aspects and on the performance assessment of an experimental prototype under emulated external environmental disturbances.

Solutions for the quality control of metallic surfaces are proposed. Specifically, we study a deflectometric apparatus based on coaxial structured light and the related algorithmic procedure, which is able to detect the faulty surface of a sample captured by a video sequence. First, by considering the metallic surface a dynamic scene illuminated under different light conditions, we develop the descriptor residuals of linear evolution of light (RLEL) that extracts the defectiveness information starting from the movement of the object without explicitly considering the physical characteristics of the light structure. Then, leveraging on RLEL, we present a hybrid learning (HL) technique capable of overcoming the data-driven approach used in classic deep learning (DL). By exploiting a multisteps training process, we combine the model-based descriptor RLEL and a classical data-driven convolutional neural network (CNN) to obtain an unconventional gray-box CNN, which exceeds the performance of popular DL solutions such as 3-D-inception and 3-D-residual DL networks. Remarkably, HL also shows its validity in comparing the performance of the same network structures trained not in a hybrid way, namely without the injection of the model-based information given by RLEL.

The number of applications involving unmanned aerial vehicles (UAVs) grew dramatically during the last decade. Despite such incredible success, the use of drones is still quite limited in GNSS denied environment: indeed, the availability of a reliable GNSS estimates of the drone position is still fundamental in order to enable most of the UAV applications. Given such motivations, in this paper an alternative positioning system for UAVs, based on low cost ultra-wideband band (UWB) is considered. More specifically, this work aims at assessing the positioning accuracy of UWB-based positioning thanks to the comparison with positions provided by a motion capture (MoCap) system. Since the MoCap accuracy is much higher than that of the UWB system, it can be safely used as a reference trajectory for the validation of UWB estimates. In the considered experiment the UWB system allowed to obtain a root mean square error of 39.4?cm in 3D positioning based on the use of an adaptive extended Kalman filter, where the measurement noise covariance was adaptively estimated.

We propose a non-linear model predictive scheme for planning fuel efficient maneuvers of small spacecrafts that shall rendezvous space debris. The paper addresses the specific issues of potential limited on-board computational capabilities and low-thrust actuators in the chasing spacecraft, and solves them by using a novel MatLab-based toolbox for real-time non-linear model predictive control (MPC) called MATMPC. This tool computes the MPC rendezvous maneuvering solution in a numerically efficient way, and this allows to greatly extend the prediction horizon length. This implies that the overall MPC scheme can compute solutions that account for the long time-scales that usually characterize the low-thrust rendezvous maneuvers. The so-developed controller is then tested in a realistic scenario that includes all the near-Earth environmental disturbances. We thus show, through numerical simulations, that this MPC method can successfully be used to perform a fuel-efficient rendezvous maneuver with an uncontrolled object, plus evaluate performance indexes such as mission duration, fuel consumption, and robustness against sensor and process noises.

Gesture Recognition has a prominent importance in smart environment and home automation. Thanks to the availability of Machine Learning approaches it is possible for users to define gestures that can be associated with commands for the smart environment. In this paper we propose a Random Forest-based approach for Gesture Recognition of hand movements starting from wireless wearable motion capture data. In the presented approach, we evaluate different feature extraction procedures to handle gestures and data with different duration. To enhance reproducibility of our results and to foster research in the Gesture Recognition area, we share the dataset that we have collected and exploited for the present work.

With the rise of Industry 4.0 and of the Industrial Internet, the computing and communication infrastructures achieved an essential role within process and factory automation, and cyberphysical systems in general. In this scenario, the OPC UA standard is currently becoming a widespread opportunity to enable interoperability among heterogeneous industrial systems. Nonetheless, OPC UA is characterized by a complex protocol architecture, that may impair the scalability of applications and may represent a bottleneck for its effective implementation in resource-constrained devices, such as low-cost industrial embedded systems. Several different OPC UA implementations are available, which in some significant cases are released under an open source license. In this context, the aim of this paper is to provide an assessment of the performance provided by some of these different OPC UA implementations, focusing specifically on potential development and resource bottlenecks. The analysis is carried out through an extensive experimental campaign explicitly targeting general purpose low-cost embedded systems. The final goal is to provide a comprehensive performance comparisons to allow devising some useful practical guidelines.

The use of unmanned vehicles to perform tiring, hazardous, repetitive tasks, is becoming a reality out of the academy laboratories, getting more and more interest for several application fields from the industrial, to the civil, to the military contexts. In particular, these technologies appear quite promising when they employ several low-cost resource-constrained vehicles leveraging their coordination to perform complex tasks with efficiency, flexibility, and adaptation that are superior to those of a single agent (even if more instrumented). In this work, we study one of said applications, namely the visual tracking of an evader (target) by means of a fleet of autonomous aerial vehicles, with the specific aim of focusing on the target so as to perform an accurate position estimation while concurrently allowing a wide coverage over the monitored area so as to limit the probability of losing the target itself. These clearly conflicting objectives call for an optimization approach that is here developed: by considering both aforementioned aspects and the cooperative capabilities of the fleet, the designed algorithm allows controling in real time the single fields of view so as to counteract evasion maneuvers and maximize an overall performance index. The proposed strategy is discussed and finally assessed through the realistic Gazebo-ROS simulation framework.

In an automated demand feeder system, underlining the parameters that contribute to fish hunger is crucial in order to facilitate an optimised food allocation to the fish. The present investigation is carried out to classify the hunger state of Lates calcarifer. A video surveillance technique is employed for data collection. The video was taken throughout the daytime, and the fish were fed through an automated feeding system. It was demonstrated through this investigation that the use of such automated system does contribute towards a higher specific growth rate percentage of body weight as well as the total length by approximately 26.00% and 15.00%, respectively against the conventional time-based method. Sixteen features were feature engineered from the raw dataset into window sizes ranging from 0.5?min, 1.0?min, 1.5?min and 2.0?min, respectively coupled with the mean, maximum, minimum and variance for each of the distinctive temporal window sizes. In addition, the extracted features were analysed through Principal Component Analysis (PCA) for dimensionality reduction as well as PCA with varimax rotation. The data were then classified using a Support Vector Machine (SVM), k-Nearest Neighbor (k-NN) and Random Forest Tree models. It was demonstrated that the varimax based PCA yielded the highest classification accuracy with eight identified features. The prediction results based of the developed k-NN model on the selected features on the test data exhibited a classification rate of 96.5% was achieved suggesting that the features examined are non-trivial in classifying the fish hunger behaviour.

With this work we report on the design, development and testing of near UV LED-based systems for oxygen gas sensing. The design and developed system is an optoelectronic setup based on 405 nm LEDs which excites and measures the photoluminescence emitted from a porphyrin based luminophor. By means of an accurate optical and optoelectronic setup, the system is able to operate without the need of avalanche photodiodes, thus resulting in a compact and low energy structure. The optical setup is specifically designed to maximize both the LED light exciting the luminophor and converted light acquired from the sensor.

Wireless networks are ever more deployed in industrial automation systems in various types of applications. A significant example in this context is represented by the transmission of safety data that, traditionally, was accomplished by wired systems. In this paper we propose an implementation of the Fail Safe over EtherCAT (FSoE) protocol on the top of IEEE 802.11 WLAN. The paper, after a general introduction of FSoE, focuses on the implementation of such protocol on commercial devices running UDP at the transport layer and connected via the IEEE 802.11 Wireless LAN. Then the paper presents some experimental setups and the tests that have been carried out on them. The obtained results are encouraging, since they show that good safety performance can be achieved even in the presence of wireless transmission media.

Over the past few years, a huge number of distributed camera calibration strategies have been proposed for video surveillance and monitoring systems involving mobile terminals. Many of the proposed solutions rely on consensus-based algorithms, which aim at estimating the configuration of the network via a message passing protocol. In this paper we propose an improved consensus-based distributed camera calibration strategy that exploits a robust initialization, together with a pruning protocol to remove faulty links which could propagate excessively-noisy information through the network reducing the convergence time. The proposed solution seems to improve the state-of-the-art strategies in terms of accuracy, convergence speed, and computational complexity.

Over the last decades, small satellites have become very appealing among the space community for their low complexity and high flexibility. Many proposed mission concepts foresee the employment of miniature spacecraft for a variety of applications, many of which are economically unfeasible with traditional vehicles. This is due to the fact that the development of miniaturized and standardized space vehicles may considerably reduce the design, manufacturing and lunch costs involved. Furthermore, the reduced unitary mass of small satellites allows launches of multiple vehicles equipped with independent functionalities, thus achieving increased flexibility and redundancy. In the future, one additional opportunity could be given by the capability to assemble spacecraft in orbit to form reconfigurable structures. This would further boost the number of possibilities in terms of applications and operations. Nevertheless, the novelty of such concept and the intrinsic complexity of its practical realization still require a considerable research effort. In fact, only few navigation and docking technologies for nano- and micro satellites have been designed and proved in relevant environment. In this framework, the authors focus on the development and validation of critical technologies for close navigation, rendezvous and docking suitable for nanosatellites.

This paper presents a laboratory experiment for the validation on a complete rendezvous, navigation and docking package compatible with the common CubeSat standard. The experiment is conducted on a low friction table, with one free moving vehicle (chaser) that approaches and docks to a fixed target interface. The test facility allows three degrees of freedom to the nanosat mock-up. The vehicle is equipped with an autonomous package that features (1) a camera-based vision system for relative navigation, (2) a set of independent electro-magnetic coils for final alignment and soft docking, (3) a single-actuator hard docking system for structural connection between the chaser and the target, (4) a dedicated electronics package for motion control and system status monitoring. The mobile platform is also equipped with a set of flat air bearing with a dedicated high-pressure pneumatic circuit for frictionless in-plane motion.

This paper describes the docking package, the CubeSat mock-up and the test facility in details, with reference to the main design considerations. Numerical simulations have been conducted to foresee the dynamical behaviour of the system and to select the appropriate control algorithm. An intensive experimental campaign aims at the validation of numerical results and at the functional verification and performance estimation for each subsystem and for the system as a whole. The numerical and experimental results are presented and compared, allowing to draw useful conclusions for the future development steps. 

In the last years, international space-related companies and agencies are manifesting great interest in on-orbit servicing. Innovative solutions to perform on-orbit operations such as refuelling, payload updating and maintenance, subsystems repairing and inspection are under study and all the new ideas and technologies under development are perceived as extremely functional and cost-effective, capable of increasing the operational lifetime of a satellite and decreasing the costs related to its complete replacement.

For these reasons, the development of an automatic, standard and reliable docking system would simplify the accomplishment of on-orbit servicing procedures. Presently, there has been an increasing interest in developing different technologies for proximity navigation and rendezvous manoeuvres but no competitive or commercial technologies are currently available to perform autonomous rendezvous and docking between small-satellites. One promising solution is represented by relative magnetic navigation, where the chaser relative position and attitude can be controlled thanks to magnetic interactions with the target vehicle.

This paper presents an overview of the PACMAN experiment: PACMAN is a technology demonstrator developed by a team of university and PhD students in the framework of ESA Education Fly Your Thesis! 2017 programme and supported by the University of Padova. The experiment has been selected for the 68^th ESA Parabolic Flight Campaign that took place in December 2017. The main goal of the project was to develop and validate in low-gravity conditions an integrated system for proximity navigation and soft-docking based on magnetic interactions, suitable for small-scale spacecraft. This has been accomplished by launching a miniature spacecraft mock-up (1U CubeSat) towards a free-floating target that generates a static magnetic field; a set of actively-controlled magnetic coils on-board the spacecraft mock-up, assisted by dedicated localization sensors, have been used to control its attitude and position relative to the target. This experimental setup allowed to study the behaviour of a miniature spacecraft subjected to controlled magnetic interactions in low-gravity conditions and to validate the theoretical/numerical models that describe such interactions.

The paper describes the experiment design, realization and execution, from the initial concept to the Parabolic Flight Campaign tests. The experiment working principle is illustrated with particular attention towards the navigation and soft-docking subsystems, and the analysis of retrieved scientific results is finally presented.

Presently, no competitive or commercial solution is currently available to perform autonomous rendezvous and docking between small-satellites. Therefore, in the last years there has been an increasing interest in developing different technologies for proximity navigation and rendezvous manoeuvres, addressing the main issues of fuel consumption and the strong impact of close range navigation subsystems on satellites mass budget and complexity. One promising solution is represented by relative magnetic navigation, where the chaser relative position and attitude can be controlled thanks to magnetic interactions with the target vehicle.

PACMAN experiment is a technology demonstrator that has been developed by a team of university and PhDs students in the framework of ESA Education Fly Your Thesis! 2017 programme and supported by the University of Padova. The experiment has been selected to fly during the 68^th ESA Parabolic Flight Campaign, currently scheduled to take place this December. The main goal of the project is to develop and validate in low-gravity conditions an integrated system for proximity navigation and soft-docking based on magnetic interactions, suitable for small-scale spacecraft. This will be accomplished by launching a miniature spacecraft mock-up towards a free-floating target that generates a static magnetic field; a set of actively-controlled magnetic coils on-board the spacecraft mock-up, assisted by dedicated localization sensors, will be used to control its attitude and position relative to the target.

The realization of PACMAN experiment will allow to study the behaviour of a miniature spacecraft subjected to controlled magnetic interactions in low-gravity conditions and to validate the theoretical/numerical models that describe such interactions.

This paper presents an overview from the concept and design of the experiment to the Parabolic Flight Campaign tests. The experiment working principle will be illustrated, along with the design and assembly phases. Particular attention will be made towards the problem solving approach. Alternatives and backup solutions are introduced as part of the lessons learned during the entire programme. Finally, the analysis of retrieved scientific results will be showed.

The relationship between fMRI and MEG signals between different cortical regions (functional connectivity, FC) has been extensively analyzed in the resting state (De Pasquale et al 2010; Brookes et al 2011; Hipp et al 2012). Much less is known about FC modulations from rest to task states, and how they appear respectively in these two imaging modalities. Previously we have shown task-specific alterations of FC in fMRI during a visuospatial attention task (Spadone et al., PNAS, 2015). Specifically, decrements of resting correlation in visual areas were coupled with increments of correlation between visual and dorsal attention regions. Here, we compared fMRI with band-limited power (BLP) correlation obtained with MEG on the same group of subjects. Aim (i) is to measure frequency specific task-related FC modulations in MEG. Aim (ii) is to compare fMRI- and MEG-FC modulations (task-rest).

A purely geometric approach has been investigated to reconstruct the Demonstration Fusion Power Reactor (DEMO) plasma boundary for control purposes. The whole plasma boundary is reconstructed by using a deformable template method based on B-splines. The final curve shape is achieved by minimizing the distance between a limited number of estimated and measured (at present provided by an equilibrium code) plasma boundary points along the reflectometer lines of sight. The resulting unconstrained optimization problem is solved by a simulated annealing algorithm. The method is complemented by including the available plasma and poloidal field coil current measurements to refine the boundary reconstruction in the X-point region. The robustness with respect to random measurement random errors and to a reduction in the number of measurements is discussed. The main equilibrium and shape geometric quantities (such as plasma cross-sectional area, plasma center position, elongation, and triangularity) were computed and compared to the corresponding quantities of a DEMO reference equilibrium.

We consider the problem of controlling a smart lighting system of multiple luminaires with collocated occupancy and light sensors. The objective is to attain illumination levels higher than specified values (possibly changing over time) at the workplace by adapting dimming levels using sensor information, while minimizing energy consumption. We propose to estimate the daylight illuminance levels at the workplace based on the daylight illuminance measurements at the ceiling. More specifically, this daylight estimator is based on a model built from data collected by light sensors placed at workplace reference points and at the luminaires in a training phase. Three estimation methods are considered: Regularized least squares, locally weighted regularized least squares, and cluster-based regularized least squares. This model is then used in the operational phase by the lighting controller to compute dimming levels by solving a linear programming problem, in which power consumption is minimized under the constraint that the estimated illuminance is higher than a specified target value. The performance of the proposed approach with the three estimation methods is evaluated using an open-office lighting model with different daylight conditions. We show that the proposed approach offers reduced under-illumination and energy consumption in comparison to existing alternative approaches.

Recently, different communities in computer science, telecommunication and control systems have devoted a huge effort towards the design of energy efficient solutions for data transmission and network management. This paper collocates along this research line and presents a novel energy efficient strategy conceived for Ethernet networks. The proposed strategy combines the statistical properties of the network traffic with the opportunities offered by the IEEE 802.3az amendment to the Ethernet standard, called Energy Efficient Ethernet (EEE). This strategy exploits the possibility of predicting the incoming traffic from the analysis of the current data flow, which typically presents a self-similar behavior. Based on the prediction, Ethernet links can then be put in a low power consumption state for the intervals of time in which traffic is expected to be of low intensity. Theoretical bounds are derived that detail how the performance figures depend on the parameters of the designed strategy and scale with respect to the traffic load. Furthermore, simulations results, based on both real and synthetic traffic traces, are presented to prove the effectiveness of the strategy, which leads to considerable energy savings at the cost of only a limited bounded delay in data delivery.

In this paper, we study the problem of real-time optimal distributed partitioning for perimeter patrolling in the context of multicamera networks for surveillance, where each camera has limited mobility range and speed, and the communication is unreliable. The objective is to coordinate the cameras in order to minimize the time elapsed between two different visits of each point of the perimeter. We address this problem by casting it into a convex problem in which the perimeter is partitioned into nonoverlapping segments, each patrolled by a camera that sweeps back and forth at the maximum speed. We then propose an asynchronous distributed algorithm that guarantees that these segments cover the whole patrolling perimeter at any time and asymptotically converge to the optimal centralized solution under reliable communication. We finally modify the proposed algorithm in order to attain the same convergence and covering properties even in the more challenging scenario, where communication is lossy and there is no channel feedback, i.e., the transmitting camera is not aware whether a packet has been received or not by its neighbors.

In this paper we study cluster synchronization in a network of Kuramoto oscillators, where groups of oscillators evolve cohesively and at different frequencies from the neighboring oscillators. Synchronization is critical in a variety of systems, where it enables complex functionalities and behaviors. Synchronization over networks depends on the oscillators’ dynamics, the interaction topology, and coupling strengths, and the relationship between these different factors can be quite intricate. In this work we formally show that three network properties enable the emergence of cluster synchronization. Specifically, weak inter-cluster connections, strong intra-cluster connections, and sufficiently diverse natural frequencies among oscillators belonging to different groups. Our approach relies on system-theoretic tools, and is validated with numerical studies.

Wireless sensor networks (WSNs) can provide numerous benefits in industrial automation. By removing the cable infrastructure, the wireless architecture enables the possibility for nodes in a network to dynamically and autonomously group into clusters according to the communication features and the data they collect. This capability allows to leverage the flexibility and robustness of industrial WSNs in supervisory intelligent systems for high-level tasks, such as, for example, environmental sensing, condition monitoring, and process automation. In this paper, a clustering strategy is studied that partitions a sensor network into a nonfixed number of nonoverlapping clusters according to the communication network topology and measurements distribution: To this aim, both a centralized and a distributed algorithm are designed that do not require a cluster-head structure or other network assumptions. As a validation, these strategies are tested on a real dataset coming from a structured environment and the effectiveness of the clustering procedure is also investigated to perform anomalies detection in an industrial production process.

This paper presents a robust technique, based on Krylov-subspace method, for the reduction of large-scale state-space models arising in many electromagnetic applications in fusion machines. The proposed approach, built on the Arnoldi algorithm, aims at reducing the number of states of the system and lowering the computational effort, with a negligible loss of accuracy in the numerical solution. A detailed performance study is presented on an ITER-like machine, addressing both 2-D and 3-D problems.

The 2014–2016 JET results are reviewed in the light of their significance for optimising the ITER research plan for the active and non-active operation. More than 60?h of plasma operation with ITER first wall materials successfully took place since its installation in 2011. New multi-machine scaling of the type I-ELM divertor energy flux density to ITER is supported by first principle modelling. ITER relevant disruption experiments and first principle modelling are reported with a set of three disruption mitigation valves mimicking the ITER setup. Insights of the L–H power threshold in Deuterium and Hydrogen are given, stressing the importance of the magnetic configurations and the recent measurements of fine-scale structures in the edge radial electric. Dimensionless scans of the core and pedestal confinement provide new information to elucidate the importance of the first wall material on the fusion performance. H-mode plasmas at ITER triangularity (H??=??1 at ? N ~ 1.8 and n/n GW ~ 0.6) have been sustained at 2 MA during 5?s. The ITER neutronics codes have been validated on high performance experiments. Prospects for the coming D–T campaign and 14 MeV neutron calibration strategy are reviewed.

The control and optimization of oxygen content in wine matrices is becoming more and more important in wine production in order to guarantee their best quality. It is well known that in a first phase O2 is necessary to facilitate the development and activity of yeasts, to favor the combination of anthocyanins and color stabilization, and to help reducing the astringency of red wines. In a second phase, however, during the maturation, O2 can severely deteriorate the organoleptic characteristics of the wine. The main oenological practices commonly performed in wine cellars causes remarkable amounts of oxygen to dissolve in wine. For this reason, an instrumentation able to be used in cellars is needed to detect the amount of dissolved oxygen in the wine; as well, a plant technology is needed which is capable of eliminating excess oxygen. In this work, a new economic prototype of optical sensor for oxygen measurements in oenological matrices is developed. It is based on the sampling of the light emission of a polysulfone polymer membrane containing 5,10,15,20-Tetraphenyl-21H,23H-porphyrin platinum (II) (PtTPP). The experimental parameter used for calibration of the sensor is the life time of the PtTPP, obtained from the fitting of the emission decay profile produced by stimulation of the membrane with short pulses emitted by a 390 nm excitation LED. The membrane guarantees a linear behavior of the Stern-Volmer equation and long-lasting signal stability [1,2]. Studies on the behavior of the sensor have been performed in different environments such as air, water, synthetic wine, and also in real red and white wine samples at different temperatures from 5 ° to 20 ° C. The sensor has been suitably designed to work in food matrices and to optimize the noise signal ratio, while keeping the price of the components as low as possible. The sensor was tested for a month within a barrel of 10 m containing wine in the first fermentation phase. In particular, two equal sensors were placed at two levels of depth compared to the wine infeed level: at 0.5 and 2.5 m, respectively. The oxygen content measured during this period was always constant and equal to 0.2%. We thank Smart Future S.r.l. and the project "WOW: DEPLOYMENT OF WSAN TECHNOLOGY FOR MONITORING OXYGEN IN WINE PRODUCTS" financed by the Veneto Region ex LR 5/2001 - ex LR 9/2007.

The diffusion in Power Systems of distributed renewable energy resources, electric vehicles and controllable loads has made advanced monitoring systems fundamental to cope with the consequent disturbances in power flows; advanced monitoring systems can be employed for Anomaly Detection, Root Cause Analysis and Control purposes.

Several Machine Learning-based approaches have been developed in the past recent years to detect if a power system is running under anomalous conditions and, eventually, to classify such situation with respect to known problems.

One of the aspects that makes Power Systems challenging to be tackled, is that the monitoring has to be performed on streams of data that have a time series evolution; this issue is generally tackled by performing a features extraction procedure before the classication phase. The features extraction phase consists of translating the informative content of time series data into scalar quantities: such procedure may be a time-consuming step that requires the involvement of process experts to avoid loss of information in the making; moreover, extracted features designed to capture certain behaviors of the system, may not be informative under unseen conditions leading to poor monitoring performances.

A different type of data-driven approaches, that will be reviewed in this chapter, allow to perform classication directly on the raw time series data, avoiding the features extraction phase: among these approaches, Dynamic Time Warping and Symbolic-based methodologies have been widely applied in many application areas.

In the following, pros and cons of each approach will be discussed and practical implementation guidelines will be provided.

In the context of activity recognition, wearable devices arenowadays the preferable hardware thanks to their usability, user expe-rience and performances; at the same time, these devices present limi-tations in terms of computational capability and memory, which forcethe algorithm design to be at the same time ecient and simple. Inthis work, we adopt Symbolic Aggregate Approximation (SAX), a sym-bolic approach for information retrieval in time series data that allowsdimensionality and numerosity reduction; SAX is employed here, in com-bination with 1-Nearest Neighbor classier, to identify activity phases incontinuous repetitive activities from inertial time-series data. The pro-posed approach is validated on a public activity recognition dataset.

The problem of daylight estimation in a smart lighting system is considered. The smart lighting system consists of multiple luminaires with collocated occupancy and light sensors. Using sensor information, the objective is to attain illumination levels higher than specified values at the workspaces. We consider a training phase wherein light sensors are used at the workspaces in addition. Data from the light sensors at the ceiling and workspaces is used to estimate the mapping across the sensors. In the operational phase, the estimated mapping is used at the lighting controller to obtain an estimate of the illuminance value at the workspaces. Under the constraint that the estimated illuminance is higher than a specified target value, the controller optimizes the dimming levels of the luminaires to minimize power consumption. We evaluate the performance of the proposed approach in an open-office lighting model by considering different daylight conditions.

We address the problem of distributed unconstrained convex optimization under separability assumptions, i.e., the framework where a network of agents, each endowed with local private multidimensional convex cost and subject to communication constraints, wants to collaborate to compute the minimizer of the sum of the local costs. We propose a design methodology that combines average consensus algorithms and separation of time-scales ideas. This strategy is proven, under suitable hypotheses, to be globally convergent to the true minimizer. Intuitively, the procedure lets the agents distributedly compute and sequentially update an approximated Newton-Raphson direction by means of suitable average consensus ratios. We show with numerical simulations that the speed of convergence of this strategy is comparable with alternative optimization strategies such as the Alternating Direction Method of Multipliers. Finally, we propose some alternative strategies which trade-off communication and computational requirements with convergence speed.

The problem of emergent synchronization pat-terns in a complex network of coupled oscillators has caughtscientists’ interest in a lot of different disciplines. In particular,from a biological point of view, considerable attention has beenrecently devoted to the study of the human brain as a networkof different cortical regions that show coherent activity duringresting-state. In literature, there can be found different large-scale models of resting-state dynamics in health and disease.In this context, the Kuramoto model, a classical model apt todescribe oscillators’ dynamics, has been extended to capture thespatial displacement and the communication conditions in suchbrain network. Starting from a previous work in this ?eld ,we analyze this modi?ed model and compare it with otherexisting large-scale models. In doing so, our aim is to promotea set of mathematical tools useful to better understand realexperimental data in neuroscience and estimate brain dynamics.

In  this  paper  we  address  the  average  consensus problem in a Wireless Sensor-Actor Network with the particular focus  on  autonomous  fault  detection.  To  this  aim,  we  design  a distributed  clustering  procedure  that  partitions  the  network into  clusters  according  to  both  similarity  of  measurements and communication connectivity. The exploitation of clustering techniques   in   consensus   computation   allows   to   obtain   the detection   and   isolation   of   faulty   nodes,   thus   assuring   the convergence  of  the  other  nodes  to  the  exact  consensus  value. More  interestingly,  the  algorithm  can  be  integrated  into  a Kalman filtering framework to perform distributed estimation of  a  dynamic  quantity  in  presence  of  faults.  The  proposed approach is validated through numerical simulations and tests on a real world scenario dataset.

Personal control with occupancy and daylight adaptation is considered in a lighting system with multiple luminaires. Each luminaire is equipped with a co-located occupancy sensor and light sensor that respectively provide local occupancy and illumination information to a central controller. Users may also provide control inputs to indicate a desired illuminance value. Using sensor feedback and user input, the central controller determines dimming values of the luminaires using an optimization framework. The cost function consists of a weighted sum of illumination errors at light sensors and the power consumption of the system. The optimum dimming values are determined with the constraints that the illuminance value at the light sensors are above the reference set-point at the light sensors and the dimming levels are within physical allowable limits. Different approaches to determine the set-points at light sensors associated with multiple user illumination requests are considered. The performance of the proposed constrained optimization problem is compared with a reference stand-alone controller under different simulation scenarios in an open-plan office lighting system.

In recent years, Visual Sensor Networks (VSNs) have emerged as an interesting category of distributed sensor- actor systems to retrieve data from the observed scene and produce information. Indeed, the request for accurate 3D scene reconstruction in several applications is leading to the development of very large systems and more specifically to large scale motion capture systems. When dealing with such huge amount of data from a large number of cameras it becomes very hard to make real time reconstruction on a single machine.
Within this context, a distributed approach for reconstruc- tion on large scale camera networks is proposed. The approach is based on geometric triangulation performed in a distributed fashion on the computational grid formed by the camera net- work organized into a tree structure. Since the computational performance of the algorithm strongly depends on the order in which cameras are paired, to optimize the efficiency of the reconstruction a pairing strategy is designed that relies on an affinity score among cameras. This score is computed from a probabilistic perspective by studying the variance of the 3D target reconstruction error and resorting to a normalized cut graph partitioning.
The scaling laws and the results obtained in simulation suggest that the proposed optimization strategy allows to obtain a significant reduction of the computational time.

We consider the problem of building a transitional model of an initially uncalibrated camera network. More specifically, we discuss an Hidden Markov Model (HMM) based strategy in which the model’s statespace is defined in terms of a partition of the physical network coverage. Transitions between any two such states are modeled by the distribution of the underlying Markov Process. Extending previous work in (Cenedese et al., 2010), we show how it is possible to infer the model structure and parameters from coordinate free observations and introduce a novel performance index that is used for model validation. We moreover show the predictive power of this HMM approach in simulated and real settings that comprise Pan-Tilt- Zoom (PTZ) cameras.

In this paper, we consider the problem of designing a distributed strategy to estimate the channel parameters for a generic Wireless Sensor-Actor Network. To this aim, we present a distributed least-square algorithm that complies with the constraint of transmitting only integer data through the wireless communication, which often characterizes Wireless Sensor-Actor Network embedded architectures. In this respect, we propose a quantized consensus strategy that mitigates the effects of the rounding operations applied to the wireless exchanged floating data. Moreover, the approach is based on a symmetric random gossip strategy, making it suitable for the actual deployment in multiagent networks. Finally, the effectiveness of the proposed algorithm and of its implementation as an open-source application is assessed and the employment of the procedure is illustrated through the application to radio-frequency localization experiments in a real world testbed.

Technological advances and the ever-growing human quest for improving the resolution of telescope observations are motivating the design of larger and larger ground telescopes: indeed, the larger is the telescope lens diameter, the better is the diffraction limited resolution of the telescope. Unfortunately, the terrestrial atmospheric turbulence, if not properly compensated, negatively affects the telescope observations, limiting its real resolution. Adaptive Optics (AO) systems are used in large ground telescopes in order to compensate the effect of the atmosphere, and hence to make the real telescope resolution be determined by the diffraction properties of the lens.

Technological advances and the ever-growing human quest for improving the resolution of telescope observations are motivating the design of larger and larger ground telescopes: indeed, the larger is the telescope lens diameter, the better is the diffraction limited resolution of the telescope. Unfortunately, the terrestrial atmospheric turbulence, if not properly compensated, negatively affects the telescope observations, limiting its real resolution. Adaptive Optics (AO) systems are used in large ground telescopes in order to compensate the effect of the atmosphere, and hence to make the real telescope resolution be determined by the diffraction properties of the lens. AO systems exploit the measurements of wavefront sensors to estimate the current values of the atmospheric turbulence, and compensate its effect by properly adapting the shape of a set of deformable mirrors. As the size of the telescope lenses is increasing, then the size of the AO system (e.g. the number of deformable mirror actuators and the size of the wavefront sensor) is increasing as well. This causes the increase of the computational burden needed to compute a proper compensation of the effect of the atmosphere. Consequently, as the potential telescope resolution increases, the task of the AO systems becomes more challenging. Motivated by the need of providing AO solutions useful for the next generations of ground telescopes, then a number of efficient algorithms have been recently considered in the literature to solve the problems related to the AO system. This paper considers the combination of a recently proposed very efficient phase reconstruction method, namely the CuRe, with a properly defined Kalman filter in order to obtain a dynamic compensation of the atmospheric turbulence. The performance of the proposed approach is investigated in some simulations.

Turbulence simulation methods are of fundamental importance for evaluating the performance of control strategies for Adaptive Optics (AO) systems. In order to obtain a reliable evaluation of the performance a statistically accurate turbulence simulation method has to be used. This work generalizes a previously proposed method for turbulence simulation based on the use of a multiscale stochastic model. The main contributions of this work are: first, a multiresolution local PCA representation is considered. In typical operating conditions, the computational load for turbulence simulation is reduced approximately by a factor of 4, with respect to the previously proposed method, by means of this PCA representation. Second, thanks to a different low resolution method, based on a moving average model, the wind velocity can be in any direction (not necessarily that of the spatial axes). Finally, this paper extends the simulation procedure to generate, if needed, turbulence samples by using a more general model than that of the frozen flow hypothesis.

The diffusion of visual sensor networks, and in particular of smart camera networks, is motivating an increasing interest on the research of distributed solutions for several vision problems. Specifically, in this paper we propose a distributed solution to the problem of reconstructing target positions in large Motion Capture (MoCap) systems. Real time reconstruction by means of centralized procedures is practically unfeasible for very large systems, while the use of distributed computation allows to significantly reduce the computational time required for reconstruction, thus allowing the development of real time solutions.
Then the proposed distributed reconstruction procedure is optimized by exploiting information about the structure of the system: the visibility matrix states which objects in the scene are somehow measurable by a sensor (sensor-object matrix). Often, the typical localization of data from real application scenarios induces an underlying structure on the visibility matrix, that can be exploited to improve the performance of the system in understanding the surrounding environment. Unfortunately, usually these data are not properly organized in the visibility matrix: for instance, listing the sensors in a pseudo-random order can hide the underlying structure of the matrix. This paper considers the problem of recovering such underlying structure directly from the visibility matrix and designs an algorithm to perform this task.
Our simulations show that the distributed reconstruction algorithm optimized by means of the estimation of the structure of the visibility matrix allows a particularly relevant computational time reduction with respect to the standard (centralized) reconstruction algorithm.

In past years the Reversed Field Pinch RFX-mod has also been operated as a low current Tokamak to perform experiments of active control of MHD modes particularly harmful to a prospective reactor. The stabilization of m=2, n=1 mode has been achieved for 150 kA plasma currents in circular shape discharges at q(a)<2. In order to test the system capability of stabilizing such modes in improved confinement regimes, the possibility of producing D- shaped plasma discharges has been explored. Preliminary experiments were carried out in open loop in 2011. In the meantime a completely new plasma position and shape control system was designed and its performances simulated with the finite element 2D MHD equilibrium code MAXFEA. According to the simulation results, feedback control of the D- shape configuration was capable of meeting the design requirements. As a first step, the recent experimental campaign in Tokamak configuration was partially dedicated to demonstrate the possibility of a stable feedback controlled operation with an elongated plasma. In the paper the identification of the transfer function between a dedicated Field Shaping (FS) coil current distribution and the plasma elongation, the design of the control system, its implementation and successful testing are described.

Camera positioning units are widely used in surveillance and they are sometimes mounted on floating supports, e.g.
on patrolling ships or buoys. The support motion, in turn, induces an apparent motion in the image plane, which can create troubles to the image processing, especially when a specific feature must be tracked (e.g. a distant ship, getting close to a forbidden area). Low cost devices are often characterized by low frame rate and low image resolution, for which traditional image stabilization techniques usually results to be rather ineffective. Additionally, low-end camera units are usually driven by hybrid stepper motors and, being conceived to work in an harsh environment, they do not mount any optical image stabilization (OIS) system, either in the camera lenses or in the image sensor. In this paper, the image acquired by a pan–tilt camera positing unit mounted on a moving support is stabilized by exploiting the camera attitude information provided by a MEMS-based IMU with an embedded magnetometer. In particular, two independent integral control loops are designed for the pan and tilt motors in order to compensate for the yaw and pitch motions of the support. As for the roll motion, since it relates to an unavailable degree of freedom in the positioning unit, it can be compensated only on the captured image. The proposed solution is experimentally tested on a real device mounted on a moving table actuated by a 6 degrees–of–freedom pneumatic hexapod. Realistic motions are recreated by using the data recordings taken aboard of a patrolling ship and a costal buoy. Experimental results show that the proposed solution is capable of keeping the camera pointing at a fixed target with a good accuracy, thus making higher-level image processing easier and more effective.

Camera positioning units for surveillance applica- tions are often mounted on mobile supports or vehicles. In such circumstances, the motion of the supporting base affects the camera field of view, thus making the task of pointing and tracking a specific target problematic, especially when using low cost devices that are usually not equipped with rapid actuators and fast video processing units. Visual tracking capabilities can be improved if the camera field of view is preliminarily stabilized against the movements of the base. Although some cameras available on the market are already equipped with an optical image stabilization (OIS) system, implemented either in the camera lenses or in the image sensor, these are usually too expensive to be installed on low–end positioning devices.
A cheaper approach to image stabilization consists of stabilizing the camera motion using the motors of the positioning unit and the inertial measurements provided by a low–cost MEMS Inertial Measurement Unit (IMU). This paper explores the feasibility of applying such image stabilization system to a low cost pan–tilt– zoom (PTZ) camera positioning unit driven by hybrid stepper motors (HSMs), in order to aid the task of pointing and tracking of a specific target on the camera image plane. In the proposed solution, a two–level cascaded control structure, consisting of inner inertial stabilizing control loop and an outer visual servoing control loop, is used to control the PTZ unit. Several tests are carried out on a real device mounted on a moving table actuated by a 6 degrees–of–freedom pneumatic hexapod. Realistic motions are recreated by using the data recordings taken aboard of a patrolling ship.

Models typically used to simulate the influence of atmospheric turbulence on ground telescope observations are usually based on the frozen flow hypothesis. However, the frozen flow model of the atmosphere is valid at time scales of the order of tens/hundreds of milliseconds. This paper generalizes a previous model for turbulence simulation to ensure reliable tests of AO system performance in realistic working conditions. The proposed method relies on the use of two simulation models: First, the part of turbulence that shows a coherent flow at short time scales is simulated by means of a multiscale autoregressive-moving average model, which allows to efficiently simulate (with computational complexity O(n)) the coherent evolution of the turbulence. Secondly, an approach similar to that considered for dynamic textures, is used to simulate aberrations caused by processes that evolve on much longer time scales. The proposed procedure is tested on simulations.

Motivated by the increasing importance of Adap- tive Optics (AO) systems for improving the real resolution of large ground telescopes, and by the need of testing the AO system performance in realistic working conditions, in this paper we address the problem of simulating the turbulence effect on ground telescope observations at high resolution. The multiscale approach presented here generalizes that in [3]: First, a relevant computational time reduction is obtained by exploiting a local spatial principal component analysis (PCA) representation of the turbulence. Furthermore, differently from [3], the turbulence at low resolution is modeled as a moving average (MA) process. While in [3] the wind velocity was restricted to be directed along one of the two spatial axes, the approach proposed here allows to evolve the turbulence indifferently in all the directions. In our simulations the pro- posed procedure reproduces with good accuracy the theoretical statistical characteristics of the turbulent phase.

Motivated by the increasing importance of adaptive optics (AO) systems for improving the real resolution of large ground telescopes, and by the need of testing the AO system performance in realistic working conditions, in this paper we address the problem of simulating the turbulence effect on ground telescope observations at high resolution. The procedure presented here generalizes the multiscale stochastic approach introduced in our earlier paper [Appl. Opt. 50, 4124 (2011)], with respect to the previous solution, a relevant computational time reduction is obtained by exploiting a local spatial principal component analysis (PCA) representation of the turbulence. Furthermore, the turbulence at low resolution is modeled as a moving average (MA) process, while previously [Appl. Opt. 50, 4124 (2011)] the wind velocity was restricted to be directed along one of the two spatial axes, the use of such MA model allows the turbulence to evolve indifferently in all the directions. In our simulations, the proposed procedure reproduces the theoretical statistical characteristics of the turbulent phase with good accuracy.

In large ground telescopes the Adaptive Optics (AO) system aims at compensating the atmosphere effect on telescope measurements, and, the use of optimal filtering is fundamental for such task. This work is motivated by two important characteristics of new AO systems: on one hand, because of the request of very high measurement resolutions, the size of new telescopes, and of their sensors, is quickly increasing in the last decades, thus imposing to the AO systems the analysis of larger amount of data. On the other hand, the optimal filter has to be periodically updated according to temporal changes in atmosphere characteristics. Hence, it is of fundamental importance the use of computationally efficient algorithms for the update of the optimal filter gain.
This paper proposes some changes to a recently presented method for the efficient computation, in the frequency domain, of the Kalman gain for large AO systems [15]. The proposed changes, which mainly aim at correcting some issues due to the conversion spatial–frequency domain, and viceversa, allow to compute a better approximation of the optimal Kalman gain, and, consequently, significantly improve the performance of the AO system.

In current and next generation of ground tele- scopes, Adaptive Optics (AO) are employed to overcome the detrimental effects induced by the presence of atmospheric turbulence, that strongly affects the quality of data transmission and limits the actual resolution of the overall system. The analysis as well as the prediction of the turbulent phase affecting the light wavefront is therefore of paramount importance to guarantee the effective performance of the AO solution.
In this work, a layered model of turbulence is proposed, based on the definition of a Markov-Random-Field whose pa- rameters are determined according to the turbulence statistics. The problem of turbulence estimation is formalized within the stochastic framework and conditions for the identifiability of the turbulence structure (numbers of layers, energies and velocities) are stated. Finally, an algorithm to allow the layer detection and characterization from measurements is designed. Numerical simulations are used to assess the proposed procedure and validate the results, confirming the validity of the approach and the accuracy of the detection.

Following the completion in May 2011 of the shutdown for the installation of the beryllium wall and the tungsten divertor, the first set of JET campaigns have addressed the investigation of the retention properties and the development of operational scenarios with the new plasma-facing materials. The large reduction in the carbon content (more than a factor ten) led to a much lower Z_eff (1.2–1.4) during L- and H-mode plasmas, and radiation during the burn-through phase of the plasma initiation with the consequence that breakdown failures are almost absent. Gas balance experiments have shown that the fuel retention rate with the new wall is substantially reduced with respect to the C wall. The re-establishment of the baseline H-mode and hybrid scenarios compatible with the new wall has required an optimization of the control of metallic impurity sources and heat loads. Stable type-I ELMy H-mode regimes with H_98,y2 close to 1 and ?_N ~ 1.6 have been achieved using gas injection. ELM frequency is a key factor for the control of the metallic impurity accumulation. Pedestal temperatures tend to be lower with the new wall, leading to reduced confinement, but nitrogen seeding restores high pedestal temperatures and confinement. Compared with the carbon wall, major disruptions with the new wall show a lower radiated power and a slower current quench. The higher heat loads on Be wall plasma-facing components due to lower radiation made the routine use of massive gas injection for disruption mitigation essential.

Tissue engineering of autologous lung tissue aims to become a therapeutic alternative to transplantation. Efforts published so far in creating scaffolds have used harsh decellularization techniques that damage the extracellular matrix (ECM), deplete its components and take up to 5 weeks to perform. The aim of this study was to create a lung natural acellular scaffold using a method that will reduce the time of production and better preserve scaffold architecture and ECM components. Decellularization of rat lungs via the intratracheal route removed most of the nuclear material when compared to the other entry points. An intermittent inflation approach that mimics lung respiration yielded an acellular scaffold in a shorter time with an improved preservation of pulmonary micro-architecture. Electron microscopy demonstrated the maintenance of an intact alveolar network, with no evidence of collapse or tearing. Pulsatile dye injection via the vasculature indicated an intact capillary network in the scaffold. Morphometry analysis demonstrated a significant increase in alveolar fractional volume, with alveolar size analysis confirming that alveolar dimensions were maintained. Biomechanical testing of the scaffolds indicated an increase in resistance and elastance when compared to fresh lungs. Staining and quantification for ECM components showed a presence of collagen, elastin, GAG and laminin. The intratracheal intermittent decellularization methodology could be translated to sheep lungs, demonstrating a preservation of ECM components, alveolar and vascular architecture. Decellularization treatment and methodology preserves lung architecture and ECM whilst reducing the production time to 3 h. Cell seeding and in vivo experiments are necessary to proceed towards clinical translation.

In this work the design and implementation of an application to track multiple agents in a indoor Wireless Sensor Actor Network (WSAN) is proposed. We developed a tracking algorithm that falls into the category of the radio frequency localization/tracking methods, that exploit the strength of the wireless communications among fixed and mobile agents to establish the position of the mobile ones. The algorithm resorts to an Extended Kalman Filter to process the agents measurements and reach a desired level of tracking performance. The tracking application, namely Teseo, is composed by a low-level NesC management software for the agents side and a Java graphical interface provided to users connected to mobile agents. A detailed description of the operations performed by Teseo is given, accompanied both by simulations to validate the tracking algorithm and experiments on a real testbed to test Teseo.

Measurements of large ground telescopes are af- fected by the presence of the terrestrial atmospheric turbulence: local changes of the atmospheric refraction index (e.g. due to wind and temperature variations) cause a non flat surface of the wavefront of light beams incoming on the telescope, thus degrading the quality of the observed images. Adaptive Optics (AO) systems are of fundamental importance to reduce such atmospheric influence on ground telescopes and thus to obtain high resolution observations. The goal of the AO system is that of estimating and compensating the atmospheric turbulence effect by properly commanding a set of deformable mirrors.
Because of delays in the closed loop system, the Kalman filter plays an important role in ensuring an effective control perfor- mance by providing good atmosphere predictions. However, the need of periodically updating the Kalman filter gain because of changes in the atmosphere characteristics, the increase of telescopes and sensors resolutions and the high sampling rate impose quite strict restrictions to the computational load for computing the Kalman gain.
Motivated by the above considerations, some strategies have been recently considered in the system theory and astronomical communities for the efficient computation of the Kalman gain for large AO systems. Specifically, this paper presents some changes to a recently proposed procedure: the proposed approach, which exploits some results in the control theory of distributed systems, computes an approximation of the optimal gain in the frequency domain exploiting the spatial homogeneity of the system. Then, the control strategy takes advantage of some information on the turbulent phase dynamic, that is estimated from the turbulence measurements. Performances of the proposed method are investigated in some simulations.

The request for very accurate 3D reconstruction in several applications is leading to the development of very large motion capture systems. A good synchronization of all the cameras in the system is of fundamental importance to guarantee the effectiveness of the 3D reconstruction.
In this work, first, an approximation of the reconstruction error variance taking into account of synchronization errors is derived. Then, a Kalman filter approach is considered to estimate the cameras synchronization errors. The estimated delays can be used to compensate the synchronization error effect on the reconstruction of target positions. The results obtained in some simulations suggest that the proposed strategy allows to obtain a significant reduction of the 3D reconstruction error.

Mutations in the survival of motor neuron gene (SMN1) are responsible for spinal muscular atrophy (SMA), a fatal neuromuscular disorder. Mice carrying a homozygous deletion of Smn exon 7 directed to skeletal muscle (HSA-Cre, Smn^F7/F7 mice) present clinical features of human muscular dystrophies for which new therapeutic approaches are highly warranted. Herein we demonstrate that tail vein transplantation of mouse amniotic fluid stem (AFS) cells enhances the muscle strength and improves the survival rate of the affected animals. Secondly, after cardiotoxin injury of the Tibialis Anterior, only AFS-transplanted mice efficiently regenerate. Most importantly, secondary transplants of satellite cells (SC) derived from treated mice show that AFS cells integrate into the muscle stem cell compartment, and have long term muscle regeneration capacity indistinguishable from that of wild type-derived SC. This is the first study demonstrating the functional and stable integration of AFS cells into the skeletal muscle, highlighting their value as cell source for the treatment of muscular dystrophies.

In fusion devices, the accurate reconstruction of the boundary location and shape from magnetic diagnostics is of paramount importance for the efficient control of the plasma evolution and the safe running of the experiment. In addition to a good and consistent performance in the reconstruction, the task must be performed in real time as the input for the shape controller and more in general for the scenario optimization. To this aim, a statistical procedure for the evaluation of the reconstruction capability of different magnetic sensor sets is presented, which can drive the choice for an optimal set to be used for the reconstruction of plasma location and boundary shape during real time operation. In addition, an algorithm to approximately solve the free boundary problem and estimate the plasma shape starting from the magnetics is devised. Beyond representing a first step towards the definition of a boundary reconstruction code for plasma shape control, this tool is also used to cross validate and confirm the statistical analysis on the diagnostics.

We consider the distributed unconstrained minimization of separable convex costfunctions, where the global cost is given by the sum of several local and private costs, eachassociated to a specific agent of a given communication network. We specifically address anasynchronous distributed optimization technique called Newton-Raphson consensus. Besidehaving low computational complexity, low communication requirements and being interpretableas a distributed Newton-Raphson algorithm, the technique has also the beneficial properties ofrequiring very little coordination and naturally support time-varying topologies. In this workwe analytically prove that under some assumptions it shows local convergence properties, andcorroborate this result by means of numerical simulations.

A new boundary reconstruction procedure is presented and validated against ITER nominal equilibria. An approxima- tion of the plasma with an equivalent filamentary current model is employed, which is computed iteratively and allows to describe a wide variety of plasma current distributions (from the peaked ones, to the pedestal current ones). One of the specific features of the procedure is how the filaments are switched on and how the total current is distributed over the entire set, being the filaments independently considered: this allows more degrees of freedom to the model to adapt to particular current distributions, yielding better performances with a negligible additional computational burden. The code also implements a special points search making it well suited for both diverted (be they top or bottom x-point) and limiter configurations. In addition also the reconstruction in presence of noise has been explored.

A new boundary reconstruction procedure is presented and validated against ITER nominal equilibria. An approximation of the plasma with an equivalent filamentary current model is employed, which is computed iteratively and allows to describe a wide variety of plasma current distributions (from the peaked ones, to the pedestal current ones). One of the specific features of the procedure is how the filaments are switched on and how the total current is distributed over the entire set, being the filaments independently considered: this allows more degrees of freedom to the model to adapt to particular current distributions, yielding better performances with a negligible additional computational burden. The code also implements a special points search making it well suited for both diverted (be they top or bottom x-point) and limiter configurations. In addition also the reconstruction in presence of noise has been explored.

In this paper we study the problem of real-time optimal distributed partitioning for perimeter patrolling in the context of multi-camera networks for surveillance. The objective is to partition a given segment into non-overlapping sub-segments, each assigned to a different camera to patrol. Each camera has both physical mobility range and limited speed, and it must patrol its assigned sub-segment by sweeping it back and forth at maximum speed. Here we first review the solution for the centralized optimal partitioning. Then we propose two different distributed control strategies to determine the extremes of the optimal patrolling areas of each camera. Both these strategies require only local communication with the neighboring cameras but adopt different communication schemes, respectively, symmetric gossip and asynchronous asymmetric broadcast. The first scheme is shown to be provably convergent to the optimal solution. Some theoretical insights are provided also for the second scheme whose effectiveness is validated through numerical simulations.

In this work the design and implementation of an application to track multiple agents in a indoor Wireless Sensor Actor Network (WSAN) is proposed. The adopted embedded hardware for the network nodes is theTmote Sky, an ultra low power IEEE 802.15.4 compliant wireless device, which has become a reference in the academia for the early development of algorithms and applications for Wireless Sensor Actor Networks (WSANs). These devices are based on the TinyOS operative system and are programmed in NesC a C-derived language specifically developed for embedded systems. NesC has become indispensable for low-level management ofindividual agents while Java was chosen to provide the user with a simple and intuitive graphical interface with whom showing and coordinating the tracking.

In this work an algorithm to track multiple agents in an indoor Wireless Sensor Actor Network (WSAN) is proposed. The algorithm falls into the category of the radio frequency localization methods, since it exploits the strength of the wireless communications among nodes to establish the position of a set of mobile nodes within a network of fixed nodes placed in known locations. In this sense, a radio channel model is introduced that allows to estimate the distances among nodes to attain localization and tracking (range-based approach). Moreover, to compensate for the scant robustness of power measurements, the loss effects induced by wireless communication,the intrinsic uncertainty of unstructured environments, the algorithm resorts to an Extended Kalman Filter to process the node measurements and reach a desired level of localization performance. Finally, the design phase is validated through the implementation and the experiments on a real testbed.

In this work we consider a multidimensional distributed optimization technique that is suitable for multiagents systems subject to limited communication connectivity. In particular, we consider a convex unconstrained additive problem, i.e. a case where the global convex unconstrained multidimensional cost function is given by the sum of local cost functions available only to the specific owning agents. We show how, by exploiting the separation of time-scales principle,the multidimensional consensus-based strategy approximates a Newton-Raphson descent algorithm. We propose two alternative optimization strategies corresponding to approximations of the main procedure. These approximations introduce tradeoffs between the required communication bandwidth and the convergence speed/accuracy of the results. We provide analytical proofs of convergence and numerical simulations supporting the intuitions developed through the paper.

This paper considers the problem of simulating the turbulence effect on ground telescope observations. The approach presented here is an evolution of a recently proposed approach [3]. The main contributions with respect to [3] are: First, the Haar transform at the basis of the multiscale model in [3] is shown to be equivalent to a local PCA representation. This equivalence allows to reduce the computational complexity of the simulation algorithm by neglecting the components in the signal with lower energy. Furthermore, the simulation of nonstationary turbulence is obtained by properly changing the values of the multiscale model: Such change is eased by the invariance of the PCA spatial basis with respect to the change of turbulence statistical characteristics. The proposed approach is validated by means of some simulations.

Geometric triangulation is at the basis of the estimation of the 3D position of a target from a set of camera measurements. The problem of optimal estimation (minimizing the L2 norm) of the target position from multi-view perspective projective measurements is typically a hard problem to solve. In literature there are different types of algorithms for this purpose, based for example on the exhaustive check of all the local minima of a proper eigenvalue problem [2], or branch- and-bound techniques [3]. However, such methods typically become unfeasible for real time applications when the number of cameras and targets become large, calling for the definition of approximate procedures to solve the reconstruction problem.
In the first part of this paper, linear (fast) algorithms, computing an approximate solution to such problems, are described and compared in simulation. Then, in the second part, a Gaussian approximation to the measurement error is used to express the reconstruction error’s standard deviation as a function of the position of the reconstructed point. An upper bound, valid over all the target domain, to this expression is obtained for a case of interest. Such upper bound allows to compute a number of cameras sufficient to obtain a user defined level of position estimation accuracy.

We consider the convergence rates of two peculiar2 convex optimization strategies in the context of multi agent3 systems, namely the Newton-Raphson consensus optimization4 and a distributed Gradient-Descent opportunely derived from5 the first. To allow analytical derivations, the convergence6 analyses are performed under the simplificative assumption of7 quadratic local cost functions. In this framework we derive8 sufficient conditions which guarantee the convergence of the9 algorithms. From these conditions we then obtain closed form10 expressions that can be used to tune the parameters for11 maximizing the rate of convergence. Despite these formulae12 have been derived under quadratic local cost functions13 assumptions, they can be used as rules-of-thumb for tuning14 the parameters of the algorithms in general situations.

Nowadays, the adaptive optics (AO) system is of fundamental importance to reduce the effect of atmospheric turbulence on the images formed on large ground telescopes. In this paper the AO system takes advantage of the knowledge of the current turbulence characteristics, that are estimated by data, to properly control the deformable mirrors. The turbulence model considered in this paper is based on two assumptions: considering the turbulence as formed by a discrete set of layers moving over the telescope lens, and each layer is modeled as a Markov-Random-Field. The proposed Markov-Random-Field approach is exploited for estimating the layers’ characteristics. Then, a linear predictor of the turbulent phase, based on the computed information on the turbulence layers, is constructed. Since scalability and low computational complexity of the control algorithms are important requirements for real AO systems, the computational complexity properties of the proposed model are investigated. Interestingly, the proposed model shows a good scalability and an almost linear computational complexity thanks to its block diagonal structure. Performances of the proposed method are investigated by means of some simulations.

Simulating the turbulence effect on ground telescope observations is of fundamental importance for the design and test of suitable control algorithms for adaptive optics systems. In this paper we propose a multiscale approach for efficiently synthesizing turbulent phases at very high resolution. First, the turbulence is simulated at low resolution, taking advantage of a previously developed method for generating phase screens. Then, high-resolution phase screens are obtained as the output of a multiscale linear stochastic system. The multiscale approach significantly improves the computational efficiency of turbulence simulation with respect to recently developed methods. Furthermore, the proposed procedure ensures good accuracy in reproducing the statistical characteristics of the turbulent phase.

In this work we study the problem of unconstrained distributed optimization in the context of multi-agents systems subject to limited communication connectivity. In particular we focus on the minimization of a sum of convex cost functions, where each component of the global function is available only to a specific agent and can thus be seen as a private local cost. The agents need to cooperate to compute the minimizer of the sum of all costs. We propose a consensus-like strategy to estimate a Newton-Raphson descending update for the local estimates of the global minimizer at each agent. In particular, the algorithm is based on the separation of time-scales principle and it is proved to converge to the global minimizer if a specific parameter that tunes the rate of convergence is chosen sufficiently small. We also provide numerical simulations and compare them with alternative distributed optimization strategies like the Alternating Direction Method of Multipliers and the Distributed Subgradient Method.

Since the last IAEA Conference JET has been in operation for one year with a programmatic focus on the qualification of ITER operating scenarios, the consolidation of ITER design choices and preparation for plasma operation with the ITER-like wall presently being installed in JET. Good progress has been achieved, including stationary ELMy H-mode operation at 4.5?MA. The high confinement hybrid scenario has been extended to high triangularity, lower ?^* and to pulse lengths comparable to the resistive time. The steady-state scenario has also been extended to lower ?^* and ?^* and optimized to simultaneously achieve, under stationary conditions, ITER-like values of all other relevant normalized parameters. A dedicated helium campaign has allowed key aspects of plasma control and H-mode operation for the ITER non-activated phase to be evaluated. Effective sawtooth control by fast ions has been demonstrated with ³He minority ICRH, a scenario with negligible minority current drive. Edge localized mode (ELM) control studies using external n = 1 and n = 2 perturbation fields have found a resonance effect in ELM frequency for specific q₉₅ values. Complete ELM suppression has, however, not been observed, even with an edge Chirikov parameter larger than 1. Pellet ELM pacing has been demonstrated and the minimum pellet size needed to trigger an ELM has been estimated. For both natural and mitigated ELMs a broadening of the divertor ELM-wetted area with increasing ELM size has been found. In disruption studies with massive gas injection up to 50% of the thermal energy could be radiated before, and 20% during, the thermal quench. Halo currents could be reduced by 60% and, using argon/deuterium and neon/deuterium gas mixtures, runaway electron generation could be avoided. Most objectives of the ITER-like ICRH antenna have been demonstrated; matching with closely packed straps, ELM resilience, scattering matrix arc detection and operation at high power density (6.2?MW?m^?2) and antenna strap voltages (42?kV). Coupling measurements are in very good agreement with TOPICA modelling.

A detailed study of position changes of plasma strike points before and after edge localized modes (ELMs) in JET was carried out. A hypothesis being tested is that in an ELM previously closed edge field lines would open up, releasing plasma current and leading to the formation of a new, smaller separatrix. It was observed that after each ELM strike points have shifted a few centimetres towards the plasma centre (up in JET). In some cases a transient (<100?µs), upwards large (>10?cm) jump of strike positions was observed first. It was followed by an equally fast jump down to the shifted strike positions. Such behaviour has not been described in previous computational models of the ELM. Therefore two novel instability mechanisms are presented, which contribute to explain the changes in strike point position: an X-point instability, due to positive toroidal current density at the X-point, and a diamagnetic instability, due to negative inboard toroidal current density.