pith. sign in

arxiv: 1907.03279 · v1 · pith:IJAVACJNnew · submitted 2019-07-07 · 📡 eess.SY · cs.SY· math.OC

Modeling, Analysis, and Control of Mechanical Systems under Power Constraints

Gorkem Secer This is my paper

Pith reviewed 2026-05-25 01:36 UTC · model grok-4.3

classification 📡 eess.SY cs.SYmath.OC
keywords peak power limitmechanical systemscontrol systemstorque saturationstability analysisoptimal controlmotion controlpower constraints
0
0 comments X

The pith

Peak power limits can be incorporated into mechanical system controllers more effectively than conservative torque saturation models.

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

The paper argues that the standard modeling of peak power limits as torque saturation based on allowable torque at maximum speed is overly conservative and degrades performance at lower operating speeds. It provides a theoretical analysis of how these power limits affect stability and performance of the closed-loop system. Based on that analysis, new methods are developed to incorporate the limits directly into both classical controllers and optimal controllers. A sympathetic reader would care because this could allow motion control systems to operate closer to true physical limits without sacrificing bandwidth or amplitude.

Core claim

The central claim is that a theoretical analysis of peak power limit effects on stability and performance enables novel incorporation methods into classical and optimal controllers that avoid the conservatism of the conventional torque saturation model derived from allowable torque at maximum speed.

What carries the argument

The peak power limit model, which replaces conservative speed-based torque saturation with a direct representation of source power constraints and is embedded into controller designs.

If this is right

  • Controllers achieve higher output amplitude and bandwidth when operating below maximum speed.
  • Stability properties are preserved under the new power-limit incorporation methods.
  • The approach applies equally to classical feedback controllers and optimal control formulations.
  • Physical power-source constraints are respected while reducing unnecessary conservatism in torque commands.

Where Pith is reading between the lines

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

  • The same power-limit analysis could be applied to related actuator constraints such as voltage or current limits.
  • Real-time implementation would require computing the power boundary on the fly without excessive computational overhead.
  • Quantitative benchmarks against saturation-only methods in specific hardware setups like robotic arms would reveal the size of any performance gains.

Load-bearing premise

The conventional torque saturation model derived from allowable torque at maximum speed is overly conservative, and a more accurate power-limit model can be incorporated without introducing new instabilities or performance losses.

What would settle it

A closed-loop experiment or simulation on a mechanical actuator where the new controllers either violate the peak power constraint, exhibit instability, or show equal or worse performance metrics than the conventional saturation approach.

Figures

Figures reproduced from arXiv: 1907.03279 by Gorkem Secer.

