-
Hybrid Lyapunov-based feedback stabilization of bipedal locomotion based on reference spreading
Authors:
Riccardo Bertollo,
Gianni Lunardi,
Andrea Del Prete,
Luca Zaccarian
Abstract:
We propose a hybrid formulation of the linear inverted pendulum model for bipedal locomotion, where the foot switches are triggered based on the center of mass position, removing the need for pre-defined footstep timings. Using a concept similar to reference spreading, we define nontrivial tracking error coordinates induced by our hybrid model. These coordinates enjoy desirable linear flow dynamic…
▽ More
We propose a hybrid formulation of the linear inverted pendulum model for bipedal locomotion, where the foot switches are triggered based on the center of mass position, removing the need for pre-defined footstep timings. Using a concept similar to reference spreading, we define nontrivial tracking error coordinates induced by our hybrid model. These coordinates enjoy desirable linear flow dynamics and rather elegant jump dynamics perturbed by a suitable extended class ${\mathcal K}_\infty$ function of the position error. We stabilize this hybrid error dynamics using a saturated feedback controller, selecting its gains by solving a convex optimization problem. We prove local asymptotic stability of the tracking error and provide a certified estimate of the basin of attraction, comparing it with a numerical estimate obtained from the integration of the closed-loop dynamics. Simulations on a full-body model of a real robot show the practical applicability of the proposed framework and its advantages with respect to a standard model predictive control formulation.
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
ALPINE: a climbing robot for operations in mountain environments
Authors:
Michele Focchi,
Andrea Del Prete,
Daniele Fontanelli,
Marco Frego,
Angelika Peer,
Luigi Palopoli
Abstract:
Mountain slopes are perfect examples of harsh environments in which humans are required to perform difficult and dangerous operations such as removing unstable boulders, dangerous vegetation or deploying safety nets. A good replacement for human intervention can be offered by climbing robots. The different solutions existing in the literature are not up to the task for the difficulty of the requir…
▽ More
Mountain slopes are perfect examples of harsh environments in which humans are required to perform difficult and dangerous operations such as removing unstable boulders, dangerous vegetation or deploying safety nets. A good replacement for human intervention can be offered by climbing robots. The different solutions existing in the literature are not up to the task for the difficulty of the requirements (navigation, heavy payloads, flexibility in the execution of the tasks). In this paper, we propose a robotic platform that can fill this gap. Our solution is based on a robot that hangs on ropes, and uses a retractable leg to jump away from the mountain walls. Our package of mechanical solutions, along with the algorithms developed for motion planning and control, delivers swift navigation on irregular and steep slopes, the possibility to overcome or travel around significant natural barriers, and the ability to carry heavy payloads and execute complex tasks. In the paper, we give a full account of our main design and algorithmic choices and show the feasibility of the solution through a large number of physically simulated scenarios.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
Constant mean curvature graphs with prescribed asymptotic values in $\mathbb{E}(-1,τ)$
Authors:
Andrea Del Prete
Abstract:
In the homogeneous manifold $\mathbb{E}(-1,τ),$ for $0<H<\tfrac{1}{2},$ we prove the existence of entire $H$-graphs which are asymptotic to a rectifiable curve of the asymptotic boundary. We also find necessary and sufficient conditions for the existence of $H$-graphs over unbounded domains having prescribed, possibly infinite boundary data.
In the homogeneous manifold $\mathbb{E}(-1,τ),$ for $0<H<\tfrac{1}{2},$ we prove the existence of entire $H$-graphs which are asymptotic to a rectifiable curve of the asymptotic boundary. We also find necessary and sufficient conditions for the existence of $H$-graphs over unbounded domains having prescribed, possibly infinite boundary data.
△ Less
Submitted 11 February, 2024;
originally announced February 2024.
-
CACTO-SL: Using Sobolev Learning to improve Continuous Actor-Critic with Trajectory Optimization
Authors:
Elisa Alboni,
Gianluigi Grandesso,
Gastone Pietro Rosati Papini,
Justin Carpentier,
Andrea Del Prete
Abstract:
Trajectory Optimization (TO) and Reinforcement Learning (RL) are powerful and complementary tools to solve optimal control problems. On the one hand, TO can efficiently compute locally-optimal solutions, but it tends to get stuck in local minima if the problem is not convex. On the other hand, RL is typically less sensitive to non-convexity, but it requires a much higher computational effort. Rece…
▽ More
Trajectory Optimization (TO) and Reinforcement Learning (RL) are powerful and complementary tools to solve optimal control problems. On the one hand, TO can efficiently compute locally-optimal solutions, but it tends to get stuck in local minima if the problem is not convex. On the other hand, RL is typically less sensitive to non-convexity, but it requires a much higher computational effort. Recently, we have proposed CACTO (Continuous Actor-Critic with Trajectory Optimization), an algorithm that uses TO to guide the exploration of an actor-critic RL algorithm. In turns, the policy encoded by the actor is used to warm-start TO, closing the loop between TO and RL. In this work, we present an extension of CACTO exploiting the idea of Sobolev learning. To make the training of the critic network faster and more data efficient, we enrich it with the gradient of the Value function, computed via a backward pass of the differential dynamic programming algorithm. Our results show that the new algorithm is more efficient than the original CACTO, reducing the number of TO episodes by a factor ranging from 3 to 10, and consequently the computation time. Moreover, we show that CACTO-SL helps TO to find better minima and to produce more consistent results.
△ Less
Submitted 17 December, 2023;
originally announced December 2023.
-
Parabolicity of invariant Surfaces
Authors:
Andrea Del Prete,
Vicent Gimeno i Garcia
Abstract:
We present a clear and practical way to characterize the parabolicity of a complete immersed surface that is invariant with respect to a Killing vector field of the ambient space.
We present a clear and practical way to characterize the parabolicity of a complete immersed surface that is invariant with respect to a Killing vector field of the ambient space.
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
Receding-Constraint Model Predictive Control using a Learned Approximate Control-Invariant Set
Authors:
Gianni Lunardi,
Asia La Rocca,
Matteo Saveriano,
Andrea Del Prete
Abstract:
In recent years, advanced model-based and data-driven control methods are unlocking the potential of complex robotics systems, and we can expect this trend to continue at an exponential rate in the near future. However, ensuring safety with these advanced control methods remains a challenge. A well-known tool to make controllers (either Model Predictive Controllers or Reinforcement Learning polici…
▽ More
In recent years, advanced model-based and data-driven control methods are unlocking the potential of complex robotics systems, and we can expect this trend to continue at an exponential rate in the near future. However, ensuring safety with these advanced control methods remains a challenge. A well-known tool to make controllers (either Model Predictive Controllers or Reinforcement Learning policies) safe, is the so-called control-invariant set (a.k.a. safe set). Unfortunately, for nonlinear systems, such a set cannot be exactly computed in general. Numerical algorithms exist for computing approximate control-invariant sets, but classic theoretic control methods break down if the set is not exact. This paper presents our recent efforts to address this issue. We present a novel Model Predictive Control scheme that can guarantee recursive feasibility and/or safety under weaker assumptions than classic methods. In particular, recursive feasibility is guaranteed by making the safe-set constraint move backward over the horizon, and assuming that such set satisfies a condition that is weaker than control invariance. Safety is instead guaranteed under an even weaker assumption on the safe set, triggering a safe task-abortion strategy whenever a risk of constraint violation is detected. We evaluated our approach on a simulated robot manipulator, empirically demonstrating that it leads to less constraint violations than state-of-the-art approaches, while retaining reasonable performance in terms of tracking cost and number of completed tasks.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
Efficient Reinforcement Learning for Jum** Monopods
Authors:
Riccardo Bussola,
Michele Focchi,
Andrea Del Prete,
Daniele Fontanelli,
Luigi Palopoli
Abstract:
In this work, we consider the complex control problem of making a monopod reach a target with a jump. The monopod can jump in any direction and the terrain underneath its foot can be uneven. This is a template of a much larger class of problems, which are extremely challenging and computationally expensive to solve using standard optimisation-based techniques. Reinforcement Learning (RL) could be…
▽ More
In this work, we consider the complex control problem of making a monopod reach a target with a jump. The monopod can jump in any direction and the terrain underneath its foot can be uneven. This is a template of a much larger class of problems, which are extremely challenging and computationally expensive to solve using standard optimisation-based techniques. Reinforcement Learning (RL) could be an interesting alternative, but the application of an end-to-end approach in which the controller must learn everything from scratch, is impractical. The solution advocated in this paper is to guide the learning process within an RL framework by injecting physical knowledge. This expedient brings to widespread benefits, such as a drastic reduction of the learning time, and the ability to learn and compensate for possible errors in the low-level controller executing the motion. We demonstrate the advantage of our approach with respect to both optimization-based and end-to-end RL approaches.
△ Less
Submitted 13 October, 2023; v1 submitted 13 September, 2023;
originally announced September 2023.
-
Multi-contact Stochastic Predictive Control for Legged Robots with Contact Locations Uncertainty
Authors:
Ahmad Gazar,
Majid Khadiv,
Andrea Del Prete,
Ludovic Righetti
Abstract:
Trajectory optimization under uncertainties is a challenging problem for robots in contact with the environment. Such uncertainties are inevitable due to estimation errors, control imperfections, and model mismatches between planning models used for control and the real robot dynamics. This induces control policies that could violate the contact location constraints by making contact at unintended…
▽ More
Trajectory optimization under uncertainties is a challenging problem for robots in contact with the environment. Such uncertainties are inevitable due to estimation errors, control imperfections, and model mismatches between planning models used for control and the real robot dynamics. This induces control policies that could violate the contact location constraints by making contact at unintended locations, and as a consequence leading to unsafe motion plans. This work addresses the problem of robust kino-dynamic whole-body trajectory optimization using stochastic nonlinear model predictive control (SNMPC) by considering additive uncertainties on the model dynamics subject to contact location chance-constraints as a function of robot's full kinematics. We demonstrate the benefit of using SNMPC over classic nonlinear MPC (NMPC) for whole-body trajectory optimization in terms of contact location constraint satisfaction (safety). We run extensive Monte-Carlo simulations for a quadruped robot performing agile trotting and bounding motions over small step** stones, where contact location satisfaction becomes critical. Our results show that SNMPC is able to perform all motions safely with 100% success rate, while NMPC failed 48.3% of all motions.
△ Less
Submitted 12 June, 2024; v1 submitted 8 September, 2023;
originally announced September 2023.
-
Minimal graphs over non-compact domains in 3-manifolds fibered by a Killing vector field
Authors:
Andrea Del Prete
Abstract:
Let $\mathbb{E}$ be a connected and orientable Riemannian 3-manifold with a non-singular Killing vector field $ξ\in\mathfrak{X}(\mathbb{E})$ whose associated one-parameter group of the isometries of $\mathbb{E}$ acts freely and properly on $\mathbb{E}$. Then, there is a Killing submersion from $\mathbb{E}$ onto a connected and orientable surface $M$ whose fibers are the integral curves of $ξ$. In…
▽ More
Let $\mathbb{E}$ be a connected and orientable Riemannian 3-manifold with a non-singular Killing vector field $ξ\in\mathfrak{X}(\mathbb{E})$ whose associated one-parameter group of the isometries of $\mathbb{E}$ acts freely and properly on $\mathbb{E}$. Then, there is a Killing submersion from $\mathbb{E}$ onto a connected and orientable surface $M$ whose fibers are the integral curves of $ξ$. In this setting we solve the Dirichlet problem for minimal Killing graphs over certain unbounded domains of $M$, taking piecewise continuous boundary values. We obtain general Collin-Krust type estimates. In the particular case of the Heisenberg group, we prove a uniqueness result for minimal Killing graphs with bounded boundary values over a strip. We also prove that isolated singularities of Killing graphs with prescribed mean curvature are removable.
△ Less
Submitted 16 January, 2024; v1 submitted 18 July, 2023;
originally announced July 2023.
-
The Jenkins-Serrin problem in 3-manifolds with a Killing vector field
Authors:
Andrea Del Prete,
José M. Manzano,
Barbara Nelli
Abstract:
We consider a Riemannian submersion from a 3-manifold $\mathbb{E}$ to a surface $M$, both connected and orientable, whose fibers are the integral curves of a Killing vector field without zeros, not necessarily unitary. We solve the Jenkins-Serrin problem for the minimal surface equation in $\mathbb{E}$ over a relatively compact open domain $Ω\subset M$ with prescribed finite or infinite values on…
▽ More
We consider a Riemannian submersion from a 3-manifold $\mathbb{E}$ to a surface $M$, both connected and orientable, whose fibers are the integral curves of a Killing vector field without zeros, not necessarily unitary. We solve the Jenkins-Serrin problem for the minimal surface equation in $\mathbb{E}$ over a relatively compact open domain $Ω\subset M$ with prescribed finite or infinite values on some arcs of the boundary under the only assumption that the same value $+\infty$ or $-\infty$ cannot be prescribed on two adjacent components of $\partialΩ$ forming a convex angle. The domain $Ω$ can have reentrant corners as well as closed curves in its boundary. We show that the solution exists if and only if some generalized Jenkins-Serrin conditions (in terms of a conformal metric in $M$) are fulfilled. We develop further the theory of divergence lines to study the convergence of a sequence of minimal graphs. We also provide maximum principles that guarantee the uniqueness of the solution. Finally, we obtain new examples of minimal surfaces in $\mathbb{R}^3$ and in other homogeneous $3$-manifolds.
△ Less
Submitted 21 June, 2023;
originally announced June 2023.
-
A duality for prescribed mean curvature graphs in Riemannian and Lorentzian Killing submersions
Authors:
Andrea Del Prete,
Hojoo Lee,
José M. Manzano
Abstract:
We develop a conformal duality for spacelike graphs in Riemannian and Lorentzian three-manifolds that admit a Riemannian submersion over a Riemannian surface whose fibers are the integral curves of a Killing vector field, which is timelike in the Lorentzian case. The duality swaps mean curvature and bundle curvature and sends the length of the Killing vector field to its reciprocal while kee** i…
▽ More
We develop a conformal duality for spacelike graphs in Riemannian and Lorentzian three-manifolds that admit a Riemannian submersion over a Riemannian surface whose fibers are the integral curves of a Killing vector field, which is timelike in the Lorentzian case. The duality swaps mean curvature and bundle curvature and sends the length of the Killing vector field to its reciprocal while kee** invariant the base surface. We obtain two consequences of this result. On the one hand, we find entire graphs in Lorentz-Minkowski space $\mathbb{L}^3$ with prescribed mean curvature a bounded function $H\in C^\infty(\mathbb{R}^2)$ with bounded gradient. On the other hand, we obtain conditions for existence and non existence of entire graphs which are related to a notion of critical mean curvature.
△ Less
Submitted 22 June, 2023; v1 submitted 1 June, 2023;
originally announced June 2023.
-
Reactive Landing Controller for Quadruped Robots
Authors:
Francesco Roscia,
Michele Focchi,
Andrea Del Prete,
Darwin G. Caldwell,
Claudio Semini
Abstract:
Quadruped robots are machines intended for challenging and harsh environments. Despite the progress in locomotion strategy, safely recovering from unexpected falls or planned drops is still an open problem. It is further made more difficult when high horizontal velocities are involved. In this work, we propose an optimization-based reactive Landing Controller that uses only proprioceptive measures…
▽ More
Quadruped robots are machines intended for challenging and harsh environments. Despite the progress in locomotion strategy, safely recovering from unexpected falls or planned drops is still an open problem. It is further made more difficult when high horizontal velocities are involved. In this work, we propose an optimization-based reactive Landing Controller that uses only proprioceptive measures for torque-controlled quadruped robots that free-fall on a flat horizontal ground, knowing neither the distance to the landing surface nor the flight time. Based on an estimate of the Center of Mass horizontal velocity, the method uses the Variable Height Springy Inverted Pendulum model for continuously recomputing the feet position while the robot is falling. In this way, the quadruped is ready to attain a successful landing in all directions, even in the presence of significant horizontal velocities. The method is demonstrated to dramatically enlarge the region of horizontal velocities that can be dealt with by a naive approach that keeps the feet still during the airborne stage. To the best of our knowledge, this is the first time that a quadruped robot can successfully recover from falls with horizontal velocities up to 3 m/s in simulation. Experiments prove that the used platform, Go1, can successfully attain a stable standing configuration from falls with various horizontal velocity and different angular perturbations.
△ Less
Submitted 12 September, 2023; v1 submitted 12 May, 2023;
originally announced May 2023.
-
VBOC: Learning the Viability Boundary of a Robot Manipulator using Optimal Control
Authors:
Asia La Rocca,
Matteo Saveriano,
Andrea Del Prete
Abstract:
Safety is often the most important requirement in robotics applications. Nonetheless, control techniques that can provide safety guarantees are still extremely rare for nonlinear systems, such as robot manipulators. A well-known tool to ensure safety is the Viability kernel, which is the largest set of states from which safety can be ensured. Unfortunately, computing such a set for a nonlinear sys…
▽ More
Safety is often the most important requirement in robotics applications. Nonetheless, control techniques that can provide safety guarantees are still extremely rare for nonlinear systems, such as robot manipulators. A well-known tool to ensure safety is the Viability kernel, which is the largest set of states from which safety can be ensured. Unfortunately, computing such a set for a nonlinear system is extremely challenging in general. Several numerical algorithms for approximating it have been proposed in the literature, but they suffer from the curse of dimensionality. This paper presents a new approach for numerically approximating the viability kernel of robot manipulators. Our approach solves optimal control problems to compute states that are guaranteed to be on the boundary of the set. This allows us to learn directly the set boundary, therefore learning in a smaller dimensional space. Compared to the state of the art on systems up to dimension 6, our algorithm resulted to be more than 2 times as accurate for the same computation time, or 6 times as fast to reach the same accuracy.
△ Less
Submitted 11 September, 2023; v1 submitted 12 May, 2023;
originally announced May 2023.
-
Optimization-Based Control for Dynamic Legged Robots
Authors:
Patrick M. Wensing,
Michael Posa,
Yue Hu,
Adrien Escande,
Nicolas Mansard,
Andrea Del Prete
Abstract:
In a world designed for legs, quadrupeds, bipeds, and humanoids have the opportunity to impact emerging robotics applications from logistics, to agriculture, to home assistance. The goal of this survey is to cover the recent progress toward these applications that has been driven by model-based optimization for the real-time generation and control of movement. The majority of the research communit…
▽ More
In a world designed for legs, quadrupeds, bipeds, and humanoids have the opportunity to impact emerging robotics applications from logistics, to agriculture, to home assistance. The goal of this survey is to cover the recent progress toward these applications that has been driven by model-based optimization for the real-time generation and control of movement. The majority of the research community has converged on the idea of generating locomotion control laws by solving an optimal control problem (OCP) in either a model-based or data-driven manner. However, solving the most general of these problems online remains intractable due to complexities from intermittent unidirectional contacts with the environment, and from the many degrees of freedom of legged robots. This survey covers methods that have been pursued to make these OCPs computationally tractable, with specific focus on how environmental contacts are treated, how the model can be simplified, and how these choices affect the numerical solution methods employed. The survey focuses on model-based optimization, covering its recent use in a stand alone fashion, and suggesting avenues for combination with learning-based formulations to further accelerate progress in this growing field.
△ Less
Submitted 21 November, 2022;
originally announced November 2022.
-
CACTO: Continuous Actor-Critic with Trajectory Optimization -- Towards global optimality
Authors:
Gianluigi Grandesso,
Elisa Alboni,
Gastone P. Rosati Papini,
Patrick M. Wensing,
Andrea Del Prete
Abstract:
This paper presents a novel algorithm for the continuous control of dynamical systems that combines Trajectory Optimization (TO) and Reinforcement Learning (RL) in a single framework. The motivations behind this algorithm are the two main limitations of TO and RL when applied to continuous nonlinear systems to minimize a non-convex cost function. Specifically, TO can get stuck in poor local minima…
▽ More
This paper presents a novel algorithm for the continuous control of dynamical systems that combines Trajectory Optimization (TO) and Reinforcement Learning (RL) in a single framework. The motivations behind this algorithm are the two main limitations of TO and RL when applied to continuous nonlinear systems to minimize a non-convex cost function. Specifically, TO can get stuck in poor local minima when the search is not initialized close to a "good" minimum. On the other hand, when dealing with continuous state and control spaces, the RL training process may be excessively long and strongly dependent on the exploration strategy. Thus, our algorithm learns a "good" control policy via TO-guided RL policy search that, when used as initial guess provider for TO, makes the trajectory optimization process less prone to converge to poor local optima. Our method is validated on several reaching problems featuring non-convex obstacle avoidance with different dynamical systems, including a car model with 6D state, and a 3-joint planar manipulator. Our results show the great capabilities of CACTO in esca** local minima, while being more computationally efficient than the Deep Deterministic Policy Gradient (DDPG) and Proximal Policy Optimization (PPO) RL algorithms.
△ Less
Submitted 8 May, 2023; v1 submitted 12 November, 2022;
originally announced November 2022.
-
CLIO: a Novel Robotic Solution for Exploration and Rescue Missions in Hostile Mountain Environments
Authors:
Michele Focchi,
Mohamed Bensaadallah,
Marco Frego,
Angelika Peer,
Daniele Fontanelli,
Andrea Del Prete,
Luigi Palopoli
Abstract:
Rescue missions in mountain environments are hardly achievable by standard legged robots-because of the high slopes-or by flying robots-because of limited payload capacity. We present a concept for a rope-aided climbing robot which can negotiate up-to-vertical slopes and carry heavy payloads. The robot is attached to the mountain through a rope, and it is equipped with a leg to push against the mo…
▽ More
Rescue missions in mountain environments are hardly achievable by standard legged robots-because of the high slopes-or by flying robots-because of limited payload capacity. We present a concept for a rope-aided climbing robot which can negotiate up-to-vertical slopes and carry heavy payloads. The robot is attached to the mountain through a rope, and it is equipped with a leg to push against the mountain and initiate jum** maneuvers. Between jumps, a hoist is used to wind/unwind the rope to move vertically and affect the lateral motion. This simple (yet effective) two-fold actuation allows the system to achieve high safety and energy efficiency. Indeed, the rope prevents the robot from falling while compensating for most of its weight, drastically reducing the effort required by the leg actuator. We also present an optimal control strategy to generate point-to-point trajectories overcoming an obstacle. We achieve fast computation time (<1 s) thanks to the use of a custom simplified robot model. We validated the generated optimal movements in Gazebo simulations with a complete robot model with a < 5% error on a 16 m long jump, showing the effectiveness of the proposed approach, and confirming the interest of our concept. Finally, we performed a reachability analysis showing that the region of achievable targets is strongly affected by the friction properties of the foot-wall contact.
△ Less
Submitted 14 April, 2023; v1 submitted 20 September, 2022;
originally announced September 2022.
-
Orientation Control System: Enhancing Aerial Maneuvers for Quadruped Robots
Authors:
Francesco Roscia,
Andrea Cumerlotti,
Andrea Del Prete,
Claudio Semini,
Michele Focchi
Abstract:
For legged robots, aerial motions are the only option to overpass obstacles that cannot be circumvent with standard locomotion gaits. In these cases, the robot must perform a leap to either jump onto the obstacle or fly over it. However, these movements represent a challenge because during the flight phase the Center of Mass (CoM) cannot be controlled, and the robot orientation has limited control…
▽ More
For legged robots, aerial motions are the only option to overpass obstacles that cannot be circumvent with standard locomotion gaits. In these cases, the robot must perform a leap to either jump onto the obstacle or fly over it. However, these movements represent a challenge because during the flight phase the Center of Mass (CoM) cannot be controlled, and the robot orientation has limited controllability. This paper focuses on the latter issue and proposes an Orientation Control System (OCS) consisting of two rotating and actuated masses (flywheels or reaction wheels) to gain control authority on the robot orientation. Because of the conservation of angular momentum, their rotational velocity can be adjusted to steer the robot orientation even when there are no contacts with the ground. The axes of rotation of the flywheels are designed to be incident, leading to a compact orientation control system that is capable of controlling both roll and pitch angles, considering the different moment of inertia in the two directions. We tested the concept with simulations on the robot Solo12.
△ Less
Submitted 27 January, 2023; v1 submitted 25 August, 2022;
originally announced August 2022.
-
Nonlinear Stochastic Trajectory Optimization for Centroidal Momentum Motion Generation of Legged Robots
Authors:
Ahmad Gazar,
Majid Khadiv,
Sébastien Kleff,
Andrea Del Prete,
Ludovic Righetti
Abstract:
Generation of robust trajectories for legged robots remains a challenging task due to the underlying nonlinear, hybrid and intrinsically unstable dynamics which needs to be stabilized through limited contact forces. Furthermore, disturbances arising from unmodelled contact interactions with the environment and model mismatches can hinder the quality of the planned trajectories leading to unsafe mo…
▽ More
Generation of robust trajectories for legged robots remains a challenging task due to the underlying nonlinear, hybrid and intrinsically unstable dynamics which needs to be stabilized through limited contact forces. Furthermore, disturbances arising from unmodelled contact interactions with the environment and model mismatches can hinder the quality of the planned trajectories leading to unsafe motions. In this work, we propose to use stochastic trajectory optimization for generating robust centroidal momentum trajectories to account for additive uncertainties on the model dynamics and parametric uncertainties on contact locations. Through an alternation between the robust centroidal and whole-body trajectory optimizations, we generate robust momentum trajectories while being consistent with the whole-body dynamics. We perform an extensive set of simulations subject to different uncertainties on a quadruped robot showing that our stochastic trajectory optimization problem reduces the amount of foot slippage for different gaits while achieving better performance over deterministic planning.
△ Less
Submitted 20 September, 2022; v1 submitted 26 May, 2022;
originally announced May 2022.
-
Exponential Integration for Efficient and Accurate Multi-Body Simulation with Stiff Viscoelastic Contacts
Authors:
Bilal Hammoud,
Luca Olivieri,
Ludovic Righetti,
Justin Carpentier,
Andrea Del Prete
Abstract:
The simulation of multi-body systems with frictional contacts is a fundamental tool for many fields, such as robotics, computer graphics, and mechanics. Hard frictional contacts are particularly troublesome to simulate because they make the differential equations stiff, calling for computationally demanding implicit integration schemes. We suggest to tackle this issue by using exponential integrat…
▽ More
The simulation of multi-body systems with frictional contacts is a fundamental tool for many fields, such as robotics, computer graphics, and mechanics. Hard frictional contacts are particularly troublesome to simulate because they make the differential equations stiff, calling for computationally demanding implicit integration schemes. We suggest to tackle this issue by using exponential integrators, a long-standing class of integration schemes (first introduced in the 60's) that in recent years has enjoyed a resurgence of interest. We show that this scheme can be easily applied to multi-body systems subject to stiff viscoelastic contacts, producing accurate results at lower computational cost than \changed{classic explicit or implicit schemes}. In our tests with quadruped and biped robots, our method demonstrated stable behaviors with large time steps (10 ms) and stiff contacts ($10^5$ N/m). Its excellent properties, especially for fast and coarse simulations, make it a valuable candidate for many applications in robotics, such as simulation, Model Predictive Control, Reinforcement Learning, and controller design.
△ Less
Submitted 16 April, 2022; v1 submitted 17 January, 2021;
originally announced January 2021.
-
Solving Footstep Planning as a Feasibility Problem using L1-norm Minimization (Extended Version)
Authors:
Daeun Song,
Pierre Fernbach,
Thomas Flayols,
Andrea Del Prete,
Nicolas Mansard,
Steve Tonneau,
Young J. Kim
Abstract:
One challenge of legged locomotion on uneven terrains is to deal with both the discrete problem of selecting a contact surface for each footstep and the continuous problem of placing each footstep on the selected surface. Consequently, footstep planning can be addressed with a Mixed Integer Program (MIP), an elegant but computationally-demanding method, which can make it unsuitable for online plan…
▽ More
One challenge of legged locomotion on uneven terrains is to deal with both the discrete problem of selecting a contact surface for each footstep and the continuous problem of placing each footstep on the selected surface. Consequently, footstep planning can be addressed with a Mixed Integer Program (MIP), an elegant but computationally-demanding method, which can make it unsuitable for online planning. We reformulate the MIP into a cardinality problem, then approximate it as a computationally efficient l1-norm minimisation, called SL1M. Moreover, we improve the performance and convergence of SL1M by combining it with a sampling-based root trajectory planner to prune irrelevant surface candidates. Our tests on the humanoid Talos in four representative scenarios show that SL1M always converges faster than MIP. For scenarios when the combinatorial complexity is small (< 10 surfaces per step), SL1M converges at least two times faster than MIP with no need for pruning. In more complex cases, SL1M converges up to 100 times faster than MIP with the help of pruning. Moreover, pruning can also improve the MIP computation time. The versatility of the framework is shown with additional tests on the quadruped robot ANYmal.
△ Less
Submitted 16 May, 2021; v1 submitted 19 November, 2020;
originally announced November 2020.
-
Robust walking based on MPC with viability guarantees
Authors:
Mohammad Hasan Yeganegi,
Majid Khadiv,
Andrea Del Prete,
S. Ali A. Moosavian,
Ludovic Righetti
Abstract:
Model predictive control (MPC) has shown great success for controlling complex systems such as legged robots. However, when closing the loop, the performance and feasibility of the finite horizon optimal control problem (OCP) solved at each control cycle is not guaranteed anymore. This is due to model discrepancies, the effect of low-level controllers, uncertainties and sensor noise. To address th…
▽ More
Model predictive control (MPC) has shown great success for controlling complex systems such as legged robots. However, when closing the loop, the performance and feasibility of the finite horizon optimal control problem (OCP) solved at each control cycle is not guaranteed anymore. This is due to model discrepancies, the effect of low-level controllers, uncertainties and sensor noise. To address these issues, we propose a modified version of a standard MPC approach used in legged locomotion with viability (weak forward invariance) guarantees. In this approach, instead of adding a (conservative) terminal constraint to the problem, we propose to use the measured state projected to the viability kernel in the OCP solved at each control cycle. Moreover, we use past experimental data to find the best cost weights, which measure a combination of performance, constraint satisfaction robustness, or stability (invariance). These interpretable costs measure the trade off between robustness and performance. For this purpose, we use Bayesian optimization (BO) to systematically design experiments that help efficiently collect data to learn a cost function leading to robust performance. Our simulation results with different realistic disturbances (i.e. external pushes, unmodeled actuator dynamics and computational delay) show the effectiveness of our approach to create robust controllers for humanoid robots.
△ Less
Submitted 9 November, 2021; v1 submitted 9 October, 2020;
originally announced October 2020.
-
Stochastic and Robust MPC for Bipedal Locomotion: A Comparative Study on Robustness and Performance
Authors:
Ahmad Gazar,
Majid Khadiv,
Andrea Del Prete,
Ludovic Righetti
Abstract:
Linear Model Predictive Control (MPC) has been successfully used for generating feasible walking motions for humanoid robots. However, the effect of uncertainties on constraints satisfaction has only been studied using Robust MPC (RMPC) approaches, which account for the worst-case realization of bounded disturbances at each time instant. In this letter, we propose for the first time to use linear…
▽ More
Linear Model Predictive Control (MPC) has been successfully used for generating feasible walking motions for humanoid robots. However, the effect of uncertainties on constraints satisfaction has only been studied using Robust MPC (RMPC) approaches, which account for the worst-case realization of bounded disturbances at each time instant. In this letter, we propose for the first time to use linear stochastic MPC (SMPC) to account for uncertainties in bipedal walking. We show that SMPC offers more flexibility to the user (or a high level decision maker) by tolerating small (user-defined) probabilities of constraint violation. Therefore, SMPC can be tuned to achieve a constraint satisfaction probability that is arbitrarily close to 100\%, but without sacrificing performance as much as tube-based RMPC. We compare SMPC against RMPC in terms of robustness (constraint satisfaction) and performance (optimality). Our results highlight the benefits of SMPC and its interest for the robotics community as a powerful mathematical tool for dealing with uncertainties.
△ Less
Submitted 13 November, 2020; v1 submitted 15 May, 2020;
originally announced May 2020.
-
On the appearance of fractional operators in non-linear stress-strain relation of metals
Authors:
Francesco P. Pinnola,
Giorgio Zavarise,
Antonio Del Prete,
Rodolfo Franchi
Abstract:
Finding an accurate stress-strain relation, able to describe the mechanical behavior of metals during {forming} and machining processes, is an important challenge in several fields of mechanics, with significant repercussions in the technological field. Indeed, in order to predict the real mechanical behavior of materials, constitutive laws must be able to take into account elastic, viscous and pl…
▽ More
Finding an accurate stress-strain relation, able to describe the mechanical behavior of metals during {forming} and machining processes, is an important challenge in several fields of mechanics, with significant repercussions in the technological field. Indeed, in order to predict the real mechanical behavior of materials, constitutive laws must be able to take into account elastic, viscous and plastic phenomena. Most constitutive models are based on empirical evidence and/or theoretical approaches, and provide a good prediction of the mechanical behavior of several materials.
Here we present a non linear stress-strain relation based on fractional operators. The proposed constitutive law is based on integral formulation, and takes into account the viscoelastic behavior of the material and the inelastic phenomenon that appears when the stress reaches a particular yielding value. A specific case of the proposed constitutive law for imposed strain history is used to fit experimental data obtained from tensile tests on two kind of metal alloys. A best-fitting procedure demonstrates the accuracy of the proposed stress-strain relation and its results are compared to those obtained with some classical models. We conclude that the proposed model provides the best results in predicting the mechanical behavior for low and high values of stress/strain.
△ Less
Submitted 2 March, 2020;
originally announced March 2020.
-
SL1M: Sparse L1-norm Minimization for contact planning on uneven terrain
Authors:
Steve Tonneau,
Daeun Song,
Pierre Fernbach,
Nicolas Mansard,
Michel Taix,
Andrea Del Prete
Abstract:
One of the main challenges of planning legged locomotion in complex environments is the combinatorial contact selection problem. Recent contributions propose to use integer variables to represent which contact surface is selected, and then to rely on modern mixed-integer (MI) optimization solvers to handle this combinatorial issue. To reduce the computational cost of MI, we exploit the sparsity pr…
▽ More
One of the main challenges of planning legged locomotion in complex environments is the combinatorial contact selection problem. Recent contributions propose to use integer variables to represent which contact surface is selected, and then to rely on modern mixed-integer (MI) optimization solvers to handle this combinatorial issue. To reduce the computational cost of MI, we exploit the sparsity properties of L1 norm minimization techniques to relax the contact planning problem into a feasibility linear program. Our approach accounts for kinematic reachability of the center of mass (COM) and of the contact effectors. We ensure the existence of a quasi-static COM trajectory by restricting our plan to quasi-flat contacts. For planning 10 steps with less than 10 potential contact surfaces for each phase, our approach is 50 to 100 times faster that its MI counterpart, which suggests potential applications for online contact re-planning. The method is demonstrated in simulation with the humanoid robots HRP-2 and Talos over various scenarios.
△ Less
Submitted 19 September, 2019;
originally announced September 2019.
-
Robust Humanoid Locomotion Using Trajectory Optimization and Sample-Efficient Learning
Authors:
Mohammad Hasan Yeganegi,
Majid Khadiv,
S. Ali A. Moosavian,
Jia-Jie Zhu,
Andrea Del Prete,
Ludovic Righetti
Abstract:
Trajectory optimization (TO) is one of the most powerful tools for generating feasible motions for humanoid robots. However, including uncertainties and stochasticity in the TO problem to generate robust motions can easily lead to intractable problems. Furthermore, since the models used in TO have always some level of abstraction, it can be hard to find a realistic set of uncertainties in the mode…
▽ More
Trajectory optimization (TO) is one of the most powerful tools for generating feasible motions for humanoid robots. However, including uncertainties and stochasticity in the TO problem to generate robust motions can easily lead to intractable problems. Furthermore, since the models used in TO have always some level of abstraction, it can be hard to find a realistic set of uncertainties in the model space. In this paper we leverage a sample-efficient learning technique (Bayesian optimization) to robustify TO for humanoid locomotion. The main idea is to use data from full-body simulations to make the TO stage robust by tuning the cost weights. To this end, we split the TO problem into two phases. The first phase solves a convex optimization problem for generating center of mass (CoM) trajectories based on simplified linear dynamics. The second stage employs iterative Linear-Quadratic Gaussian (iLQG) as a whole-body controller to generate full body control inputs. Then we use Bayesian optimization to find the cost weights to use in the first stage that yields robust performance in the simulation/experiment, in the presence of different disturbance/uncertainties. The results show that the proposed approach is able to generate robust motions for different sets of disturbances and uncertainties.
△ Less
Submitted 18 September, 2019; v1 submitted 10 July, 2019;
originally announced July 2019.
-
On Time Optimization of Centroidal Momentum Dynamics
Authors:
Brahayam Ponton,
Alexander Herzog,
Andrea Del Prete,
Stefan Schaal,
Ludovic Righetti
Abstract:
Recently, the centroidal momentum dynamics has received substantial attention to plan dynamically consistent motions for robots with arms and legs in multi-contact scenarios. However, it is also non convex which renders any optimization approach difficult and timing is usually kept fixed in most trajectory optimization techniques to not introduce additional non convexities to the problem. But this…
▽ More
Recently, the centroidal momentum dynamics has received substantial attention to plan dynamically consistent motions for robots with arms and legs in multi-contact scenarios. However, it is also non convex which renders any optimization approach difficult and timing is usually kept fixed in most trajectory optimization techniques to not introduce additional non convexities to the problem. But this can limit the versatility of the algorithms. In our previous work, we proposed a convex relaxation of the problem that allowed to efficiently compute momentum trajectories and contact forces. However, our approach could not minimize a desired angular momentum objective which seriously limited its applicability. Noticing that the non-convexity introduced by the time variables is of similar nature as the centroidal dynamics one, we propose two convex relaxations to the problem based on trust regions and soft constraints. The resulting approaches can compute time-optimized dynamically consistent trajectories sufficiently fast to make the approach realtime capable. The performance of the algorithm is demonstrated in several multi-contact scenarios for a humanoid robot. In particular, we show that the proposed convex relaxation of the original problem finds solutions that are consistent with the original non-convex problem and illustrate how timing optimization allows to find motion plans that would be difficult to plan with fixed timing.
△ Less
Submitted 25 February, 2018; v1 submitted 26 September, 2017;
originally announced September 2017.
-
A Whole-Body Software Abstraction layer for Control Design of free-floating Mechanical Systems
Authors:
Francesco Romano,
Silvio Traversaro,
Daniele Pucci,
Jorhabib Eljaik,
Andrea Del Prete,
Francesco Nori
Abstract:
In this paper, we propose a software abstraction layer to simplify the design and synthesis of whole-body controllers without making any preliminary assumptions on the control law to be implemented. The main advantage of the proposed library is the decoupling of the control software from implementation details, which are related to the robotic platform. Furthermore, the resulting code is more clea…
▽ More
In this paper, we propose a software abstraction layer to simplify the design and synthesis of whole-body controllers without making any preliminary assumptions on the control law to be implemented. The main advantage of the proposed library is the decoupling of the control software from implementation details, which are related to the robotic platform. Furthermore, the resulting code is more clean and concise than ad-hoc code, as it focuses only on the implementation of the control law. In addition, we present a reference implementation of the abstraction layer together with a Simulink interface to provide support to Model-Driven based development. We also show the implementation of a simple proportional-derivative plus gravity compensation control together with a more complex momentum-based bipedal balance controller.
△ Less
Submitted 4 January, 2017;
originally announced January 2017.
-
Search for Sterile Neutrinos in the Muon Neutrino Disappearance Mode at FNAL
Authors:
A. Anokhina,
A. Bagulya,
M. Benettoni,
P. Bernardini,
R. Brugnera,
M. Calabrese,
A. Cecchetti,
S. Cecchini,
M. Chernyavskiy,
F. Dal Corso,
O. Dalkarov,
A. Del Prete,
G. De Robertis,
M. De Serio,
D. Di Ferdinando,
S. Dusini,
T. Dzhatdoev,
R. A. Fini,
G. Fiore,
A. Garfagnini,
M. Guerzoni,
B. Klicek,
U. Kose,
K. Jakovcic,
G. Laurenti
, et al. (39 additional authors not shown)
Abstract:
The NESSiE Collaboration has been setup to undertake a conclusive experiment to clarify the {\em muon--neutrino disappearance} measurements at short baselines in order to put severe constraints to models with more than the three--standard neutrinos. To this aim the current FNAL--Booster neutrino beam for a Short--Baseline experiment was carefully evaluated by considering the use of magnetic spectr…
▽ More
The NESSiE Collaboration has been setup to undertake a conclusive experiment to clarify the {\em muon--neutrino disappearance} measurements at short baselines in order to put severe constraints to models with more than the three--standard neutrinos. To this aim the current FNAL--Booster neutrino beam for a Short--Baseline experiment was carefully evaluated by considering the use of magnetic spectrometers at two sites, near and far ones. The detector locations were studied, together with the achievable performances of two OPERA--like spectrometers. The study was constrained by the availability of existing hardware and a time--schedule compatible with the undergoing project of multi--site Liquid--Argon detectors at FNAL.
The settled physics case and the kind of proposed experiment on the Booster neutrino beam would definitively clarify the existing tension between the $ν_μ$ disappearance and the $ν_e$ appearance/disappearance at the eV mass scale. In the context of neutrino oscillations the measurement of $ν_μ$ disappearance is a robust and fast approach to either reject or discover new neutrino states at the eV mass scale. We discuss an experimental program able to extend by more than one order of magnitude (for neutrino disappearance) and by almost one order of magnitude (for antineutrino disappearance) the present range of sensitivity for the mixing angle between standard and sterile neutrinos. These extensions are larger than those achieved in any other proposal presented so far.
△ Less
Submitted 2 February, 2017; v1 submitted 25 March, 2015;
originally announced March 2015.
-
Partial Force Control of Constrained Floating-Base Robots
Authors:
Andrea Del Prete,
Nicolas Mansard,
Francesco Nori,
Giorgio Metta,
Lorenzo Natale
Abstract:
Legged robots are typically in rigid contact with the environment at multiple locations, which add a degree of complexity to their control. We present a method to control the motion and a subset of the contact forces of a floating-base robot. We derive a new formulation of the lexicographic optimization problem typically arising in multitask motion/force control frameworks. The structure of the co…
▽ More
Legged robots are typically in rigid contact with the environment at multiple locations, which add a degree of complexity to their control. We present a method to control the motion and a subset of the contact forces of a floating-base robot. We derive a new formulation of the lexicographic optimization problem typically arising in multitask motion/force control frameworks. The structure of the constraints of the problem (i.e. the dynamics of the robot) allows us to find a sparse analytical solution. This leads to an equivalent optimization with reduced computational complexity, comparable to inverse-dynamics based approaches. At the same time, our method preserves the flexibility of optimization based control frameworks. Simulations were carried out to achieve different multi-contact behaviors on a 23-degree-offreedom humanoid robot, validating the presented approach. A comparison with another state-of-the-art control technique with similar computational complexity shows the benefits of our controller, which can eliminate force/torque discontinuities.
△ Less
Submitted 16 October, 2014;
originally announced October 2014.
-
Prioritized Optimal Control
Authors:
Andrea Del Prete,
Francesco Romano,
Lorenzo Natale,
Giorgio Metta,
Giulio Sandini,
Francesco Nori
Abstract:
This paper presents a new technique to control highly redundant mechanical systems, such as humanoid robots. We take inspiration from two approaches. Prioritized control is a widespread multi-task technique in robotics and animation: tasks have strict priorities and they are satisfied only as long as they do not conflict with any higher-priority task. Optimal control instead formulates an optimiza…
▽ More
This paper presents a new technique to control highly redundant mechanical systems, such as humanoid robots. We take inspiration from two approaches. Prioritized control is a widespread multi-task technique in robotics and animation: tasks have strict priorities and they are satisfied only as long as they do not conflict with any higher-priority task. Optimal control instead formulates an optimization problem whose solution is either a feedback control policy or a feedforward trajectory of control inputs. We introduce strict priorities in multi-task optimal control problems, as an alternative to weighting task errors proportionally to their importance. This ensures the respect of the specified priorities, while avoiding numerical conditioning issues. We compared our approach with both prioritized control and optimal control with tests on a simulated robot with 11 degrees of freedom.
△ Less
Submitted 16 October, 2014;
originally announced October 2014.
-
Inertial Parameter Identification Including Friction and Motor Dynamics
Authors:
Silvio Traversaro,
Andrea Del Prete,
Riccardo Muradore,
Lorenzo Natale,
Francesco Nori
Abstract:
Identification of inertial parameters is fundamental for the implementation of torque-based control in humanoids. At the same time, good models of friction and actuator dynamics are critical for the low-level control of joint torques. We propose a novel method to identify inertial, friction and motor parameters in a single procedure. The identification exploits the measurements of the PWM of the D…
▽ More
Identification of inertial parameters is fundamental for the implementation of torque-based control in humanoids. At the same time, good models of friction and actuator dynamics are critical for the low-level control of joint torques. We propose a novel method to identify inertial, friction and motor parameters in a single procedure. The identification exploits the measurements of the PWM of the DC motors and a 6-axis force/torque sensor mounted inside the kinematic chain. The partial least-square (PLS) method is used to perform the regression. We identified the inertial, friction and motor parameters of the right arm of the iCub humanoid robot. We verified that the identified model can accurately predict the force/torque sensor measurements and the motor voltages. Moreover, we compared the identified parameters against the CAD parameters, in the prediction of the force/torque sensor measurements. Finally, we showed that the estimated model can effectively detect external contacts, comparing it against a tactile-based contact detection. The presented approach offers some advantages with respect to other state-of-the-art methods, because of its completeness (i.e. it identifies inertial, friction and motor parameters) and simplicity (only one data collection, with no particular requirements).
△ Less
Submitted 16 October, 2014;
originally announced October 2014.
-
The NESSiE way to searches for sterile neutrinos at FNAL
Authors:
L. Stanco,
A. Anokhina,
A. Bagulya,
M. Benettoni,
P. Bernardini,
R. Brugnera,
M. Calabrese,
A. Cecchetti,
S. Cecchini,
M. Chernyavskiy,
P. Creti,
F. Dal Corso,
O. Dalkarov,
A. Del Prete,
G. De Robertis,
M. De Serio,
L. Degli Esposti,
D. Di Ferdinando,
S. Dusini,
T. Dzhatdoev,
C. Fanin,
R. A. Fini,
G. Fiore,
A. Garfagnini,
S. Golovanov
, et al. (44 additional authors not shown)
Abstract:
Neutrino physics is nowadays receiving more and more attention as a possible source of information for the long-standing problem of new physics beyond the Standard Model. The recent measurement of the mixing angle $θ_{13}$ in the standard mixing oscillation scenario encourages us to pursue the still missing results on leptonic CP violation and absolute neutrino masses. However, puzzling measuremen…
▽ More
Neutrino physics is nowadays receiving more and more attention as a possible source of information for the long-standing problem of new physics beyond the Standard Model. The recent measurement of the mixing angle $θ_{13}$ in the standard mixing oscillation scenario encourages us to pursue the still missing results on leptonic CP violation and absolute neutrino masses. However, puzzling measurements exist that deserve an exhaustive evaluation.
The NESSiE Collaboration has been setup to undertake conclusive experiments to clarify the muon-neutrino disappearance measurements at small $L/E$, which will be able to put severe constraints to models with more than the three-standard neutrinos, or even to robustly measure the presence of a new kind of neutrino oscillation for the first time. To this aim the use of the current FNAL-Booster neutrino beam for a Short-Baseline experiment has been carefully evaluated. Its recent proposal refers to the use of magnetic spectrometers at two different sites, Near and Far ones. Their positions have been extensively studied, together with the possible performances of two OPERA-like spectrometers. The proposal is constrained by availability of existing hardware and a time-schedule compatible with the undergoing project of a multi-site Liquid-Argon detectors at FNAL.
The experiment to be possibly setup at Booster will allow to definitively clarify the current $ν_μ$ disappearance tension with $ν_{e}$ appearance and disappearance at the eV mass scale.
△ Less
Submitted 15 October, 2014;
originally announced October 2014.
-
Prioritized motion-force control of constrained fully-actuated robots: "Task Space Inverse Dynamics"
Authors:
Andrea Del Prete,
Francesco Nori,
Giorgio Metta,
Lorenzo Natale
Abstract:
We present a new framework for prioritized multi-task motion-force control of fully-actuated robots. This work is established on a careful review and comparison of the state of the art. Some control frameworks are not optimal, that is they do not find the optimal solution for the secondary tasks. Other frameworks are optimal, but they tackle the control problem at kinematic level, hence they negle…
▽ More
We present a new framework for prioritized multi-task motion-force control of fully-actuated robots. This work is established on a careful review and comparison of the state of the art. Some control frameworks are not optimal, that is they do not find the optimal solution for the secondary tasks. Other frameworks are optimal, but they tackle the control problem at kinematic level, hence they neglect the robot dynamics and they do not allow for force control. Still other frameworks are optimal and consider force control, but they are computationally less efficient than ours. Our final claim is that, for fully-actuated robots, computing the operational-space inverse dynamics is equivalent to computing the inverse kinematics (at acceleration level) and then the joint-space inverse dynamics. Thanks to this fact, our control framework can efficiently compute the optimal solution by decoupling kinematics and dynamics of the robot. We take into account: motion and force control, soft and rigid contacts, free and constrained robots. Tests in simulation validate our control framework, comparing it with other state-of-the-art equivalent frameworks and showing remarkable improvements in optimality and efficiency.
△ Less
Submitted 14 October, 2014;
originally announced October 2014.
-
Prospects for the measurement of muon-neutrino disappearance at the FNAL-Booster
Authors:
A. Anokhina,
A. Bagulya,
M. Benettoni,
P. Bernardini,
R. Brugnera,
M. Calabrese,
A. Cecchetti,
S. Cecchini,
M. Chernyavskiy,
P. Creti,
F. Dal Corso,
O. Dalkarov,
A. Del Prete,
G. De Robertis,
M. De Serio,
L. Degli Esposti,
D. Di Ferdinando,
S. Dusini,
T. Dzhatdoev,
C. Fanin,
R. A. Fini,
G. Fiore,
A. Garfagnini,
S. Golovanov,
M. Guerzoni
, et al. (44 additional authors not shown)
Abstract:
Neutrino physics is nowadays receiving more and more attention as a possible source of information for the long-standing problem of new physics beyond the Standard Model. The recent measurement of the mixing angle $θ_{13}$ in the standard mixing oscillation scenario encourages us to pursue the still missing results on leptonic CP violation and absolute neutrino masses. However, puzzling measuremen…
▽ More
Neutrino physics is nowadays receiving more and more attention as a possible source of information for the long-standing problem of new physics beyond the Standard Model. The recent measurement of the mixing angle $θ_{13}$ in the standard mixing oscillation scenario encourages us to pursue the still missing results on leptonic CP violation and absolute neutrino masses. However, puzzling measurements exist that deserve an exhaustive evaluation. The NESSiE Collaboration has been setup to undertake conclusive experiments to clarify the muon-neutrino disappearance measurements at small $L/E$, which will be able to put severe constraints to models with more than the three-standard neutrinos, or even to robustly measure the presence of a new kind of neutrino oscillation for the first time. To this aim the use of the current FNAL-Booster neutrino beam for a Short-Baseline experiment has been carefully evaluated. This proposal refers to the use of magnetic spectrometers at two different sites, Near and Far. Their positions have been extensively studied, together with the possible performances of two OPERA-like spectrometers. The proposal is constrained by availability of existing hardware and a time-schedule compatible with the CERN project for a new more performant neutrino beam, which will nicely extend the physics results achievable at the Booster. The possible FNAL experiment will allow to clarify the current $ν_μ$ disappearance tension with $ν_e$ appearance and disappearance at the eV mass scale. Instead, a new CERN neutrino beam would allow a further span in the parameter space together with a refined control of systematics and, more relevant, the measurement of the antineutrino sector, by upgrading the spectrometer with detectors currently under R&D study.
△ Less
Submitted 9 April, 2014;
originally announced April 2014.
-
The NESSiE Concept for Sterile Neutrinos
Authors:
L. Stanco,
A. Anokhina,
A. Bagulya,
M. Benettoni,
P. Bernardini,
A. Bertolin,
R. Brugnera,
M. Calabrese,
A. Cecchetti,
S. Cecchini,
M. Chernyavskiy,
G. Collazuol,
P. Creti,
F. Dal Corso,
O. Dalkarov,
A. Del Prete,
I. De Mitri,
G. De Robertis,
M. De Serio,
L. Degli Esposti,
D. Di Ferdinando,
U. Dore,
S. Dusini,
T. Dzhatdoev,
C. Fanin
, et al. (56 additional authors not shown)
Abstract:
Neutrino physics is nowadays receiving more and more attention as a possible source of information for the long-standing problem of new physics beyond the Standard Model. The recent measurement of the third mixing angle theta13 in the standard mixing oscillation scenario encourages us to pursue the still missing results on leptonic CP violation and absolute neutrino masses. However, several puzzli…
▽ More
Neutrino physics is nowadays receiving more and more attention as a possible source of information for the long-standing problem of new physics beyond the Standard Model. The recent measurement of the third mixing angle theta13 in the standard mixing oscillation scenario encourages us to pursue the still missing results on leptonic CP violation and absolute neutrino masses. However, several puzzling measurements exist, which deserve an exhaustive evaluation. The NESSiE Collaboration has been setup to undertake a definitive experiment to clarify the muon disappearance measurements at small L/E, which will be able to put severe constraints to any model with more than the three-standard neutrinos, or even to robustly measure the presence of a new kind of neutrino oscillation for the first time. Within the context of the current CERN project, aimed to revitalize the neutrino field in Europe, we will illustrate the achievements that can be obtained by a double muon-spectrometer system, with emphasis on the search for sterile neutrinos.
△ Less
Submitted 4 December, 2013;
originally announced December 2013.
-
Search for anomalies in the neutrino sector with muon spectrometers and large LArTPC imaging detectors at CERN
Authors:
M. Antonello,
D. Bagliani,
B. Baibussinov,
H. Bilokon,
F. Boffelli,
M. Bonesini,
E. Calligarich,
N. Canci,
S. Centro,
A. Cesana,
K. Cieslik,
D. B. Cline,
A. G. Cocco,
D. Dequal,
A. Dermenev,
R. Dolfini,
M. De Gerone,
S. Dussoni,
C. Farnese,
A. Fava,
A. Ferrari,
G. Fiorillo,
G. T. Garvey,
F. Gatti,
D. Gibin
, et al. (114 additional authors not shown)
Abstract:
A new experiment with an intense ~2 GeV neutrino beam at CERN SPS is proposed in order to definitely clarify the possible existence of additional neutrino states, as pointed out by neutrino calibration source experiments, reactor and accelerator experiments and measure the corresponding oscillation parameters. The experiment is based on two identical LAr-TPCs complemented by magnetized spectromete…
▽ More
A new experiment with an intense ~2 GeV neutrino beam at CERN SPS is proposed in order to definitely clarify the possible existence of additional neutrino states, as pointed out by neutrino calibration source experiments, reactor and accelerator experiments and measure the corresponding oscillation parameters. The experiment is based on two identical LAr-TPCs complemented by magnetized spectrometers detecting electron and muon neutrino events at Far and Near positions, 1600 m and 300 m from the proton target, respectively. The ICARUS T600 detector, the largest LAr-TPC ever built with a size of about 600 ton of imaging mass, now running in the LNGS underground laboratory, will be moved at the CERN Far position. An additional 1/4 of the T600 detector (T150) will be constructed and located in the Near position. Two large area spectrometers will be placed downstream of the two LAr-TPC detectors to perform charge identification and muon momentum measurements from sub-GeV to several GeV energy range, greatly complementing the physics capabilities. This experiment will offer remarkable discovery potentialities, collecting a very large number of unbiased events both in the neutrino and antineutrino channels, largely adequate to definitely settle the origin of the observed neutrino-related anomalies.
△ Less
Submitted 28 September, 2012; v1 submitted 3 August, 2012;
originally announced August 2012.