pith. sign in

arxiv: 1907.04070 · v1 · pith:O3LH2H2Tnew · submitted 2019-07-09 · 📡 eess.SY · cs.RO· cs.SY

Control of Painlev\'e Paradox in a Robotic System

Davide Marchese , Marco Coraggio , S. John Hogan , Mario di Bernardo This is my paper

Pith reviewed 2026-05-25 00:18 UTC · model grok-4.3

classification 📡 eess.SY cs.ROcs.SY
keywords Painlevé paradoxrobot controlbifurcation studyhybrid controlunilateral contactCoulomb frictionsliding stability
0
0 comments X

The pith

A hybrid force/motion control scheme prevents the Painlevé paradox from inducing bouncing in a two-link robot sliding on a moving belt.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper studies the occurrence of the Painlevé paradox in a two-link robot in contact with a moving belt using bifurcation analysis. The analysis reveals regions of instability where the robot lifts off and bounces. The authors then design and compare two control strategies through numerical simulations: a PID controller and a hybrid force/motion controller. The hybrid scheme maintains stable sliding contact and avoids the bouncing motion associated with the paradox.

Core claim

The bifurcation study identifies the conditions under which the Painlevé paradox causes lift-off in the robot model. Informed by this, the hybrid force/motion control scheme is shown in simulations to guarantee better performance than PID control by preventing the onset of undesired bouncing due to the paradox.

What carries the argument

The hybrid force/motion control scheme, designed using results from the bifurcation study of the robot's contact dynamics.

If this is right

  • The robot maintains continuous sliding on the belt without lift-off.
  • The hybrid controller outperforms the PID strategy in avoiding the Painlevé phenomenon.
  • Bifurcation analysis can guide the synthesis of control laws for systems with unilateral constraints.
  • Undesired bouncing motion due to the paradox can be eliminated through appropriate control design.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This control method might apply to other mechanical systems experiencing similar frictional instabilities.
  • Testing the hybrid controller on physical hardware could validate the simulation results.
  • Adjusting the control parameters based on real friction coefficients could improve robustness.

Load-bearing premise

The numerical model of the two-link robot with Coulomb friction and rigid unilateral contact, along with the integration scheme, accurately captures the physical behavior of the Painlevé paradox.

What would settle it

An experiment on a physical two-link robot where the hybrid controller is tested on the moving belt and no bouncing is observed while the model predicts it for the uncontrolled case.

Figures

Figures reproduced from arXiv: 1907.04070 by Davide Marchese, Marco Coraggio, Mario di Bernardo, S. John Hogan.