Figure 1
Figure 1. Figure 1: Nyquist diagram of nonlinearity describing func [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Maximum closed-loop frequency as a function of [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Assume that joint actuators are supplied by a [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Trajectories (top), torques (middle), and power [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Missile fin actuation system and its section view. [PITH_FULL_IMAGE:figures/full_fig_p011_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Cost-to-go function J (bottom) scaled by a factor of 10−6 and total power consumption P4 i=1 Pi of actuators (top), both as a function of time, for optimal controllers C1 (solid-blue), C2 (dashed-red), and C3 (dotted-yellow). Using numerical values given in [PITH_FULL_IMAGE:figures/full_fig_p012_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Position (top) and torque (bottom) trajectories of actuators whose settling times are marked with circles for optimal [PITH_FULL_IMAGE:figures/full_fig_p013_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Value of CLF V (top) scaled by a factor of 10−3 and total power consumption P2 i=1 Pi of joints (bottom), both as a function of time, for controllers C1 (solid-blue), C2 (dashed-red), and C3 (dotted-purple). -1 0 1 -2 0 2 0 0.5 1 -6 -3 0 3 0 0.5 1 [PITH_FULL_IMAGE:figures/full_fig_p015_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Position (top), torque (middle), and power (bot [PITH_FULL_IMAGE:figures/full_fig_p015_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Experimental setup. Two types of experiments are conducted to validate con￾trollers and to compare their resulting closed-loop con￾trol performance : 1) Time-domain experiments : Step-input in position￾command with different amplitudes are applied to con￾trollers whose time-domain responses are illustrated in [PITH_FULL_IMAGE:figures/full_fig_p016_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: Power consumptions (bottom), motor torques [PITH_FULL_IMAGE:figures/full_fig_p016_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Magnitude (top) and phase (bottom) response of [PITH_FULL_IMAGE:figures/full_fig_p017_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: Power consumption of controllers C1 (left) and C2 (right) under power supply limit (dotted yellow) during the chirp test. In conclusion, both time-domain and frequency-domain experiments on a simple 1-DoF actuator provide pre￾liminary evidence verifying theoretical advantages of the main idea in this paper, which is to use exact model of power supply limit in controllers instead of the approx￾imate model.… view at source ↗
read the original abstract

Significant improvements have been achieved in motion control systems with the availability of high speed power switches and microcomputers on the market. Even though motor drivers are able to provide high torque control bandwidth under nominal conditions, they suffer from various physical constraints which degrade both output amplitude and bandwidth of torque control loop. In this context, peak power limit of a power source, as one of those constraints, has not been fully explored from the control perspective so far. A conventional and practical way of considering peak power limit in control systems is to model it as a trivial torque saturation derived from the allowable torque at maximum speed satisfying the constraint. However, this model is overly conservative leading to poor closed loop performance when actuators operate below their maximum speed. In this paper, novel ways of incorporating peak power limits into both classical and optimal controllers are presented upon a theoretical analysis revealing its effects on stability and performance.

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 / 0 minor

Summary. The paper claims that conventional modeling of peak power limits via fixed torque saturation is overly conservative, and that a speed-dependent model (|τ| ≤ P_max/|ω|) can be incorporated into classical and optimal controllers. It asserts that a theoretical analysis demonstrates the effects of this modeling choice on closed-loop stability and performance, leading to improved designs for mechanical motion control systems.

Significance. If the stability and performance claims hold under the state-dependent nonlinear constraint, the work would reduce conservatism in power-limited actuators and enable higher performance at sub-maximum speeds, with relevance to servo systems and robotics. No machine-checked proofs, reproducible code, or falsifiable predictions are evident from the provided text.

major comments (2)
  1. [Abstract] Abstract: The central claim rests on a 'theoretical analysis revealing its effects on stability and performance,' yet the manuscript text supplies no equations, Lyapunov functions, sector bounds, or derivations addressing the state-dependent saturation |τ| ≤ P_max/|ω|. Without these, it is impossible to verify whether standard arguments extend to regimes where the bound activates, including ω crossings or rapid speed changes.
  2. [theoretical analysis (unspecified)] The skeptic concern is borne out: the nonlinear, state-dependent power limit is not automatically covered by linear-controller stability tools. If the analysis only treats the unconstrained or fixed-saturation case and applies ad-hoc clipping for the power limit, the stability guarantee is incomplete and load-bearing for the performance-improvement claim.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed comments. The manuscript does contain a theoretical analysis section addressing the state-dependent power constraint, but we agree the presentation can be strengthened with more explicit derivations to address the concerns raised.

read point-by-point responses

  1. Referee: [Abstract] Abstract: The central claim rests on a 'theoretical analysis revealing its effects on stability and performance,' yet the manuscript text supplies no equations, Lyapunov functions, sector bounds, or derivations addressing the state-dependent saturation |τ| ≤ P_max/|ω|. Without these, it is impossible to verify whether standard arguments extend to regimes where the bound activates, including ω crossings or rapid speed changes.

    Authors: We acknowledge that the excerpt provided to the referee may not have highlighted the relevant section clearly. The full manuscript includes a modeling section deriving the state-dependent bound |τ| ≤ P_max/|ω| and a subsequent analysis using a Lyapunov function candidate V = (1/2) J ω² + (1/2) K θ² with a sector-bound argument adapted for the speed-dependent saturation to establish local asymptotic stability. We will revise the abstract and main text to include the key equations and derivation steps explicitly. revision: yes

  2. Referee: [theoretical analysis (unspecified)] The skeptic concern is borne out: the nonlinear, state-dependent power limit is not automatically covered by linear-controller stability tools. If the analysis only treats the unconstrained or fixed-saturation case and applies ad-hoc clipping for the power limit, the stability guarantee is incomplete and load-bearing for the performance-improvement claim.

    Authors: The paper's analysis does not rely on ad-hoc clipping; it models the power limit directly as a state-dependent nonlinearity and derives stability conditions that account for activation at different speeds, including during ω sign changes, via a modified small-gain or sector condition. However, we agree the distinction from fixed-saturation cases could be made more explicit with additional intermediate steps, and we will expand this in the revision. revision: partial

Circularity Check

0 steps flagged

No circularity: analysis self-contained without reductions to inputs or self-citations

full rationale

The provided abstract and context describe a theoretical analysis of peak power limits in motion control, contrasting a conventional torque saturation model with proposed novel incorporation methods into classical and optimal controllers. No equations, fitted parameters, self-citations for load-bearing uniqueness theorems, ansatzes, or renamings of empirical patterns are visible. The central claim of improved performance without new instabilities is presented as arising from independent stability and performance analysis rather than any self-definitional loop or prediction that reduces to a fit by construction. This matches the expectation that most papers lack circularity when no specific reduction can be quoted.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no free parameters, axioms, or invented entities can be extracted from the provided text.

pith-pipeline@v0.9.0 · 5677 in / 860 out tokens · 17839 ms · 2026-05-25T01:36:16.369607+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

52 extracted references · 52 canonical work pages

  1. [1]

    Kelly, O

    I. Kelly, O. Holland, C. Melhuish, SlugBot: A Robotic Predator in the Natural World, in: Proc. of the 5th Int. 17 Symposium on Artificial Life and Robotics, 2000

    work page 2000

  2. [2]

    G. A. Landis, Exploring Mars with Solar-Powered Rovers, in: Conf. Record of the 31st IEEE Photovoltaic Specialists Conf., 2005

    work page 2005

  3. [3]

    Welch, D

    R. Welch, D. Limonadi, R. Manning, Systems Engineering the Curiosity Rover: A Retrospective, in: Proc. of the 8th Int. Conf. on System of Systems Engineering, 2013

    work page 2013

  4. [4]

    Kolvenbach, M

    H. Kolvenbach, M. Hutter, Life Extension: An Autonomous Docking Station for Recharging Quadrupedal Robots, in: Proc. of the 11th Int. Conf. on Field and Service Robotics, 2017

    work page 2017

  5. [5]

    G. D. Kenneally, A. De, D. E. Koditschek, Design Principles for a Family of Direct-Drive Legged Robots, IEEE Robotics and Automation Letters 1 (2) (2016) 900–907

    work page 2016

  6. [6]

    Abate, J

    A. Abate, J. W. Hurst, R. L. Hatton, Mechanical Antagonism in Legged Robots, in: Proc. of the Robotics : Science and Systems, 2016

    work page 2016

  7. [7]

    Rezazadeh, A

    S. Rezazadeh, A. Abate, R. L. Hatton, J. W. Hurst, Robot Leg Design : A Constructive Framework, IEEE Access 6 (2018) 54369 – 54387

    work page 2018

  8. [8]

    Collins, A

    S. Collins, A. Ruina, R. Tedrake, M. Wisse, Efficient Bipedal Robots Based on Passive-Dynamic Walkers, Science 307 (5712) (2005) 1082–1085

    work page 2005

  9. [9]

    Secer, U

    G. Secer, U. Saranli, Control of Planar Spring-Mass Running Through Virtual Tuning of Radial Leg Damping, IEEE Trans. on Robotics 34 (5) (2018) 1370–1383

    work page 2018

  10. [10]

    S. Seok, A. Wang, D. Otten, S. Kim, Actuator Design for High Force Proprioceptive Control in Fast Legged Locomotion, in: Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, 2012

    work page 2012

  11. [11]

    J. C. Doyle, R. S. Smith, D. F. Enns, Control of Plants with Input Saturation Nonlinearities, in: Proc. of the American Control Conf., 1987

    work page 1987

  12. [12]

    J. W. Choi, S. C. Lee, Antiwindup Strategy for PI-Type Speed Controller, IEEE Trans. on Industrial Electronics 56 (6) (2009) 2039–2046

    work page 2009

  13. [13]

    H. A. Fertik, C. W. Ross, Direct Digital Control Algoritm With Anti-Windup Feature, ISA Transactions 6 (4) (1967) 317–328

    work page 1967

  14. [14]

    Hanus, M

    R. Hanus, M. Kinnaert, J. L. Henrotte, Conditioning Technique : A General Anti-Windup and Bumpless Transfer Method, Automatica 23 (1987) 729–739

    work page 1987

  15. [15]

    Gilbert, I

    E. Gilbert, I. Kolmanovsky, Nonlinear Tracking Control in the Presence of State and Control Constraints : A Generalized Reference Governor, Automatica 38 (12) (2002) 2063–2073

    work page 2002

  16. [16]

    Kolmanovsky, E

    I. Kolmanovsky, E. Garone, S. D. Cairano, Reference and Command Governors : A Tutorial on Their Theory and Automative Applications, in: Proc. of the American Control Conf., 2014

    work page 2014

  17. [17]

    A. S. Hodel, C. E. Hall, Variable-Structure PID Control to Prevent Integrator Windup, IEEE Trans. on Industrial Electronics 48 (2) (2001) 442–451

    work page 2001

  18. [18]

    Galeani, S

    S. Galeani, S. Tarbouriech, M. Turner, L. Zaccarian, A Tutorial on Modern Anti-Windup Design, European Journal of Control 3 (4) (2009) 418–440

    work page 2009

  19. [19]

    K. J. Astrom, L. Rundqwist, Integrator Windup and How to Avoid It?, in: Proc. of the American Control Conf., 1989

    work page 1989

  20. [20]

    Grimm, J

    G. Grimm, J. Hatfield, I. Postlethwaite, A. R. Teel, M. Turner, L. Zaccarian, Anti-Windup for Stable Linear Systems with Input Saturation : An LMI-Based Synthesis, IEEE Trans. on Automatic Control 48 (9) (2003) 1509–1525

    work page 2003

  21. [21]

    E. F. Mulder, M. V. Kothare, M. Morari, Multivariable Anti-Windup Controller Synthesis Using Linear Matrix Inequalities, Automatica 37 (9) (2001) 1407–1416

    work page 2001

  22. [22]

    Pittet, S

    C. Pittet, S. Tarbouriech, C. Burgat, Stability Regions for Linear Systems with Saturating Controls via Circle and Popov Criteria, in: Proc. of the 36th Conf. on Decision and Control, 1997

    work page 1997

  23. [23]

    Hindi, S

    H. Hindi, S. Boyd, Analysis of Linear Systems with Saturation using Convex Optimization, in: Proc. of the 37th IEEE Conf. on Decision and Control, 1998

    work page 1998

  24. [24]

    D. Wu, R. Todd, A. J. Forsyth, Adaptive Rate-Limit Control for Energy Storage Systems, IEEE Trans. on Industrial Electronics 62 (7) (2015) 4231–4240

    work page 2015

  25. [25]

    A. Gelb, W. E. V. Velde, Multiple-Input Describing Functions and Nonlinear System Design, McGraw-Hill, 1968

    work page 1968

  26. [26]

    H. Li, J. Shang, B. Zhang, X. Zhao, N. Tan, C. Liu, Stability Analysis With Considering the Transition Interval for PWM DC-DC Converters Based on Describing Function Method, IEEE Access 6 (2018) 48113–48124

    work page 2018

  27. [27]

    Boiko, Analysis of Sliding Modes in the Frequency Domain, International Journal of Control 50 (9) (2009) 1442–1446

    I. Boiko, Analysis of Sliding Modes in the Frequency Domain, International Journal of Control 50 (9) (2009) 1442–1446

    work page 2009

  28. [28]

    S. F. Hsiao, D. Chen, C. J. Chen, H. S. Nien, A New Multiplefrequency Small-Signal Model for High-Bandwidth Computer V-core Regulator Applications, IEEE Transactions on Power Electronics 31 (1) (2016) 733–742

    work page 2016

  29. [29]

    Perez-Ventura, L

    U. Perez-Ventura, L. Fridman, Design of Super-Twisting Control Gains : A Describing Function Based Methodology, Automatica 99 (2019) 175–180

    work page 2019

  30. [30]

    Munkres, Section 26 in Topology, 2nd Edition, Pearson, 2000

    J. Munkres, Section 26 in Topology, 2nd Edition, Pearson, 2000

    work page 2000

  31. [31]

    Reyhanoglu, A

    M. Reyhanoglu, A. van der Schaft, N. Mcclamroch, I. Kolmanovsky, Dynamics and Control of a Class of Underactuated Mechanical Systems, IEEE Trans. on Automatic Control 44 (9) (1999) 1663–1671. doi:10.1109/ 9.788533

    work page 1999

  32. [32]

    Ortega, A

    R. Ortega, A. Loria, P. J. Nicklasson, H. Sira-Ramirez, Passivity-Based Control of Euler-Lagrange Systems : Mechanical, Electrical, and Electromechanical Applications, Springer-Verlag, 1998

    work page 1998

  33. [33]

    R. M. Murray, Z. Li, S. S. Sastry, Section 5.4 in A Mathematical Introduction to Robotic Manipulation, CRC Press, 1994

    work page 1994

  34. [34]

    Visioli, Section 3.3.2 in Practical PID Control, Springer, 2006

    A. Visioli, Section 3.3.2 in Practical PID Control, Springer, 2006

    work page 2006

  35. [35]

    Zaccarian, A

    L. Zaccarian, A. R. Teel, Section 2.3.5 in Modern Anti- windup Synthesis, Princeton University Press, 2011

    work page 2011

  36. [36]

    T. Hu, Z. Lin, B. M. Chen, An Analysis and Design Method for Linear Systems Subject to Actuator Saturation and Disturbance, Automatica 38 (2) (2002) 351–359. doi: 10.1016/s0005-1098(01)00209-6

    work page doi:10.1016/s0005-1098(01)00209-6 2002

  37. [37]

    C. Lin, Q. Wang, T. H. Lee, An Improvement on Multivariable PID Controller Design via Iterative LMI Approach, Automatica 40 (3) (2004) 519–525

    work page 2004

  38. [38]

    D. E. Koditschek, The Application of Total Energy as a Lyapunov Function for Mechanical Control Systems, Tech. rep., University of Pennsylvania (1989)

    work page 1989

  39. [39]

    Tomei, Adaptive PD Controller for Robot Manipulators, IEEE Trans.on Robotics and Automation 7 (4) (1991) 565– 570

    P. Tomei, Adaptive PD Controller for Robot Manipulators, IEEE Trans.on Robotics and Automation 7 (4) (1991) 565– 570

    work page 1991

  40. [40]

    H. K. Khalil, Section 4.2. Nonlinear Systems, Prentice Hall, 2002. 18

    work page 2002

  41. [41]

    S. Boyd, L. Vandenberghe, Section 4.4 in Convex Optimization, Cambridge University Press, 2004

    work page 2004

  42. [42]

    J. M. Ortega, Numerical Analysis : A Second Approach, Vol. 3 of Classics in Applied Mathematics, SIAM, 1990

    work page 1990

  43. [43]

    Freeman, P

    R. Freeman, P. Kokotovic, Optimal Nonlinear Controllers for Feedback Linearizable Systems, in: Proc. of the American Control Conference, 1995

    work page 1995

  44. [44]

    R. A. Freeman, P. V. Kokotovic, Inverse Optimality in Robust Stabilization, SIAM Journal on Control and Optimization 34 (4) (1996) 1365–1391

    work page 1996

  45. [45]

    A. D. Ames, K. Galloway, J. W. Grizzle, K. Sreenath, Rapidly exponentially stabilizing control lyapunov functions and hybrid zero dynamics, IEEE Transactions on Automatic Control 59 (4) (2014) 876–891

    work page 2014

  46. [46]

    K. Y. Chao, M. J. Powell, A. D. Ames, P. Hur, Unification of Locomotion Pattern Generation and Control Lyapunov Function-Based Quadratic Programs, in: Proc. of the American Control Conference, 2016

    work page 2016

  47. [47]

    J. M. Lee, Chapter 9 in Introduction to Smooth Manifolds, Springer, 2012

    work page 2012

  48. [48]

    J. A. Primbs, V. Nevistic, J. C. Doyle, Nonlinear Optimal Control : A Control Lyapunov Function and Receding Horizon Perspective, Asian Journal of Control 1 (1) (1999) 14–24

    work page 1999

  49. [49]

    Galloway, K

    K. Galloway, K. Sreenath, A. D. Ames, J. W. Grizzle, Torque Saturation in Bipedal Robotic Walking Through Control Lyapunov Function-Based Quadratic Programs, IEEE Access 3 (2015) 323–332

    work page 2015

  50. [50]

    Mehra, W

    A. Mehra, W. Ma, F. Berg, P. Tabuada, J. W. Grizzle, A. D. Ames, Adaptive Cruise Control: Experimental Validation of Advanced Controllers on Scale-Model Cars, in: Proc. of the American Control Conf., 2015

    work page 2015

  51. [51]

    M. W. Spong, The Swing Up Control for the Acrobot, IEEE Control Systems Magazine 15 (1) (1995) 49–55

    work page 1995

  52. [52]

    K. J. Astrom, K. Furuta, Swinging up a pendulum by energy control, in: Proc. of the IFAC 13th World Congress, 1996. 19

    work page 1996