-
Task Coordination and Trajectory Optimization for Multi-Aerial Systems via Signal Temporal Logic: A Wind Turbine Inspection Study
Authors:
Giuseppe Silano,
Alvaro Caballero,
Davide Liuzza,
Luigi Iannelli,
Stjepan Bogdan,
Martin Saska
Abstract:
This paper presents a method for task allocation and trajectory generation in cooperative inspection missions using a fleet of multirotor drones, with a focus on wind turbine inspection. The approach generates safe, feasible flight paths that adhere to time-sensitive constraints and vehicle limitations by formulating an optimization problem based on Signal Temporal Logic (STL) specifications. An e…
▽ More
This paper presents a method for task allocation and trajectory generation in cooperative inspection missions using a fleet of multirotor drones, with a focus on wind turbine inspection. The approach generates safe, feasible flight paths that adhere to time-sensitive constraints and vehicle limitations by formulating an optimization problem based on Signal Temporal Logic (STL) specifications. An event-triggered replanning mechanism addresses unexpected events and delays, while a generalized robustness scoring method incorporates user preferences and minimizes task conflicts. The approach is validated through simulations in MATLAB and Gazebo, as well as field experiments in a mock-up scenario.
△ Less
Submitted 9 October, 2024;
originally announced October 2024.
-
A Signal Temporal Logic Approach for Task-Based Coordination of Multi-Aerial Systems: a Wind Turbine Inspection Case Study
Authors:
Giuseppe Silano,
Alvaro Caballero,
Davide Liuzza,
Luigi Iannelli,
Stjepan Bogdan,
Martin Saska
Abstract:
The paper addresses task assignment and trajectory generation for collaborative inspection missions using a fleet of multi-rotors, focusing on the wind turbine inspection scenario. The proposed solution enables safe and feasible trajectories while accommodating heterogeneous time-bound constraints and vehicle physical limits. An optimization problem is formulated to meet mission objectives and tem…
▽ More
The paper addresses task assignment and trajectory generation for collaborative inspection missions using a fleet of multi-rotors, focusing on the wind turbine inspection scenario. The proposed solution enables safe and feasible trajectories while accommodating heterogeneous time-bound constraints and vehicle physical limits. An optimization problem is formulated to meet mission objectives and temporal requirements encoded as Signal Temporal Logic (STL) specifications. Additionally, an event-triggered replanner is introduced to address unforeseen events and compensate for lost time. Furthermore, a generalized robustness scoring method is employed to reflect user preferences and mitigate task conflicts. The effectiveness of the proposed approach is demonstrated through MATLAB and Gazebo simulations, as well as field multi-robot experiments in a mock-up scenario.
△ Less
Submitted 18 September, 2024;
originally announced September 2024.
-
Emergence and control of synchronization in networks with directed many-body interactions
Authors:
Fabio Della Rossa,
Davide Liuzza,
Francesco Lo Iudice,
Pietro De Lellis
Abstract:
The emergence of collective behaviors in networks of dynamical units in pairwise interaction has been explained as the effect of diffusive coupling. How does the presence of higher-order interaction impact the onset of spontaneous or induced synchronous behavior? Inspired by actuation and measurement constraints typical of physical and engineered systems, we propose a diffusion mechanism over hype…
▽ More
The emergence of collective behaviors in networks of dynamical units in pairwise interaction has been explained as the effect of diffusive coupling. How does the presence of higher-order interaction impact the onset of spontaneous or induced synchronous behavior? Inspired by actuation and measurement constraints typical of physical and engineered systems, we propose a diffusion mechanism over hypergraphs that explains the onset of synchronization through a clarifying analogy with signed graphs. Our findings are mathematically backed by general conditions for convergence to the synchronous state.
△ Less
Submitted 4 October, 2023;
originally announced October 2023.
-
Power Line Inspection Tasks with Multi-Aerial Robot Systems via Signal Temporal Logic Specifications
Authors:
Giuseppe Silano,
Tomas Baca,
Robert Penicka,
Davide Liuzza,
Martin Saska
Abstract:
A framework for computing feasible and constrained trajectories for a fleet of quad-rotors leveraging on Signal Temporal Logic (STL) specifications for power line inspection tasks is proposed in this paper. The planner allows the formulation of complex missions that avoid obstacles and maintain a safe distance between drones while performing the planned mission. An optimization problem is set to g…
▽ More
A framework for computing feasible and constrained trajectories for a fleet of quad-rotors leveraging on Signal Temporal Logic (STL) specifications for power line inspection tasks is proposed in this paper. The planner allows the formulation of complex missions that avoid obstacles and maintain a safe distance between drones while performing the planned mission. An optimization problem is set to generate optimal strategies that satisfy these specifications and also take vehicle constraints into account. Further, an event-triggered replanner is proposed to reply to unforeseen events and external disturbances. An energy minimization term is also considered to implicitly save quad-rotors battery life while carrying out the mission. Numerical simulations in MATLAB and experimental results show the validity and the effectiveness of the proposed approach, and demonstrate its applicability in real-world scenarios.
△ Less
Submitted 9 February, 2023;
originally announced February 2023.
-
On the distributed backward reachability problem for large scale systems
Authors:
Davide Liuzza,
Paolo Falcone,
Massimo Tipaldi,
Luigi Glielmo
Abstract:
Backward reachability (also termed controllability) has been extensively studied in control theory, and tools for a wide class of systems have been developed. Nevertheless, assessing a backward reachability analysis or synthesis remains challenging as the system dimension grows. In this paper we study the backward reachability problem for large scale networked nonlinear systems with coupled dynami…
▽ More
Backward reachability (also termed controllability) has been extensively studied in control theory, and tools for a wide class of systems have been developed. Nevertheless, assessing a backward reachability analysis or synthesis remains challenging as the system dimension grows. In this paper we study the backward reachability problem for large scale networked nonlinear systems with coupled dynamics and subject to states and inputs nonlinear constraints. We propose a theory for completely general nonlinear constrained large scale controllability problems. We demonstrate that it is always possible to recast such problems for the overall large scale system into an equivalent distributed form where, without introducing any conservativeness, each node of the network iteratively solves a local reachability subproblem by exchanging information with the adjacent nodes. Although the proposed algorithm is completely decentralized, the solution of the backward reachability problem for the overall system is equivalently determined by the local ones and satisfies all the given constraints. Not being linked to any specific assumption on the system dynamics nor static constraints, the proposed results hold irrespectively of any possible analytical/numerical solver to be adopted for backward reachability computation.
△ Less
Submitted 10 September, 2021;
originally announced September 2021.
-
Latest results on quiescent and post-disruption runaway electron mitigation experiments at Frascati Tokamak Upgrade
Authors:
D. Carnevale,
P. Buratti,
M. Baruzzo,
W. Bin,
F. Bombarda,
L. Boncagni,
C. Paz-Soldan,
L. Calacci,
M. Cappelli,
C. Castaldo,
S. Ceccuzzi,
C. Centioli,
C. Cianfarani,
S. Coda,
F. Cordella,
O. D Arcangelo,
J. Decker,
B. Duval,
B. Esposito,
L. Gabellieri,
S. Galeani,
S. Garavaglia,
C. Galperti,
G. Ghillardi,
G. Granucci
, et al. (16 additional authors not shown)
Abstract:
Results from the last FTU campaigns on the deuterium large (wrt FTU volume) pellet REs suppression capability, mainly due to the induced burst MHD activity expelling REs seed are presented for discharges with 0.5 MA and 5.3T. Clear indications of avalanche multiplication of REs following single pellet injection on 0.36 MA flat-top discharges is shown together with quantitative indications of dissi…
▽ More
Results from the last FTU campaigns on the deuterium large (wrt FTU volume) pellet REs suppression capability, mainly due to the induced burst MHD activity expelling REs seed are presented for discharges with 0.5 MA and 5.3T. Clear indications of avalanche multiplication of REs following single pellet injection on 0.36 MA flat-top discharges is shown together with quantitative indications of dissipative effects in terms of critical electrical field increase due to fan-like instabilities. Analysis of large fan-like instabilities on post-disruption RE beams, that seem to be correlated with low electrical field and background density drops, reveal their strong RE energy suppression capability suggesting a new strategy for RE energy suppression controlling large fan instabilities. We demonstrate how such density drops can be induced using modulated ECRH power on post-disruption beams.
△ Less
Submitted 25 May, 2021; v1 submitted 10 May, 2021;
originally announced May 2021.
-
A framework for power line inspection tasks with multi-robot systems from signal temporal logic specifications
Authors:
Giuseppe Silano,
Davide Liuzza,
Luigi Iannelli,
Martin Saska
Abstract:
Inspection of power line infrastructures must be periodically conducted by electric companies in order to ensure reliable electric power distribution. Research efforts are focused on automating the power line inspection process by looking for strategies that satisfy different requirements expressed in terms of potential damage and faults detection. This problem comes up with the need of safe plann…
▽ More
Inspection of power line infrastructures must be periodically conducted by electric companies in order to ensure reliable electric power distribution. Research efforts are focused on automating the power line inspection process by looking for strategies that satisfy different requirements expressed in terms of potential damage and faults detection. This problem comes up with the need of safe planning and control techniques for autonomous robots to perform visual inspection tasks. Such an application becomes even more interesting and of critical importance when considering a multi-robot extension. In this paper, we propose to compute feasible and constrained trajectories for a fleet of quad-rotors leveraging on Signal Temporal Logic (STL) specifications. The planner allows to formulate rather complex missions avoiding obstacles and forbidden areas along the path. Simulations results achieved in MATLAB show the effectiveness of the proposed approach leading the way to experimental tests on the hardware.
△ Less
Submitted 4 March, 2021;
originally announced March 2021.
-
Intermittent yet coordinated regional strategies can alleviate the COVID-19 epidemic: a network model of the Italian case
Authors:
Fabio Della Rossa,
Davide Salzano,
Anna Di Meglio,
Francesco De Lellis,
Marco Coraggio,
Carmela Calabrese,
Agostino Guarino,
Ricardo Cardona,
Pietro DeLellis,
Davide Liuzza,
Francesco Lo Iudice,
Giovanni Russo,
Mario di Bernardo
Abstract:
The COVID-19 epidemic that emerged in Wuhan China at the end of 2019 hit Italy particularly hard, yielding the implementation of strict national lockdown rules (Phase 1). There is now a hot ongoing debate in Italy and abroad on what the best strategy is to restart a country to exit a national lockdown (Phase 2). Previous studies have focused on modelling possible restarting scenarios at the nation…
▽ More
The COVID-19 epidemic that emerged in Wuhan China at the end of 2019 hit Italy particularly hard, yielding the implementation of strict national lockdown rules (Phase 1). There is now a hot ongoing debate in Italy and abroad on what the best strategy is to restart a country to exit a national lockdown (Phase 2). Previous studies have focused on modelling possible restarting scenarios at the national level, overlooking the fact that Italy, as other nations around the world, is divided in administrative regions who can independently oversee their own share of the Italian National Health Service. In this study, we show that regionalism, and heterogeneity between regions, is essential to understand the spread of the epidemic and, more importantly, to design effective post Lock-Down strategies to control the disease. To achieve this, we model Italy as a network of regions and parameterize the model of each region on real data spanning almost two months from the initial outbreak. Using the model, we confirm the effectiveness at the regional level of the national lockdown strategy implemented so far by the Italian government to mitigate the spread of the disease and show its efficacy at the regional level. We also propose that differentiated, albeit coordinated, regional interventions can be effective in Phase 2 to restart the country and avoid future recurrence of the epidemic, while avoiding saturation of the regional health systems and mitigating impact on costs. Our study and methodology can be easily extended to other levels of granularity (provinces or counties in the same region or states in other federal countries, etc.) to support policy- and decision-makers.
△ Less
Submitted 15 May, 2020;
originally announced May 2020.
-
Deep learning control of artificial avatars in group coordination tasks
Authors:
Maria Lombardi,
Davide Liuzza,
Mario di Bernardo
Abstract:
In many joint-action scenarios, humans and robots have to coordinate their movements to accomplish a given shared task. Lifting an object together, sawing a wood log, transferring objects from a point to another are all examples where motor coordination between humans and machines is a crucial requirement. While the dyadic coordination between a human and a robot has been studied in previous inves…
▽ More
In many joint-action scenarios, humans and robots have to coordinate their movements to accomplish a given shared task. Lifting an object together, sawing a wood log, transferring objects from a point to another are all examples where motor coordination between humans and machines is a crucial requirement. While the dyadic coordination between a human and a robot has been studied in previous investigations, the multi-agent scenario in which a robot has to be integrated into a human group still remains a less explored field of research. In this paper we discuss how to synthesise an artificial agent able to coordinate its motion in human ensembles. Driven by a control architecture based on deep reinforcement learning, such an artificial agent will be able to autonomously move itself in order to synchronise its motion with that of the group while exhibiting human-like kinematic features. As a paradigmatic coordination task we take a group version of the so-called mirror-game which is highlighted as a good benchmark in the human movement literature.
△ Less
Submitted 11 June, 2019;
originally announced June 2019.
-
Using learning to control artificial avatars in human motor coordination tasks
Authors:
Maria Lombardi,
Davide Liuzza,
Mario di Bernardo
Abstract:
Designing artificial cyber-agents able to interact with human safely, smartly and in a natural way is a current open problem in control. Solving such an issue will allow the design of cyber-agents capable of co-operatively interacting with people in order to fulfil common joint tasks in a multitude of different applications. This is particularly relevant in the context of healthcare applications.…
▽ More
Designing artificial cyber-agents able to interact with human safely, smartly and in a natural way is a current open problem in control. Solving such an issue will allow the design of cyber-agents capable of co-operatively interacting with people in order to fulfil common joint tasks in a multitude of different applications. This is particularly relevant in the context of healthcare applications. Indeed, the use has been proposed of artificial agents interacting and coordinating their movements with those of a patient suffering from social or motor disorders. Specifically, it has been shown that an artificial agent exhibiting certain kinematic properties could provide innovative and efficient rehabilitation strategies for these patients. Moreover, it has also been shown that the level of motor coordination is enhanced if these kinematic properties are similar to those of the individual it is interacting with. In this paper we discuss, first, a new method based on Markov Chains to confer "human motor characteristics" on a virtual agent, so as that it can coordinate its motion with that of a target individual while exhibiting specific kinematic properties. Then, we embed such synthetic model in a control architecture based on reinforcement learning to synthesize a cyber-agent able to mimic the behaviour of a specific human performing a joint motor task with one or more individuals.
△ Less
Submitted 17 June, 2020; v1 submitted 9 October, 2018;
originally announced October 2018.
-
$PI^hD^{n-1}$ synchronization of higher-order nonlinear systems with a recursive Lyapunov approach
Authors:
Davide Liuzza,
Dimos V. Dimarogonas,
Karl H. Johansson
Abstract:
This paper investigates the problem of synchronization for nonlinear systems. Following a Lyapunov approach, we firstly study global synchronization of nonlinear systems in canonical control form with both distributed proportional-derivative and proportional-integral-derivative control actions of any order. To do so, we develop a constructive methodology and generate in an iterative way inequality…
▽ More
This paper investigates the problem of synchronization for nonlinear systems. Following a Lyapunov approach, we firstly study global synchronization of nonlinear systems in canonical control form with both distributed proportional-derivative and proportional-integral-derivative control actions of any order. To do so, we develop a constructive methodology and generate in an iterative way inequality constraints on the coupling matrices which guarantee the solvability of the problem or, in a dual form, provide the nonlinear weights on the coupling links between the agents such that the network synchronizes. The same methodology allows to include a possible distributed integral action of any order to enhance the rejection of heterogeneous disturbances.The considered approach does not require any dynamic cancellation, thus preserving the original nonlinear dynamics of the agents. The results are then extended to linear and nonlinear systems admitting a canonical control transformation. Numerical simulations validate the theoretical results.
△ Less
Submitted 4 April, 2017;
originally announced April 2017.
-
Convergence and synchronization in heterogeneous networks of smooth and piecewise smooth systems
Authors:
Pietro DeLellis,
Mario di Bernardo,
Davide Liuzza
Abstract:
This paper presents a framework for the study of convergence when the nodes' dynamics may be both piecewise smooth and/or nonidentical across the network. Specifically, we derive sufficient conditions for global convergence of all node trajectories towards the same bounded region of their state space. The analysis is based on the use of set-valued Lyapunov functions and bounds are derived on the m…
▽ More
This paper presents a framework for the study of convergence when the nodes' dynamics may be both piecewise smooth and/or nonidentical across the network. Specifically, we derive sufficient conditions for global convergence of all node trajectories towards the same bounded region of their state space. The analysis is based on the use of set-valued Lyapunov functions and bounds are derived on the minimum coupling strength required to make all nodes in the network converge towards each other. We also provide an estimate of the asymptotic bound $ε$ on the mismatch between the node states at steady state. The analysis is performed both for linear and nonlinear coupling protocols. The theoretical analysis is extensively illustrated and validated via its application to a set of representative numerical examples.
△ Less
Submitted 7 April, 2014;
originally announced April 2014.
-
Contraction analysis of switched systems: the case of Caratheodory Systems and Networks
Authors:
Mario di Bernardo,
Davide Liuzza,
Giovanni Russo
Abstract:
In this paper we extend to a generic class of piecewise smooth dynamical systems a fundamental tool for the analysis of convergence of smooth dynamical systems: contraction theory. We focus on switched systems satisfying Caratheodory conditions for the existence and unicity of a solution. After generalizing the classical definition of contraction to this class of dynamical systems, we give suffici…
▽ More
In this paper we extend to a generic class of piecewise smooth dynamical systems a fundamental tool for the analysis of convergence of smooth dynamical systems: contraction theory. We focus on switched systems satisfying Caratheodory conditions for the existence and unicity of a solution. After generalizing the classical definition of contraction to this class of dynamical systems, we give sufficient conditions for global exponential convergence of their trajectories. The theoretical results are then applied to solve a set of representative problems including proving global asymptotic stability of switched linear systems, giving conditions for incremental stability of piecewise smooth systems, and analyzing the convergence of networked switched linear systems.
△ Less
Submitted 4 October, 2011;
originally announced October 2011.