Figure 1
Figure 1. Figure 1: A double-revolute robotic arm on a moving belt. [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Different modes of solution for different values of [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Bifurcation diagram with µ = 0.6. The black solid line corresponds to initial conditions x0,a = [32 0 18.27 0] T , whereas the dashed red line corresponds to x0,d = [−11.4 0 −35.1 0] T . B. Bifurcation diagrams To better understand the occurrence of the paradox causing the lift-off of the end effector, we traced a two-dimensional numerical bifurcation diagram in the parameter space con￾sisting of the frict… view at source ↗
Figure 4
Figure 4. Figure 4: Bifurcation diagram with µ = 0.6 and initial conditions x0,a = [32 0 18.27 0] T . (a) is the full picture, while (b) is an enlargment of the portion in the red box traced in (a); (c) depicts the type of the asymptotic behaviour: red represents a chaotic dynamics, whereas black stands for periodic motion [PITH_FULL_IMAGE:figures/full_fig_p004_4.png] view at source ↗
Figure 7
Figure 7. Figure 7: Hybrid force/motion control scheme. Note that, in (9), on the right-hand side, the first, second, and fifth terms compensate corresponding terms in (2). Differently, the fourth and and sixth terms are used to assign dynamics for zt and fn, respectively. Specifically, letting f ∗ n be a reference value for the normal reaction, we choose αv =z¨ ∗ t +K 0 P (z ∗ t −zt) +K 0 D(z˙ ∗ t −z˙t), (10) αf =f ∗ n +K 0 … view at source ↗
Figure 5
Figure 5. Figure 5: Simulation with PID control and x(t = 0) = x0,d. 0 0.5 1 1.5 2 2.5 10-3 0 5 [PITH_FULL_IMAGE:figures/full_fig_p005_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Simulation with PID control, x(t = 0) = x0,u and z ∗ t as in [PITH_FULL_IMAGE:figures/full_fig_p005_6.png] view at source ↗
Figure 8
Figure 8. Figure 8: Simulation with force/motion control, x(t = 0) = x0,d and f ∗ n = 10 N. In the third panel from the top, the black solid line is u1, whereas the red dashed line is u2. the latter strategy is effective in preventing the paradox from occurring and hence guaranteeing that end effector of the robot stays in contact with the belt over a wider parameter range with respect to the PID. REFERENCES [1] Champneys A. … view at source ↗
Figure 10
Figure 10. Figure 10: Closed loop bifurcation diagram obtained with [PITH_FULL_IMAGE:figures/full_fig_p006_10.png] view at source ↗
read the original abstract

The Painlev\'e paradox is a phenomenon that causes instability in mechanical systems subjects to unilateral constraints. While earlier studies were mostly focused on abstract theoretical settings, recent work confirmed the occurrence of the paradox in realistic set-ups. In this paper, we investigate the dynamics and presence of the Painlev\'e phenomenon in a twolinks robot in contact with a moving belt, through a bifurcation study. Then, we use the results of this analysis to inform the design of control strategies able to keep the robot sliding on the belt and avoid the onset of undesired lift-off. To this aim, through numerical simulations, we synthesise and compare a PID strategy and a hybrid force/motion control scheme, finding that the latter is able to guarantee better performance and avoid the onset of bouncing motion due to the Painlev\'e phenomenon.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper performs a bifurcation analysis on the dynamics of a two-link robot in unilateral contact with a moving belt under Coulomb friction to identify conditions for the Painlevé paradox. It then uses these results to design a hybrid force/motion controller, which is compared via numerical simulations against a PID controller; the central claim is that the hybrid scheme guarantees better performance and prevents bouncing motion induced by the paradox.

Significance. If the simulation results are robust, the work demonstrates how bifurcation analysis can inform practical control synthesis for contact-rich robotic tasks prone to Painlevé inconsistencies, providing a concrete example of hybrid control outperforming classical PID in avoiding lift-off. The explicit use of dynamical systems tools to guide controller design is a strength, though the idealized rigid-body model limits direct transfer to physical systems.

major comments (2)
  1. [Numerical simulations and control synthesis sections] The central claim that the hybrid controller avoids Painlevé-induced bouncing rests entirely on closed-loop simulations of the rigid unilateral contact + Coulomb friction model (system model and numerical simulations sections). The Painlevé paradox is an artifact of this idealization; even small normal compliance regularizes the contact and eliminates inconsistency/non-uniqueness. No sensitivity study on contact stiffness, no comparison against a compliant model, and no hardware validation are provided, so the reported performance gap may not survive relaxation of the modeling assumptions.
  2. [Numerical results and comparison subsection] The abstract and results state that the hybrid scheme 'guarantees better performance' and 'avoids the onset of bouncing,' yet supply no quantitative metrics (e.g., RMS tracking error, lift-off duration, or settling time), no integration tolerances, and no tabulated parameter values or comparison data. Without these, the superiority claim cannot be verified or reproduced from the reported simulations.
minor comments (2)
  1. [Model and control design sections] Notation for friction coefficients and contact forces should be defined consistently between the bifurcation diagrams and the control law equations to avoid ambiguity when mapping analysis results to controller parameters.
  2. [Bifurcation analysis section] The bifurcation study would benefit from explicit statements of the continuation parameters and software used, as well as a brief discussion of how the identified critical friction values translate into control gain selection.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for the constructive comments on our manuscript. Below we provide point-by-point responses to the major comments, indicating where revisions have been made.

read point-by-point responses

  1. Referee: [Numerical simulations and control synthesis sections] The central claim that the hybrid controller avoids Painlevé-induced bouncing rests entirely on closed-loop simulations of the rigid unilateral contact + Coulomb friction model. The Painlevé paradox is an artifact of this idealization; even small normal compliance regularizes the contact and eliminates inconsistency/non-uniqueness. No sensitivity study on contact stiffness, no comparison against a compliant model, and no hardware validation are provided, so the reported performance gap may not survive relaxation of the modeling assumptions.

    Authors: The bifurcation analysis and controller synthesis are performed within the standard rigid-body model with unilateral contact and Coulomb friction, which is the setting where the Painlevé paradox is mathematically defined. The hybrid controller is explicitly designed using the bifurcation results to remain in parameter regions free of inconsistency or non-uniqueness. We acknowledge that compliance would regularize the contact dynamics and have added a dedicated paragraph in the conclusions discussing this modeling limitation and the idealized nature of the results. A full sensitivity study or compliant-model comparison lies outside the scope of the present work, which focuses on demonstrating how dynamical-systems tools can inform hybrid control design. revision: partial

  2. Referee: [Numerical results and comparison subsection] The abstract and results state that the hybrid scheme 'guarantees better performance' and 'avoids the onset of bouncing,' yet supply no quantitative metrics (e.g., RMS tracking error, lift-off duration, or settling time), no integration tolerances, and no tabulated parameter values or comparison data. Without these, the superiority claim cannot be verified or reproduced from the reported simulations.

    Authors: We agree that quantitative metrics improve verifiability. In the revised manuscript we have added a new table in the numerical results section that reports RMS tracking error, maximum lift-off displacement, total lift-off duration, and settling time for both controllers across the tested scenarios. The numerical integration method (ode45) and tolerances (AbsTol = RelTol = 1e-8) are now stated explicitly, and all model and controller parameters are collected in a tabulated appendix for reproducibility. revision: yes

standing simulated objections not resolved
  • Hardware validation or experimental results on a physical system, as the study consists solely of numerical simulations of the idealized rigid-body model.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper's chain consists of a numerical bifurcation study on the idealized two-link model, followed by control synthesis (PID vs. hybrid) and performance comparison, all via direct simulation. No equations, parameters, or results are shown to reduce by construction to fitted inputs or self-citations. The reported performance differences emerge from the closed-loop simulations themselves rather than being tautological. Per the rules, model-idealization concerns belong to correctness risk, not circularity; the derivation is self-contained against its own numerical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, axioms, or invented entities; the work implicitly rests on standard rigid-body dynamics with Coulomb friction and unilateral constraints.

pith-pipeline@v0.9.0 · 5677 in / 1188 out tokens · 29521 ms · 2026-05-25T00:18:17.483821+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [1]

    The Painlev´e paradox in contact mechanics,

    Champneys A. R. and V ´arkonyi P. L., “The Painlev´e paradox in contact mechanics,” IMA Journal of Applied Mathematics , vol. 81, no. 3, pp. 538–588, 2016

    work page 2016

  2. [2]

    Friction-Induced Vibration, Chatter, Squeal, and ChaosPart I: Mechanics of Contact and Friction,

    R. A. Ibrahim, “Friction-Induced Vibration, Chatter, Squeal, and ChaosPart I: Mechanics of Contact and Friction,” Applied Mechanics Reviews, vol. 47, no. 7, pp. 209–226, 1994

    work page 1994

  3. [3]

    Assembly on moving production line based on sensor fusion,

    H. Chen, G. Zhang, W. Eakins, and T. Fuhlbrigge, “Assembly on moving production line based on sensor fusion,”Assembly Automation, vol. 29, no. 3, pp. 257–262, 2009

    work page 2009

  4. [4]

    Sur les loi du frottement de glissement,

    P. Painlev ´e, “Sur les loi du frottement de glissement,” Comptes Rendus Hebdomadaires des S ´eances de l’Acad ´emie des Science , vol. 141, pp. 401–405, 1905

    work page 1905

  5. [5]

    Mechanical systems of rigid bodies subject to unilateral constraints,

    P. L ¨otstedt, “Mechanical systems of rigid bodies subject to unilateral constraints,” SIAM Journal on Applied Mathematics , vol. 42, no. 2, pp. 281–296, 1982

    work page 1982

  6. [6]

    Investigation of painlev ´e’s paradox and dynamic jamming during mechanism sliding motion,

    O. Yizhar and R. Elon, “Investigation of painlev ´e’s paradox and dynamic jamming during mechanism sliding motion,” Nonlinear Dy- namics, vol. 67, no. 2, pp. 1647–1668, 2012

    work page 2012

  7. [7]

    Numerical location of painlev ´e paradox- associated jam and lift-off in a double-pendulum mechanism,

    S. Burns and P. Piiroinen, “Numerical location of painlev ´e paradox- associated jam and lift-off in a double-pendulum mechanism,” Journal of Computational and Nonlinear Dynamics , vol. 12, 2017

    work page 2017

  8. [8]

    Periodic motion and bifurcations induced by the Painlev ´e paradox,

    Leine R. and Brogliato B. and Nijmeijer H., “Periodic motion and bifurcations induced by the Painlev ´e paradox,” European Journal of Mechanics - A/Solids , vol. 21, no. 5, pp. 869–896, 2002

    work page 2002

  9. [9]

    Non-linear dynamics of a mechanical system with a frictional unilateral constraint,

    G. Lancioni, S. Lenci, and U. Galvanetto, “Non-linear dynamics of a mechanical system with a frictional unilateral constraint,” Interna- tional Journal of Non-Linear Mechanics , vol. 44, no. 6, pp. 658–674, 2009

    work page 2009

  10. [10]

    Solving Painlev ´e paradox: (P–R) sliding robot case,

    H. A. Elkaranshawy, K. T. Mohamed, A. S. Ashour, and H. M. Alkomy, “Solving Painlev ´e paradox: (P–R) sliding robot case,” Non- linear Dynamics, vol. 88, no. 3, pp. 1691–1705, 2017

    work page 2017

  11. [11]

    Efficient Bipedal Robots Based on Passive-Dynamic Walkers,

    S. Collins, A. Ruina, R. Tedrake, and M. Wisse, “Efficient Bipedal Robots Based on Passive-Dynamic Walkers,” Science, vol. 307, no. 5712, pp. 1082–1085, 2005. 0 5 10 15 200 5 10-4 0 5 10 15 200 3 6 0 5 10 15 20 5 10 15 0 6 10 15 20 -0.1624 0 0,163 Fig. 9. Simulation with force/motion control, x(t = 0) = x0,u and f∗ n = 10 N. In the third panel from the top...

    work page 2005

  12. [12]

    Painlev ´e’s paradox and dynamic jamming in simple models of passive dynamic walking,

    Y . Or, “Painlev ´e’s paradox and dynamic jamming in simple models of passive dynamic walking,” Regular and Chaotic Dynamics , vol. 19, no. 1, pp. 64–80, 2014

    work page 2014

  13. [13]

    Experimental investigation of the Painlev ´e paradox in a robotic system,

    Z. Zhao, C. Liu, W. Ma, and B. Chen, “Experimental investigation of the Painlev ´e paradox in a robotic system,” Journal of Applied Mechanics, vol. 75, no. 4, p. 041006, 2008

    work page 2008

  14. [14]

    Relative contact dynamics and its application on manipulators contact stability problem,

    J. Liang, O. Ma, and C. Liu, “Relative contact dynamics and its application on manipulators contact stability problem,” in ASME 2012 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference . American Society of Mechanical Engineers, 2012, pp. 1473–1480

    work page 2012

  15. [15]

    New Results on Painlev ´e Paradoxes,

    G ´enot F. and Brogliato B., “New Results on Painlev ´e Paradoxes,” European Journal of Mechanics - A/Solids, vol. 18, no. 4, pp. 653–677, 1999

    work page 1999

  16. [16]

    Stability domain calculations of period-1 ferroresonance in a nonlinear resonant circuit,

    D. A. Jacobson, P. W. Lehn, and R. W. Menzies, “Stability domain calculations of period-1 ferroresonance in a nonlinear resonant circuit,” IEEE Transactions on Power Delivery , vol. 17, no. 3, pp. 865–871, 2002

    work page 2002

  17. [17]

    Siciliano, L

    B. Siciliano, L. Sciavicco, L. Villani, and G. Oriolo, Robotics: Mod- elling, Planning and Control , 1st ed. Springer Publishing Company, 2008

    work page 2008