Fundamental limitations of monotonic tracking systems
Pith reviewed 2026-05-18 23:06 UTC · model grok-4.3
The pith
Necessary and sufficient conditions for monotonic tracking reveal exact limits on plant zero locations, minimum controller order, and fastest closed-loop decay rate.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper establishes necessary and sufficient conditions for solvability of the monotonic tracking problem in continuous-time SISO linear systems with linear output-feedback controllers. It determines the precise feasible locations of the plant zeros, the lowest attainable controller order, and the highest attainable decay rate of the closed-loop system, and shows that these quantities are related through a simple geometric shape whenever the plant possesses a pair of complex-conjugate zeros.
What carries the argument
The geometric shape in the complex plane that encodes the joint constraints on feasible zero locations, minimum controller order, and maximum decay rate for plants with complex-conjugate zeros.
If this is right
- Plant zeros must occupy only certain regions in the complex plane for monotonic tracking to be possible at all.
- Any stabilizing linear controller must have order at least as high as the minimum value fixed by the zero locations.
- The closed-loop decay rate is bounded above by a value determined jointly by the zeros and the controller order.
- For plants with one complex-conjugate zero pair the three bounds collapse into a single geometric relation that can be read off a diagram.
Where Pith is reading between the lines
- The geometric picture may supply a quick visual test that designers can apply before launching numerical synthesis routines.
- Similar geometric constraints could appear in discrete-time or MIMO versions of the same tracking problem.
- The decay-rate bound offers a concrete benchmark against which non-monotonic designs can be compared for speed.
- Knowing the minimal order in advance can prevent fruitless searches over lower-order controllers.
Load-bearing premise
The setting is restricted to continuous-time single-input single-output linear systems under linear output-feedback controllers.
What would settle it
A concrete counterexample consisting of a plant whose zeros lie outside the stated feasible region yet still admits a linear controller that produces exact monotonic tracking at a decay rate faster than the derived bound would falsify the necessary conditions.
Figures
read the original abstract
We consider the monotonic tracking control problem for continuous-time single-input single-output linear systems using output-feedback linear controllers in this paper. We provide the necessary and sufficient conditions for this problem to be solvable and expose its fundamental limitations: the exact feasible locations of the plant zeros, the minimum controller order possible, and the fastest decay rate achievable for the closed-loop system. The relationship between these bounds is explained by a simple geometric shape for plants with a pair of complex-conjugate zeros.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper considers the monotonic tracking control problem for continuous-time single-input single-output linear systems using output-feedback linear controllers. It provides necessary and sufficient conditions for solvability and exposes fundamental limitations including the exact feasible locations of the plant zeros, the minimum controller order, and the fastest decay rate achievable for the closed-loop system. For plants with a pair of complex-conjugate zeros, the relationship between these bounds is explained via a simple geometric shape derived from the resulting quadratic constraints.
Significance. If the derivations hold, the work establishes explicit necessary and sufficient conditions for monotonic tracking, along with concrete bounds on zero placement, controller order, and decay rates. This contributes to the understanding of performance limitations in linear control design for non-overshooting responses. The paper receives credit for deriving the results via pole-zero placement and closed-loop characteristic equations, yielding a geometric interpretation without internal contradictions within the stated class of systems.
minor comments (3)
- The abstract and introduction could more explicitly reference the key equations (e.g., the characteristic polynomial or quadratic constraints) that underpin the necessity and sufficiency arguments, to improve accessibility for readers.
- Section on the geometric shape for complex-conjugate zeros would benefit from an accompanying figure illustrating the feasible region, as the textual description alone may not convey the shape as clearly as intended.
- Notation for the decay rate bound and controller order minimum should be consistently defined across the main results and any examples to avoid minor ambiguity in cross-referencing.
Simulated Author's Rebuttal
We thank the referee for the report and the recommendation of minor revision. The provided summary accurately reflects the scope of the work. No major comments are listed in the report.
Circularity Check
No significant circularity
full rationale
The paper derives necessary and sufficient conditions for solvability of the monotonic tracking problem, along with bounds on zero locations, controller order, and decay rate, directly from pole-zero placement and closed-loop characteristic equations for continuous-time SISO linear plants under linear output feedback. These steps rely on standard algebraic constraints and geometric interpretations of quadratic forms for complex zeros, without any reduction to self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations. The derivation remains self-contained and independent within the explicitly scoped class of systems.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The plant is a continuous-time single-input single-output linear system.
- domain assumption The controller is a linear output-feedback controller.
Reference graph
Works this paper leans on
-
[1]
M. M. Seron, J. H. Braslavsky, and G. C. Goodwin, Fundamental limitations in filtering and control . Springer Science & Business Media, 2012
work page 2012
-
[2]
G. C. Goodwin, A. M. Medioli, D. S. Carrasco, B. R. King, and Y . Fu, “A fundamental control limitation for linear positive systems with application to type 1 diabetes treatment,” Automatica, vol. 55, pp. 73–77, 2015
work page 2015
-
[3]
T. Damm and L. N. Muhirwa, “Zero crossings, overshoot and initial undershoot in the step and impulse responses of linear systems,” IEEE Transactions on Automatic Control , vol. 59, no. 7, pp. 1925–1929, 2013
work page 1925
-
[4]
On overshoot and nonminimum phase zeros,
J. Stewart and D. E. Davison, “On overshoot and nonminimum phase zeros,” IEEE Transactions on Automatic Control , vol. 51, no. 8, pp. 1378–1382, 2006
work page 2006
-
[5]
On fundamental limitations of dynamic feedback control in regular large-scale networks,
E. Tegling, P. Mitra, H. Sandberg, and B. Bamieh, “On fundamental limitations of dynamic feedback control in regular large-scale networks,” IEEE Transactions on Automatic Control , vol. 64, no. 12, pp. 4936–4951, 2019
work page 2019
-
[6]
Maximization of gain/phase margins by pid control,
Q. Mao, Y . Xu, J. Chen, J. Chen, and T. T. Georgiou, “Maximization of gain/phase margins by pid control,” IEEE Transactions on Automatic Control , 2024
work page 2024
-
[7]
H. Taghavian and M. Johansson, “External positivity of discrete-time linear systems: transfer function conditions and output feedback,” IEEE Transactions on Automatic Control , vol. 68, no. 11, pp. 6649–6663, 2023
work page 2023
-
[8]
H. Taghavian, M. Johansson, and M. S. Tavazoei, “Discrete-time siso lti systems with monotonic closed-loop step responses: Analysis and control based on impulse response models,” IFAC-PapersOnLine, vol. 54, no. 9, pp. 476–481, 2021. 14 IEEE TRANSACTIONS AND JOURNALS TEMPLATE
work page 2021
-
[9]
Transient performance of linear systems through symmetric polynomials,
H. Taghavian and M. Johansson, “Transient performance of linear systems through symmetric polynomials,” in 2022 IEEE 61st Conference on Decision and Control (CDC) , pp. 4218–4223, IEEE, 2022
work page 2022
-
[10]
Conditions that guarantee no overshoot for linear systems,
S. F. Phillips and D. E. Seborg, “Conditions that guarantee no overshoot for linear systems,” International Journal of Control , vol. 47, no. 4, pp. 1043– 1059, 1988
work page 1988
-
[11]
Design of non-overshooting feedback control systems,
G. Deodhare and M. Vidyasagar, “Design of non-overshooting feedback control systems,” in 29th IEEE Conference on Decision and Control , pp. 1827– 1834, IEEE, 1990
work page 1990
-
[12]
Implementation of a novel non-overshooting tracking control method on a legor® robot,
M. Hughes, R. Schmid, and Y . Tan, “Implementation of a novel non-overshooting tracking control method on a legor® robot,” in 2012 2nd Australian Control Conference, pp. 289–294, IEEE, 2012
work page 2012
-
[13]
Robust non-overshooting tracking using continuous control for linear multivariable systems,
N. Xavier, B. Bandyopadhyay, and R. Schmid, “Robust non-overshooting tracking using continuous control for linear multivariable systems,” IET Control Theory & Applications , vol. 12, no. 7, pp. 1006–1011, 2018
work page 2018
-
[14]
A. Schwab and J. Lunze, “On the collision avoidance of adaptive cruise controllers: Comparison of string stability and external positivity,” in 2021 IEEE Conference on Control Technology and Applications (CCTA) , pp. 20–25, IEEE, 2021
work page 2021
-
[15]
Y . Zhang and J. Zhao, “Switching tracking control for linear time-invariant systems without overshoot: a positive systems method,” IET Control Theory & Applications, vol. 13, no. 7, pp. 952–959, 2019
work page 2019
-
[16]
Globally monotonic tracking control of multivariable systems,
L. Ntogramatzidis, J.-F. Tr ´egou¨et, R. Schmid, and A. Ferrante, “Globally monotonic tracking control of multivariable systems,” IEEE Transactions on Automatic Control, vol. 61, no. 9, pp. 2559–2564, 2015
work page 2015
-
[17]
A. Dhyani and T. Jain, “Minimal-norm state-feedback globally non-overshooting/undershooting tracking control of multivariable systems,” IFAC Journal of Systems and Control , vol. 22, p. 100212, 2022
work page 2022
-
[18]
Pole-placement for non-overshooting reference tracking,
H. Taghavian, R. Drummond, and M. Johansson, “Pole-placement for non-overshooting reference tracking,” in 2021 60th IEEE Conference on Decision and Control (CDC) , pp. 414–421, IEEE, 2021
work page 2021
-
[19]
Fixed-order controller synthesis for monotonic closed-loop responses: a linear programming approach,
H. Taghavian and M. Johansson, “Fixed-order controller synthesis for monotonic closed-loop responses: a linear programming approach,” IFAC- PapersOnLine, vol. 53, no. 2, pp. 4682–4687, 2020
work page 2020
-
[20]
Non-overshooting tracking controllers based on combinatorial polynomials,
H. Taghavian and M. Johansson, “Non-overshooting tracking controllers based on combinatorial polynomials,” in 2023 62nd IEEE Conference on Decision and Control (CDC) , pp. 677–684, IEEE, 2023
work page 2023
-
[21]
Preservation of external positivity in discretization of linear systems,
H. Taghavian and M. Johansson, “Preservation of external positivity in discretization of linear systems,” European Journal of Control , 2021
work page 2021
-
[22]
Nonovershooting and nonundershooting exact output regulation,
R. Schmid and L. Ntogramatzidis, “Nonovershooting and nonundershooting exact output regulation,” Systems & Control Letters , vol. 70, pp. 30–37, 2014
work page 2014
-
[23]
On the solvability of the global monotonic tracking for subsets of output components,
L. Ntogramatzidis, F. Padula, and E. Garone, “On the solvability of the global monotonic tracking for subsets of output components,” in 2019 18th European Control Conference (ECC) , pp. 3823–3828, IEEE, 2019
work page 2019
-
[24]
S. Darbha, “On the synthesis of controllers for continuous time lti systems that achieve a non-negative impulse response,” Automatica, vol. 39, no. 1, pp. 159–165, 2003
work page 2003
-
[25]
G. Zhao and J. Wang, “Existence and design of non-overshoot reset controllers for minimum-phase linear single-input single-output systems,” IET Control Theory & Applications , vol. 9, no. 17, pp. 2514–2521, 2015
work page 2015
-
[26]
Vidyasagar, Control Systems Synthesis: A Factorization Approach, Part I
M. Vidyasagar, Control Systems Synthesis: A Factorization Approach, Part I. Springer, 2011
work page 2011
-
[27]
On h ∞-optimal sensitivity theory for siso feedback systems,
B. Francis and G. Zames, “On h ∞-optimal sensitivity theory for siso feedback systems,” IEEE transactions on Automatic Control , vol. 29, no. 1, pp. 9–16, 1984
work page 1984
-
[28]
Nonminimum-phase zeros-much to do about nothing-classical control-revisited part ii,
J. B. Hoagg and D. S. Bernstein, “Nonminimum-phase zeros-much to do about nothing-classical control-revisited part ii,” IEEE Control Systems Magazine, vol. 27, no. 3, pp. 45–57, 2007
work page 2007
-
[29]
On undershoot and nonminimum phase zeros,
M. Vidyasagar, “On undershoot and nonminimum phase zeros,” IEEE Transactions on Automatic Control , vol. 31, no. 5, pp. 440–440, 1986
work page 1986
-
[30]
S. Skogestad and I. Postlethwaite, Multivariable feedback control: analysis and design . john Wiley & sons, 2005
work page 2005
-
[31]
Design of adaptive cruise controllers for externally positive vehicles,
A. Schwab and J. Lunze, “Design of adaptive cruise controllers for externally positive vehicles,” IFAC-PapersOnLine, vol. 53, no. 2, pp. 15275–15280, 2020
work page 2020
-
[32]
Logarithmically completely monotonic rational functions,
H. Taghavian, R. Drummond, and M. Johansson, “Logarithmically completely monotonic rational functions,” Automatica
-
[33]
The inversion of the laplace integral and the related moment problem,
D. V . Widder, “The inversion of the laplace integral and the related moment problem,” Transactions of the American Mathematical Society , vol. 36, no. 1, pp. 107–200, 1934
work page 1934
-
[34]
Aggregates of monotonic step response systems: a structural classification,
F. Blanchini, C. C. Samaniego, E. Franco, and G. Giordano, “Aggregates of monotonic step response systems: a structural classification,” IEEE Transactions on Control of Network Systems , vol. 5, no. 2, pp. 782–792, 2017
work page 2017
-
[35]
G. Goodwin, S. Graebe, and M. Salgado, Control System Design . USA: Prentice Hall PTR, 1st ed., 2000
work page 2000
-
[36]
Zero-free regions of polynomials,
V . Cowling and W. Thron, “Zero-free regions of polynomials,” The American Mathematical Monthly , vol. 61, no. 10, pp. 682–687, 1954
work page 1954
-
[37]
¨Uber die darstellung definiter formen als summe von formenquadraten,
D. Hilbert, “ ¨Uber die darstellung definiter formen als summe von formenquadraten,” Mathematische Annalen, vol. 32, no. 3, pp. 342–350, 1888
-
[38]
G. P ´olya and G. Szego, “Problems and theorems in analysis ii: theory of functions, zeros, polynomials, determinants, number theory, geometry,” Grundl. Math. Wiss, vol. 216, 2004
work page 2004
-
[39]
On the transient control of linear time invariant systems,
W. A. Malik, S. Darbha, and S. P. Bhattacharyya, “On the transient control of linear time invariant systems,” in 2009 American Control Conference , pp. 3142–3147, IEEE, 2009
work page 2009
-
[40]
Development and experimental verification of a mathematical model for robot force control design,
G. Alici and R. W. Daniel, “Development and experimental verification of a mathematical model for robot force control design,” in Proceedings of 1993 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS’93) , vol. 3, pp. 1559–1565, IEEE, 1993
work page 1993
-
[41]
Tuy, Convex analysis and global optimization
H. Tuy, Convex analysis and global optimization . Springer. APPENDIX A. Proof of Proposition 2 There are two possible cases: Case m = n: the closed-loop impulse response h(t) = L−1{H(s)} satisfies h(t) = Kδ(t) + L−1{H(s) − K} (40) where L−1{H(s) − K} is bounded in a neighbourhood of t = 0 and δ(t) is the Dirac delta function. If H(s) is PIR, h(t) is non-n...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.