pith. sign in

arxiv: 2604.20509 · v1 · submitted 2026-04-22 · 📡 eess.SY · cs.SY· math.OC

Approximate Simulation-based Hierarchical Control of Nonlinear Systems

Zirui Niu , Antoine Girard , Giordano Scarciotti This is my paper

Pith reviewed 2026-05-09 23:58 UTC · model grok-4.3

classification 📡 eess.SY cs.SYmath.OC
keywords approximate simulation-based hierarchical controlnonlinear systemsinvariance equationsbounded output discrepancym-relationabstract systemsDC-DC converter
0
0 comments X

The pith

Nonlinear systems can be approximately controlled through a simpler abstract model by solving invariance equations to ensure output closeness and state relations.

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

The paper develops a constructive method for the approximate simulation-based hierarchical control problem on nonlinear systems. It uses invariance equations to design an abstract system and an interface that keep outputs within bounds and satisfy the m-relation. Readers would care because this removes the earlier limitation to linear systems and enables the approach for realistic nonlinear plants. The work also derives solvability conditions and gives design procedures, shown step by step on a DC-to-DC Ćuk converter.

Core claim

The authors establish that invariance equation-based methods achieve bounded output discrepancy and the m-relation for nonlinear systems, allowing construction of an abstract system whose control law transfers approximately to the original plant via an interface function, when solutions to the equations exist.

What carries the argument

Invariance equations that enforce bounded output discrepancy and the m-relation between abstract and concrete nonlinear systems.

If this is right

  • If the invariance equations are solvable, a control law designed on the abstract system transfers to the nonlinear system with explicit approximation guarantees.
  • Solvability conditions determine precisely when the ASHC technique succeeds for a given nonlinear system.
  • The summarized design procedures allow step-by-step construction of the abstract model, interface, and controller for concrete plants such as power converters.

Where Pith is reading between the lines

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

  • Numerical methods could be used to find approximate solutions to the invariance equations for systems where closed-form solutions are unavailable.
  • The same abstraction idea might apply to control of systems with disturbances or parameter variations if the equations are modified accordingly.
  • This constructive route suggests hierarchical control could become standard for many nonlinear engineering plants once solution existence is checked.

Load-bearing premise

The nonlinear system must admit solutions to the proposed invariance equations that achieve bounded output discrepancy and the m-relation.

What would settle it

A nonlinear system such as a modified Ćuk converter for which the invariance equations have no solutions, or for which the implemented interface produces output discrepancy larger than the predicted bound, would falsify the method.

Figures

Figures reproduced from arXiv: 2604.20509 by Antoine Girard, Giordano Scarciotti, Zirui Niu.

