ROMay 30
Proactive-reactive detection and mitigation of intermittent faults in robot swarmsSinan Oğuz, Emanuele Garone, Marco Dorigo et al.
Intermittent faults are transient errors that sporadically appear and disappear. Although intermittent faults pose substantial challenges to reliability and coordination, existing studies of fault tolerance in robot swarms focus instead on permanent faults. One reason for this is that intermittent faults are prohibitively difficult to detect in the fully self-organized ad-hoc networks typical of robot swarms, as their network topologies are transient and often unpredictable. However, in the recently introduced self-organizing nervous systems (SoNS) approach, robot swarms are able to self-organize persistent network structures for the first time, easing the problem of detecting intermittent faults. To address intermittent faults in robot swarms that have persistent networks, we propose a novel proactive-reactive strategy to detection and mitigation, based on self-organized backup layers and distributed consensus in a multiplex network. Proactively, the robots self-organize dynamic backup paths before faults occur, adapting to changes in the primary network topology and the robots' relative positions. Reactively, robots use one-shot likelihood ratio tests to compare information received along different paths in the multiplex network, enabling early fault detection. Upon detection, communication is temporarily rerouted in a self-organized way, until the detected fault resolves. We validate the approach in representative scenarios of faulty positional data occurring during formation control, demonstrating that intermittent faults are prevented from disrupting convergence to desired formations, with high fault detection accuracy and low rates of false positives.
OCJul 9, 2011
Stochastic Sensor Scheduling for Energy Constrained Estimation in Multi-Hop Wireless Sensor NetworksYilin Mo, Emanuele Garone, Alessandro Casavola et al.
Wireless Sensor Networks (WSNs) enable a wealth of new applications where remote estimation is essential. Individual sensors simultaneously sense a dynamic process and transmit measured information over a shared channel to a central fusion center. The fusion center computes an estimate of the process state by means of a Kalman filter. In this paper we assume that the WSN admits a tree topology with fusion center at the root. At each time step only a subset of sensors can be selected to transmit observations to the fusion center due to a limited energy budget. We propose a stochastic sensor selection algorithm that randomly selects a subset of sensors according to certain probability distribution, which is opportunely designed to minimize the asymptotic expected estimation error covariance matrix. We show that the optimal stochastic sensor selection problem can be relaxed into a convex optimization problem and thus solved efficiently. We also provide a possible implementation of our algorithm which does not introduce any communication overhead. The paper ends with some numerical examples that show the effectiveness of the proposed approach.
SYNov 29, 2018
Constrained Control of Depth of Hypnosis During Induction PhaseMehdi Hosseinzadeh, Guy A. Dumont, Emanuele Garone
This paper proposes a constrained control scheme for the control of the depth of hypnosis during induction phase in clinical anesthesia. In contrast with existing control schemes for propofol delivery, the proposed scheme guarantees overdosing prevention while ensuring good performance. The core idea is to reformulate overdosing prevention as a constraint, and then use the recently introduced Explicit Reference Governor to enforce the constraint satisfaction at all times. The proposed scheme is evaluated in comparison with a robust PID controller on a simulated surgical procedure for 44 patients whose Pharmacokinetic-Pharmacodynamic models have been identified using clinical data. The results demonstrate that the proposed constrained control scheme can deliver propofol to yield good induction phase response while preventing overdosing in patients; whereas other existing schemes might cause overdosing in some patients. Simulations show that mean rise time, mean settling time, and mean overshoot of less than 5 [min], 8 [min], and 10%, respectively, are achieved, which meet typical anesthesiologists' response specifications.
SYFeb 24, 2019
Technical Note for "A Geodesic Approach for the Control of Tethered Quadrotors"Tam W. Nguyen, Marco M. Nicotra, Emanuele Garone
This technical note focuses on the control of a quadrotor unmanned aerial vehicle (UAV) tethered to the ground. The control objective is to stabilize the UAV to the desired position while ensuring that the cable remains taut at all times. A cascade control scheme is proposed. The inner loop controls the attitude of the UAV. The outer loop gives the attitude reference to the inner loop, and is designed so that (i) the gravity force is compensated, (ii) the cable is taut at all times, and (iii) the trajectory of the UAV follows the geodesic path. To prove asymptotic stability, small gain arguments are used. The control scheme is augmented with a reference governor to enforce constraints.
SYDec 21, 2017
Explicit Reference Governor for the Constrained Control of Time-Delayed Linear SystemsMarco M. Nicotra, Tam Nguyen, Emanuele Garone et al.
This paper introduces an explicit reference governor approach for controlling time delay linear systems subject to state and input constraints. The proposed framework relies on suitable invariant sets that can be built using both Lyapunov-Razumikhin and Lyapunov-Krasovskii arguments. The proposed method is validated both numerically and experimentally using several alternative formulations.
SYApr 15
General formulation of an analytic, Lipschitz continuous control allocation for thrust-vectored controlled rigid-bodiesFrank Mukwege, Tam Willy Nguyen, Emanuele Garone
This paper presents a general framework for solving the control allocation problem (CAP) in thrust-vector controlled rigid-bodies with an arbitrary number of thrusters. Two novel solutions are proposed: a closed-form, Lipschitz continuous mapping that ensures smooth actuator orientation references, and a convex optimization formulation capable of handling practical actuator constraints such as thrust saturation and angular rate limits. Both methods leverage the nullspace structure of the allocation mapping to perform singularity avoidance while generating sub-optimal yet practical solutions. The effectiveness and generality of the proposed framework are demonstrated through numerical examples on a marine vessel and an aerial quadcopter.
SYApr 5
Optimization-Free Constrained Control with Guaranteed Recursive Feasibility: A CBF-Based Reference Governor ApproachSatoshi Nakano, Emanuele Garone, Gennaro Notomista
This letter presents a constrained control framework that integrates Explicit Reference Governors (ERG) with Control Barrier Functions (CBF) to ensure recursive feasibility without online optimization. We formulate the reference update as a virtual control input for an augmented system, governed by a smooth barrier function constructed from the softmin aggregation of Dynamic Safety Margins (DSMs). Unlike standard CBF formulations, the proposed method guarantees the feasibility of safety constraints by design, exploiting the forward invariance properties of the underlying Lyapunov level sets. This allows for the derivation of an explicit, closed-form reference update law that strictly enforces safety while minimizing deviation from a nominal reference trajectory. Theoretical results confirm asymptotic convergence, and numerical simulations demonstrate that the proposed method achieves performance comparable to traditional ERG frameworks.
SYMar 3, 2021
Constraint Control of a Boom Crane SystemMichele Ambrosino, Arnaud Dawans, Emanuele Garone
Boom cranes are among the most used cranes to lift heavy loads. Although fairly simple mechanically, from the control viewpoint this kind of crane is a nonlinear underactuated system which presents several challenges, especially when con-trolled in the presence of constraints. To solve this problem, we propose an approach based on the Explicit Reference Governor (ERG), which does not require any online optimization, thus making it computationally inexpensive. The proposed control scheme is able to steer the crane to a desired position ensuring the respect of limited joint ranges, maximum oscillation angle, and the avoidance of static obstacles.
SYMar 3, 2021
Oscillation Reduction for Knuckle CranesMichele Ambrosino, Brent Thierens, Arnaud Dawans et al.
Boom cranes are among the most common material handling systems due to their simple design. Some boom cranes also have an auxiliary jib connected to the boom with a flexible joint to enhance the maneuverability and increase the workspace of the crane. Such boom cranes are commonly called knuckle boom cranes. Due to their underactuated properties, it is fairly challenging to control knuckle boom cranes. To the best of our knowledge, only a few techniques are present in the literature to control this type of cranes using approximate models of the crane. In this paper we present for the first time a complete mathematical model for this crane where it is possible to control the three rotations of the crane (known as luff, slew, and jib movement), and the cable length. One of the main challenges to control this system is how to reduce the oscillations in an effective way. In this paper we propose a nonlinear control based on energy considerations capable of guiding the crane to desired sets points while effectively reducing load oscillations. The corresponding stability and convergence analysis is proved using the LaSalle's invariance principle. Simulation results are provided to demonstrate the effectiveness and feasibility of the proposed method.
SYMar 3, 2021
Modeling and control of 5-DoF boom craneMichele Ambrosino, Marc Berneman, Gianluca Carbone et al.
Automation of cranes can have a direct impact on the productivity of construction projects. In this paper, we focus on the control of one of the most used cranes, the boom crane. Tower cranes and overhead cranes have been widely studied in the literature, whereas the control of boom cranes has been investigated only by a few works. Typically, these works make use of simple models making use of a large number of simplifying assumptions (e.g. fixed length cable, assuming certain dynamics are uncoupled, etc.) A first result of this paper is to present a fairly complete nonlinear dynamic model of a boom crane taking into account all coupling dynamics and where the only simplifying assumption is that the cable is considered as rigid. The boom crane involves pitching and rotational movements, which generate complicated centrifugal forces, and consequently, equations of motion highly nonlinear. On the basis of this model, a control law has been developed able to perform position control of the crane while actively damping the oscillations of the load. The effectiveness of the approach has been tested in simulation with realistic physical parameters and tested in the presence of wind disturbances.
ROMay 9, 2018
Proofs of Control of a Quadrotor and a Ground Vehicle Manipulating an ObjectTam W. Nguyen, Laurent Catoire, Emanuele Garone
This paper focuses on the control of a cooperative system composed of an Unmanned Aerial Vehicle (UAV) and an Unmanned Ground Vehicle (UGV) manipulating an object. The two units are subject to input saturations and collaborate to move the object to a desired pose characterized by its position and inclination. The dynamics are derived using Euler-Lagrange method. A pre-stabilizing control law is proposed where the UGV is tasked to deploy the object to a certain position whereas the UAV adjusts its inclination. In particular, a proportional-derivative control law is proposed for the UGV, and a cascade control approach is used for the UAV, where the inner loop controls the attitude of the UAV and the outer loop stabilizes the inclination of the object. Then, we prove the stability of the points of equilibrium using small gain arguments. To ensure constraints satisfaction at all times, a reference governor unit is added to the pre-stabilizing control scheme. Finally, numerical results combined with experimental results are provided to validate the effectiveness of the proposed control scheme in practice.
MAMar 19, 2017
A Passivity-Based Distributed Reference Governor for Constrained Robotic NetworksTam Nguyen, Takeshi Hatanaka, Mamoru Doi et al.
This paper focuses on a passivity-based distributed reference governor (RG) applied to a pre-stabilized mobile robotic network. The novelty of this paper lies in the method used to solve the RG problem, where a passivity-based distributed optimization scheme is proposed. In particular, the gradient descent method minimizes the global objective function while the dual ascent method maximizes the Hamiltonian. To make the agents converge to the agreed optimal solution, a proportional-integral consensus estimator is used. This paper proves the convergence of the state estimates of the RG to the optimal solution through passivity arguments, considering the physical system static. Then, the effectiveness of the scheme considering the dynamics of the physical system is demonstrated through simulations and experiments.
SYMar 1, 2016
Proof of Control of a UAV and a UGV Cooperating to Manipulate an ObjectTam Nguyen, Emanuele Garone
This paper focuses on the control of a system composed of an Unmanned Aerial Vehicle (UAV) and an Unmanned Ground Vehicle (UGV) which cooperate to manipulate an object. The two units are subject to actuator saturations and cooperate to move the object to a desired pose, characterized by its position and inclination. The paper proposes a control strategy where the ground vehicle is tasked to deploy the object to a certain position, whereas the aerial vehicle adjusts its inclination. The ground vehicle is governed by a saturated proportional-derivative control law. The aerial vehicle is regulated by means of a cascade control specifically designed for this problem that is able to exploit the mechanical interconnection. The stability of the overall system is proved through Input-to-State Stability and Small Gain theorem arguments. To solve the problem of constraints satisfaction, a nonlinear Reference Governor scheme is implemented. Numerical simulations are provided to demonstrate the effectiveness of the proposed method.