Pith. sign in

REVIEW 1 cited by

Review on contraction analysis and computation of contraction metrics

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2203.01367 v1 pith:GXC7QK42 submitted 2022-03-02 math.DS math.CAmath.OC

classification math.DSmath.CAmath.OC
keywords contractionanalysisdistancesystemscomputationcontractingentropyequations
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

Contraction analysis considers the distance between two adjacent trajectories. If this distance is contracting, then trajectories have the same long-term behavior. The main advantage of this analysis is that it is independent of the solutions under consideration. Using an appropriate metric, with respect to which the distance is contracting, one can show convergence to a unique equilibrium or, if attraction only occurs in certain directions, to a periodic orbit. Contraction analysis was originally considered for ordinary differential equations, but has been extended to discrete-time systems, control systems, delay equations and many other types of systems. Moreover, similar techniques can be applied for the estimation of the dimension of attractors and for the estimation of different notions of entropy (including topological entropy). This review attempts to link the references in both the mathematical and the engineering literature and, furthermore, point out the recent developments and algorithms in the computation of contraction metrics.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems

    math.OC 2025-04 conditional novelty 7.0 of 10

    A continuity-only local contraction condition, verified with alpha,beta-CROWN, yields formally certified neural contraction metrics and the first verified metric for a ReLU-controlled inverted pendulum.

Pith tools