Figure 1
Figure 1. Figure 1: Hierarchical control system architecture. framework introduced by Girard and Pappas [3] based on the notion of approximate simulation, and hereafter referred to as approximate simulation-based hierarchical control (ASHC). As illustrated in [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Interconnection to illustrate the design of m-relation. input u. Now we show that the sufficient condition (21) is not difficult to satisfy. Theorem 5: Consider any functions m : Xy → R nˆ and κ such that (21c) holds for all x ∈ Xy. Suppose m is differentiable. Then there exist functions b : Xy → R mˆ and c : Xy → R mˆ ×m such that (21a) and (21b) are satisfied for all x ∈ Xy if δ(x) is of full row rank fo… view at source ↗
Figure 3
Figure 3. Figure 3: Flow chart of the final design procedure for solving the nonlinear ASHC problem formulated in Problem 1. Now let x¯ = x−x ′ . As h(x) = h(x ′ ) with h a linear function, we obtain h(¯x) = h(x − x ′ ) = h(x) − h(x ′ ) = 0, implying that (24) holds. Remark 7: If systems Σ and Σ ′ are linear, the functions p and m become linear mappings and therefore Im(p) and Ker(h) become vector spaces. Consequently, when X… view at source ↗
Figure 4
Figure 4. Figure 4: DC-to-DC Cuk Converter. ´ A. System Modelling Consider a DC-to-DC Cuk converter depicted in [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
Figure 6
Figure 6. Figure 6: Plots of ∥ϑ(ξ, x)∥ versus ξ ∈ [0, 0.95] when q ≡ 0, with δ = 1 (left) and δ in (39) (right). C. Simulation Function and Error Bound By following [PITH_FULL_IMAGE:figures/full_fig_p010_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Time histories of inputs v (top) and u (bottom) driving systems Σ′ and Σ, respectively, in the ASHC framework. with q(ξ, x)=( (g ⊤(x)Mg(x))−1 g ⊤(x)M ∂p(ξ) ∂ξ δ(ξ), g(x) ̸= 04×1; 0, g(x) = 04×1. (43) Remark 9: Recall that the input space is U = [0, 1]. There may not be a guarantee on the fact that uω in (42) stays inside U for all times. In such a case, one can instead design uω as uω = sat(ξ + q(ξ, x)v), … view at source ↗
Figure 10
Figure 10. Figure 10: Time histories of outputs y (blue solid) and ψ (red dashed) of systems Σ and Σ′ in the interconnection in [PITH_FULL_IMAGE:figures/full_fig_p012_10.png] view at source ↗
Figure 9
Figure 9. Figure 9: Time histories of inputs u (top) and v (bottom) into systems Σ and Σ′ , respectively, in the interconnection in [PITH_FULL_IMAGE:figures/full_fig_p012_9.png] view at source ↗
read the original abstract

Controlling complex dynamical systems to satisfy sophisticated specifications remains a significant challenge in modern engineering. A promising approach to this problem is the approximate simulation-based hierarchical control (ASHC) technique. In this method, a simplified representation of the complex system, called the abstract system, is first designed and controlled. An interface function is then designed to translate the control law into the input of the complex system, thereby achieving approximate control synthesis. However, most existing results in ASHC are only for linear systems. This paper proposes a constructive method for solving the ASHC problem for nonlinear systems. To this end, we propose invariance equation-based methods to achieve the two classical requirements of the ASHC technique, namely the bounded output discrepancy and the $m$-relation. We then study the solvability conditions of the problem and summarise the overall design procedures. We illustrate the results with a practical example, providing step-by-step solutions to the ASHC problem of a DC-to-DC \'Cuk converter.

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

0 major / 3 minor

Summary. The manuscript proposes a constructive method for solving the approximate simulation-based hierarchical control (ASHC) problem for nonlinear systems. It introduces invariance equation-based methods to achieve the two classical requirements of bounded output discrepancy and the m-relation, studies the solvability conditions of these equations, summarizes the overall design procedures, and illustrates the results with a step-by-step application to the DC-to-DC Cuk converter.

Significance. If the invariance equations can be solved under the derived conditions to deliver both bounded output discrepancy and the m-relation, the work would meaningfully extend ASHC techniques beyond linear systems to nonlinear dynamics common in applications such as power electronics. The explicit study of solvability conditions and the detailed practical example on the Cuk converter provide both theoretical grounding and applied value.

minor comments (3)
  1. The m-relation is referenced in the abstract and introduction without a concise definition or pointer to its standard formulation in prior ASHC literature; a brief inline clarification would aid readers new to the framework.
  2. In the section presenting the solvability conditions, the manuscript should explicitly link each condition back to the two target properties (bounded discrepancy and m-relation) with a short proof sketch or reference to the relevant invariance equation, rather than leaving the connection implicit.
  3. The Cuk converter example would benefit from a short table or plot quantifying the achieved output discrepancy bound over the simulation horizon, directly confirming the theoretical guarantee in the numerical case.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript on approximate simulation-based hierarchical control for nonlinear systems, including the recognition of the invariance equation methods, solvability conditions, and the DC-DC converter example. The recommendation for minor revision is noted, and we will incorporate any minor improvements in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper develops a constructive procedure for ASHC of nonlinear systems by proposing invariance equation-based methods that target the standard requirements of bounded output discrepancy and the m-relation. Solvability conditions are studied separately, design procedures are summarized, and the method is demonstrated on the Cuk converter. No quoted step equates a claimed result to its own inputs by definition, renames a fitted quantity as a prediction, or relies on a self-citation chain whose prior result is itself unverified or tautological. The hinge assumption (existence of suitable invariance solutions) is an external condition on the plant rather than an internal redefinition, so the derivation chain remains independent.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence of solutions to invariance equations for the specific nonlinear system and standard assumptions from control theory about system dynamics and relations; no free parameters or invented entities are explicitly introduced in the abstract.

axioms (1)
  • domain assumption Nonlinear systems admit invariance equation solutions achieving bounded output discrepancy and m-relation
    Invoked as the basis for the constructive method and solvability study.

pith-pipeline@v0.9.0 · 5468 in / 1125 out tokens · 27415 ms · 2026-05-09T23:58:06.904651+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages

  1. [1]

    A. C. Antoulas,Approximation of large-scale dynamical systems. Philadelphia, USA: SIAM, 2005. AUTHORet al.: TITLE 13

    work page 2005

  2. [2]

    Interconnection-based model order reduction - a survey,

    G. Scarciotti and A. Astolfi, “Interconnection-based model order reduction - a survey,”Eur. J. Control, vol. 75, p. 100929, 2024

    work page 2024

  3. [3]

    Hierarchical control system design using approximate simulation,

    A. Girard and G. J. Pappas, “Hierarchical control system design using approximate simulation,”Automatica, vol. 45, no. 2, pp. 566–571, 2009

    work page 2009

  4. [4]

    Compositional abstraction for networks of control systems: A dissipativity approach,

    M. Zamani and M. Arcak, “Compositional abstraction for networks of control systems: A dissipativity approach,”IEEE Trans. Control Netw. Syst., vol. 5, no. 3, pp. 1003–1015, 2017

    work page 2017

  5. [5]

    Compositional construction of approximate abstractions of interconnected control systems,

    M. Rungger and M. Zamani, “Compositional construction of approximate abstractions of interconnected control systems,”IEEE Trans. Control Netw. Syst., vol. 5, no. 1, pp. 116–127, 2016

    work page 2016

  6. [6]

    Approximate abstractions of control systems with an application to aggregation,

    S. W. Smith, M. Arcak, and M. Zamani, “Approximate abstractions of control systems with an application to aggregation,”Automatica, vol. 119, p. 109065, 2020

    work page 2020

  7. [7]

    Robust approximate simulation for hierarchical control of piecewise affine systems under bounded disturbances,

    Z. Song, V . Kurtz, S. Welikala, P. J. Antsaklis, and H. Lin, “Robust approximate simulation for hierarchical control of piecewise affine systems under bounded disturbances,” inProc. 41st Amer. Control Conf., 2022, pp. 1543–1548

    work page 2022

  8. [8]

    Approximations of stochastic hybrid systems: A compositional approach,

    M. Zamani, M. Rungger, and P. M. Esfahani, “Approximations of stochastic hybrid systems: A compositional approach,”IEEE Transactions on Automatic Control, vol. 62, no. 6, pp. 2838–2853, 2016

    work page 2016

  9. [9]

    Hierarchical control for cyber- physical systems via general approximate alternating simulation relations,

    B. Zhong, M. Arcak, and M. Zamani, “Hierarchical control for cyber- physical systems via general approximate alternating simulation relations,” IFAC-PapersOnLine, vol. 58, no. 11, pp. 13–18, 2024

    work page 2024

  10. [10]

    Hierarchical control via approximate simulation and feedback linearization,

    J. Fu, S. Shah, and H. G. Tanner, “Hierarchical control via approximate simulation and feedback linearization,” inProc. 32nd Am. Control Conf., 2013, pp. 1816–1821

    work page 2013

  11. [11]

    An approximate simulation approach to symbolic control,

    P. Tabuada, “An approximate simulation approach to symbolic control,” IEEE Trans. Autom. Control, vol. 53, no. 6, pp. 1406–1418, 2008

    work page 2008

  12. [12]

    Approximation metrics for discrete and continuous systems,

    A. Girard and G. J. Pappas, “Approximation metrics for discrete and continuous systems,”IEEE Trans. Autom. Control, vol. 52, no. 5, pp. 782–798, 2007

    work page 2007

  13. [13]

    W. H. Schilders, H. A. Van der V orst, and J. Rommes,Model order reduction: theory, research aspects and applications. Berlin, Heidelberg: Springer, 2008, vol. 13

    work page 2008

  14. [14]

    Bridging abstraction-based hierarchical control and moment matching: A conceptual unification,

    Z. Niu, M. F. Shakib, and G. Scarciotti, “Bridging abstraction-based hierarchical control and moment matching: A conceptual unification,” in Proc. 64th IEEE Conf. Decis. Control, 2025

    work page 2025

  15. [15]

    Obinata and B

    G. Obinata and B. D. Anderson,Model reduction for control system design. Springer Science & Business Media, 2012

    work page 2012

  16. [16]

    Finite-horizon minimal realizations for model predictive control of large-scale systems,

    T. J. Meijer, S. A. N. Nouwens, V . S. Dolk, B. de Jager, and W. P. M. H. Heemels, “Finite-horizon minimal realizations for model predictive control of large-scale systems,” inProc. 61st IEEE Conf. Decis. Control, 2022, pp. 1136–1141

    work page 2022

  17. [17]

    Use of reduced-order models in well control optimization,

    J. D. Jansen and L. J. Durlofsky, “Use of reduced-order models in well control optimization,”Optim. Eng., vol. 18, no. 1, pp. 105–132, 2017

    work page 2017

  18. [18]

    Forward completeness, unboundedness observability, and their Lyapunov characterizations,

    D. Angeli and E. D. Sontag, “Forward completeness, unboundedness observability, and their Lyapunov characterizations,”Syst. Control Lett., vol. 38, no. 4-5, pp. 209–217, 1999

    work page 1999

  19. [19]

    E. D. Sontag,Mathematical Control Theory: Deterministic Finite Dimensional Systems. Springer Science & Business Media, 2013, vol. 6

    work page 2013

  20. [20]

    A Lyapunov approach to incremental stability properties,

    D. Angeli, “A Lyapunov approach to incremental stability properties,” IEEE Trans. Autom. Control, vol. 47, no. 3, pp. 410–421, 2002

    work page 2002

  21. [21]

    Milner,Communication and Concurrency

    R. Milner,Communication and Concurrency. Prentice-Hall, Inc., 1989

    work page 1989

  22. [22]

    Hierarchically consistent control systems,

    G. J. Pappas, G. Lafferriere, and S. Sastry, “Hierarchically consistent control systems,”IEEE Trans. Autom. Control, vol. 45, no. 6, pp. 1144– 1160, 2000

    work page 2000

  23. [23]

    Hierarchical trajectory refinement for a class of nonlinear systems,

    P. Tabuada and G. J. Pappas, “Hierarchical trajectory refinement for a class of nonlinear systems,”Automatica, vol. 41, no. 4, pp. 701–708, 2005

    work page 2005

  24. [24]

    A tutorial on incremental stability analysis using contraction theory,

    J. Jouffroy and T. I. Fossen, “A tutorial on incremental stability analysis using contraction theory,”Model. Identif. Control, vol. 31, no. 3, p. 93, 2010

    work page 2010

  25. [25]

    Model order reduction from data with certification,

    B. Samari, A. Nejati, and A. Lavaei, “Model order reduction from data with certification,” inProc. 64th IEEE Conf. Decis. Control, 2025, pp. 5800–5805

    work page 2025

  26. [26]

    Polynomial approximation of high- dimensional Hamilton–Jacobi–Bellman equations and applications to feedback control of semilinear parabolic PDEs,

    D. Kalise and K. Kunisch, “Polynomial approximation of high- dimensional Hamilton–Jacobi–Bellman equations and applications to feedback control of semilinear parabolic PDEs,”SIAM J. Sci. Comput., vol. 40, no. 2, pp. A629–A652, 2018

    work page 2018

  27. [27]

    Robust feedback control of nonlinear PDEs by numerical approximation of high-dimensional Hamilton–Jacobi–Isaacs equations,

    D. Kalise, S. Kundu, and K. Kunisch, “Robust feedback control of nonlinear PDEs by numerical approximation of high-dimensional Hamilton–Jacobi–Isaacs equations,”SIAM J. Appl. Dyn. Syst., vol. 19, no. 2, pp. 1496–1524, 2020

    work page 2020

  28. [28]

    On the approximation of moments for nonlinear systems,

    N. Faedo, G. Scarciotti, A. Astolfi, and J. V . Ringwood, “On the approximation of moments for nonlinear systems,”IEEE Trans. Autom. Control, vol. 66, no. 11, pp. 5538–5545, 2021

    work page 2021

  29. [29]

    A polynomial approximation scheme for nonlinear model reduction by moment matching,

    C. Doebeli, A. Astolfi, D. Kalise, A. Moreschini, G. Scarciotti, and J. Simard, “A polynomial approximation scheme for nonlinear model reduction by moment matching,”arXiv preprint arXiv:2412.13371, 2024

    work page arXiv 2024

  30. [30]

    Model reduction by moment matching for linear and nonlinear systems,

    A. Astolfi, “Model reduction by moment matching for linear and nonlinear systems,”IEEE Trans. Autom. Control, vol. 55, no. 10, pp. 2321–2336, 2010

    work page 2010

  31. [31]

    Nonlinear model reduction by moment matching,

    G. Scarciotti and A. Astolfi, “Nonlinear model reduction by moment matching,”Found. Trends Syst. Control, vol. 4, no. 3-4, pp. 224–409, 2017

    work page 2017

  32. [32]

    J. M. Lee,Introduction to Smooth Manifolds, 2nd ed. New York, NY , USA: Springer, 2012

    work page 2012

  33. [33]

    Approximate bisimulation relations for constrained linear systems,

    A. Girard and G. J. Pappas, “Approximate bisimulation relations for constrained linear systems,”Automatica, vol. 43, no. 8, pp. 1307–1317, 2007

    work page 2007

  34. [34]

    10, 2026

    MOSEK ApS,The MOSEK API for MATLAB 11.0.28, 2019, Accessed: Mar. 10, 2026. [Online]. Available: https://docs.mosek.com/latest/ matlabapi/index.html

    work page 2019

  35. [35]

    YALMIP: A toolbox for modeling and optimization in MATLAB,

    J. L ¨ofberg, “YALMIP: A toolbox for modeling and optimization in MATLAB,” inProc. 13th IEEE Conf. Comput.-Aided Control Syst. Des., 2004. Zirui Niu(Graduate Student Member, IEEE) was born in Shandong, China. He received the B.Eng. (Hons) degree in electrical and electronic engineering from the University of Liverpool, UK, in 2020, and the M.Sc. degree in...

    work page 2004

  36. [36]

    Tor Vergata

    Since 2022, he has been pursuing a Ph.D. in control theory at Imperial College London, UK, supported by the CSC-Imperial Scholarship. His research interests include output regulation, hybrid systems, model reduction, approximate simulation of complex systems, and data-driven control. He was the recipient of the MSc Control Systems Outstanding Achievement ...

    work page 2022

  37. [37]

    He was a visiting scholar at New Y ork University in 2015, at Uni- versity of California Santa Barbara in 2016, and a Visiting Fellow of Shanghai University in 2021-2022

    He is currently an Associate Professor in Control Theory at Imperial. He was a visiting scholar at New Y ork University in 2015, at Uni- versity of California Santa Barbara in 2016, and a Visiting Fellow of Shanghai University in 2021-2022. He is the recipient of an Imperial College Junior Research Fellowship (2016), of the IET Control & Automation PhD Aw...

    work page 2015