Observer design for classes of nonlinear port-Hamiltonian systems
Pith reviewed 2026-05-13 18:25 UTC · model grok-4.3
The pith
An LPV polytopic embedding enables LMI-based design of exponential observers for nonlinear port-Hamiltonian systems with state-dependent input matrices.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The nonlinear error dynamics of the port-Hamiltonian system are represented as a convex combination of linear vertex systems using an integral mean value representation. This representation enables the systematic computation of observer gains via LMI conditions that guarantee exponential convergence of the estimation error. Both constant-gain and gain-scheduled observers are derived within this framework.
What carries the argument
The LPV polytopic embedding of the nonlinear error dynamics based on the integral mean value theorem, which converts the nonlinear observer design into solvable LMIs for the gains.
If this is right
- Constant-gain observers are obtained directly by solving LMIs derived from the vertex systems.
- Gain-scheduled observers certify significantly larger decay rates than constant-gain designs.
- The method covers electromechanical systems modeled under quasi-static electrical assumptions.
- Numerical examples confirm that the computed gains produce exponential error convergence in simulation.
Where Pith is reading between the lines
- The same embedding could support joint observer-based controller synthesis for the same class of systems.
- Similar integral-mean-value polytopic representations may apply to nonlinear systems outside the port-Hamiltonian structure.
- The framework could be extended to include robustness margins against model uncertainties or disturbances.
Load-bearing premise
The nonlinear port-Hamiltonian system admits an exact LPV polytopic embedding via the integral mean value theorem that remains valid over the operating domain and yields solvable LMIs.
What would settle it
A concrete nonlinear port-Hamiltonian system possessing an exponentially convergent observer for which the proposed LMI conditions admit no feasible solution at any positive decay rate.
Figures
read the original abstract
This paper presents a systematic observer design methodology for a class of port-Hamiltonian (pH) systems with state-dependent input matrices. Such systems can model a wide range of electromechanical systems, including magnetic levitation systems, MEMS devices, and electro-active polymer actuators such as DEA actuators, HASEL actuators, etc. In these applications, state-dependent input matrices naturally arise when the system is modeled under quasi-static electrical assumptions. An LPV polytopic embedding framework, together with LMI-based synthesis conditions, is proposed. The nonlinear error dynamics are represented as a convex combination of linear vertex systems using an integral mean value representation, which enables systematic computation of the observer gains that ensures exponential convergence. Both constant-gain and gain-scheduled observers are derived. Numerical results demonstrate the effectiveness of the proposed observer, with the gain-scheduled design achieving a significant increase in the maximum certifiable decay rate compared with constant-gain approaches, thereby reducing conservatism.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops an observer design method for nonlinear port-Hamiltonian systems whose input matrix depends on the state. It employs an LPV polytopic embedding of the nonlinear error dynamics obtained via the integral mean-value theorem, expresses the dynamics as a convex combination of linear vertex systems, and derives LMI conditions that certify exponential convergence of the estimation error. Both constant-gain and gain-scheduled observers are obtained; numerical examples illustrate that the scheduled design yields a higher certifiable decay rate.
Significance. If the embedding remains exact and the resulting LMIs are free of hidden input-dependent conservatism, the work supplies a convex-optimization route to observer synthesis for a practically relevant class of electromechanical pH models. The explicit comparison between constant-gain and scheduled designs quantifies the conservatism reduction achievable by scheduling.
major comments (2)
- [Error dynamics representation] Error-dynamics section: the term [g(x) − g(ˆx)]u is rewritten by the integral mean-value theorem as an integral of Dg along the line segment multiplied by the instantaneous u. Consequently each vertex matrix is scaled by the current value of u. The LMI conditions must therefore either augment the vertex set by the admissible range of u or schedule the observer gain on both state and input; the manuscript does not state which route is taken.
- [LMI conditions] LMI synthesis paragraph: the abstract asserts that the LMIs guarantee exponential convergence, yet the explicit matrix inequalities, the precise definition of the polytopic vertices, and the operating-domain assumptions under which the mean-value embedding is valid are not displayed. Without these expressions it is impossible to verify that no additional conservatism or domain restriction is introduced.
minor comments (2)
- [Numerical results] The numerical examples would benefit from tabulated parameter values and explicit statements of the admissible input sets used for each benchmark.
- [Notation] Notation for the state-dependent input matrix g(x) should be introduced once and used uniformly; several passages employ inconsistent symbols for its Jacobian.
Simulated Author's Rebuttal
We thank the referee for the constructive comments, which help clarify key technical aspects of the observer design. We address each major comment below, indicating the revisions that will be incorporated.
read point-by-point responses
-
Referee: [Error dynamics representation] Error-dynamics section: the term [g(x) − g(ˆx)]u is rewritten by the integral mean-value theorem as an integral of Dg along the line segment multiplied by the instantaneous u. Consequently each vertex matrix is scaled by the current value of u. The LMI conditions must therefore either augment the vertex set by the admissible range of u or schedule the observer gain on both state and input; the manuscript does not state which route is taken.
Authors: We appreciate this observation. In the gain-scheduled observer design, the observer gain is scheduled jointly on the estimated state and the instantaneous input u. This directly incorporates the scaling by u into the polytopic representation without requiring augmentation of the vertex set by the admissible range of u (which would introduce additional conservatism). We will add an explicit statement of this joint scheduling strategy in the revised error-dynamics section, together with a clarification of how the integral mean-value embedding is formed. revision: yes
-
Referee: [LMI conditions] LMI synthesis paragraph: the abstract asserts that the LMIs guarantee exponential convergence, yet the explicit matrix inequalities, the precise definition of the polytopic vertices, and the operating-domain assumptions under which the mean-value embedding is valid are not displayed. Without these expressions it is impossible to verify that no additional conservatism or domain restriction is introduced.
Authors: We agree that explicit display of the LMIs, vertex definitions, and domain assumptions is necessary for full verification. These elements appear in Theorem 1 and the surrounding text, where the polytopic vertices are obtained from the integral mean-value representation over a compact operating domain on which the embedding is exact. In the revision we will reproduce the complete matrix inequalities, give the precise vertex matrices, and state the domain assumptions explicitly so that readers can confirm the absence of hidden conservatism. revision: yes
Circularity Check
No circularity: standard mean-value LPV embedding plus LMI synthesis
full rationale
The derivation applies the integral mean-value theorem to obtain an exact convex combination representation of the error dynamics (including the state-dependent g(x) term) and then solves LMIs for observer gains. This chain relies on external convex-optimization theory and the mean-value theorem rather than any self-definition, fitted parameter renamed as prediction, or load-bearing self-citation. No equation reduces to its own input by construction; the exponential-convergence claim is obtained from the LMI feasibility conditions, which are independent of the target rate. The skeptic concern about u-dependence is a potential correctness or domain-of-validity issue, not a circularity reduction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The nonlinear error dynamics admit an exact representation as a convex combination of linear vertex systems via the integral mean value theorem.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The nonlinear error dynamics are represented as a convex combination of linear vertex systems using an integral mean value representation... Aγ(t) = ∫ ∂γ/∂x (¯x(s),u(t)) ds
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
polytopic LPV representation: ˙˜x = Σ hi(ˆx,u) Ai(L) ˜x with Nv=2^nk vertices
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
-
[1]
N. Liu, T. Martinez, A. Walter, Y . Civet, and Y . Perriard, “Control- oriented modeling and analysis of tubular dielectric elastomer ac- tuators dedicated to cardiac assist devices,” IEEE Robotics and Automation Letters , vol. 7, no. 2, pp. 4361–4368, 2022, doi: 10.1109/LRA.2022.3148981
-
[2]
Energy-based control of a dielectric elastomer cardiac as- sist device,
A. Hammoud, N. Liu, Y . Le Gorrec, Y . Civet, and Y . Perri- ard, “Energy-based control of a dielectric elastomer cardiac as- sist device,” Mechatronics, vol. 117, p. 103515, Jul. 2026, doi: 10.1016/j.mechatronics.2026.103515
-
[3]
Energy- based modeling and robust position control of a dielectric elastomer cardiac assist device,
A. Hammoud, N. Liu, Y . Le Gorrec, Y . Civet, and Y . Perriard, “Energy- based modeling and robust position control of a dielectric elastomer cardiac assist device,” IFAC-PapersOnLine, vol. 58, no. 6, pp. 25–30, 2024, doi: 10.1016/j.ifacol.2024.08.251
-
[4]
Modeling and Position Control of the HASEL Actuator via Port- Hamiltonian Approach,
Y . Yeh, N. Cisneros, Y . Wu, K. Rabenorosoa and Y . Le Gorrec, “Modeling and Position Control of the HASEL Actuator via Port- Hamiltonian Approach,” IEEE Robotics and Automation Letters , vol. 7, no. 3, pp. 7100-7107, July 2022, doi: 10.1109/LRA.2022.3181365
-
[5]
Contribution to design energy-based modeling and control of HASEL actuators,
N. E. Cisneros Pinto, “Contribution to design energy-based modeling and control of HASEL actuators,” Ph.D. dissertation, ´Ecole Nationale Sup´erieure de M ´ecanique et des Microtechniques, Besanc ¸on, France, 2025
work page 2025
-
[6]
van der Schaft,L2-Gain and Passivity Techniques in Nonlinear Control, ser
A. van der Schaft, “L2-gain and Passivity Techniques in Non- linear Control”, Springer International Publishing AG , 2017, https://doi.org/10.1007/978-3-319-49992-5
-
[7]
The Hamiltonian formulation of energy conserving physical systems with external ports,
A. van der Schaft and B. Maschke, “The Hamiltonian formulation of energy conserving physical systems with external ports,” Archiv f ¨ur Elektronik und ¨Ubertragungstechnik, vol. 49, pp. 362–371, 1995
work page 1995
-
[8]
R. Ortega, A. van der Schaft, B. Maschke, and G. Escobar, “Inter- connection and damping assignment passivity-based control of port- controlled Hamiltonian systems,” Automatica, vol. 38, no. 4, pp. 585– 596, 2002
work page 2002
-
[9]
Control by Interconnection and Standard Passivity-Based Con- trol of Port-Hamiltonian Systems,
R. Ortega, A. van der Schaft, F. Castanos and A. Astolfi, “Control by Interconnection and Standard Passivity-Based Con- trol of Port-Hamiltonian Systems,” IEEE Transactions on Auto- matic Control , vol. 53, no. 11, pp. 2527-2542, Dec. 2008, doi: 10.1109/TAC.2008.2006930
-
[10]
Full-order observer design for a class of port-Hamiltonian systems,
A. Venkatraman and A. J. van der Schaft, “Full-order observer design for a class of port-Hamiltonian systems,” Automatica, vol. 46, no. 3, pp. 555–561, 2010
work page 2010
-
[11]
Observer design for a class of nonlinear port-Hamiltonian systems,
T. Pfeifer and T. Meurer, “Observer design for a class of nonlinear port-Hamiltonian systems,” IEEE Transactions on Automatic Control , vol. 66, no. 8, pp. 3842–3849, 2021
work page 2021
-
[12]
Observer design for a class of nonlinear port-controlled Hamiltonian systems,
M. Rojas, C. Granados-Salazar, and G. Espinosa-P ´erez, “Observer design for a class of nonlinear port-controlled Hamiltonian systems,” International Journal of Control, vol. 94, no. 10, pp. 2707–2718, 2021
work page 2021
-
[13]
Observer design for a class of nonlinear Hamiltonian systems based on energy function structure,
C. Granados-Salazar, M. Rojas, and G. Espinosa-P ´erez, “Observer design for a class of nonlinear Hamiltonian systems based on energy function structure,” IFAC PapersOnLine, vol. 58, no. 6, pp. 178–183, 2024
work page 2024
-
[14]
Structure-preserving ob- servers for port-Hamiltonian systems via contraction analysis,
D. Spirito, Y . Le Gorrec, and B. Maschke, “Structure-preserving ob- servers for port-Hamiltonian systems via contraction analysis,” IEEE Transactions on Automatic Control , 2024
work page 2024
-
[15]
D. Ichalal, B. Marx, J. Ragot, D. Maquin, and S. Mammar, “Observer for Lipschitz nonlinear systems: Mean value theorem and sector non- linearity transformation,” IEEE Transactions on Automatic Control , vol. 57, no. 5, pp. 1269–1273, 2012
work page 2012
-
[16]
Shanghai Lectures on Multivariable Analysis,
W. G. Faris, “Shanghai Lectures on Multivariable Analysis,” Lecture notes, Oct. 18, 2016
work page 2016
- [17]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.