pith. sign in

arxiv: 2604.08807 · v1 · submitted 2026-04-09 · 🧮 math.DS

Chain transitivity in generalized hybrid dynamics with application to simulation and stochastic approximation of hybrid systems

Rafal K. Goebel , Andrew R. Teel This is my paper

Pith reviewed 2026-05-10 16:45 UTC · model grok-4.3

classification 🧮 math.DS
keywords hybrid inclusionschain transitivityomega limitsstochastic approximationdiscretizationhybrid systemsasymptotic solutionschain recurrence
0
0 comments X

The pith

Discretizations and stochastic approximations of hybrid inclusions produce mappings whose omega limits are internally chain transitive for the original inclusion.

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

The paper develops an abstract framework for generalized hybrid systems defined by collections of hybrid curves on hybrid time domains. It shows that asymptotic solutions in this setting have internally chain transitive omega limits along with related chain recurrence properties. The authors then introduce specific perturbed solutions to hybrid inclusions and verify that these include the trajectories from discretizations and from stochastic approximations. This transfer means the limiting sets of such approximations respect the chain transitivity of the underlying continuous hybrid inclusion, which is useful for understanding long-term behavior in practical simulations without needing to solve the exact system.

Core claim

In an abstract setting of generalized hybrid systems consisting of hybrid curves, the omega-limit sets of asymptotic solutions are internally chain transitive. When the curves are the solutions to a hybrid inclusion, the property carries over to specific kinds of perturbed solutions. These perturbed solutions encompass the mappings generated by discretizations and by stochastic approximations of the inclusion, so the omega limits of those approximations are internally chain transitive for the original hybrid inclusion.

What carries the argument

Perturbed solutions to a hybrid inclusion, a class of mappings that asymptotically resemble true solutions and to which the chain transitivity results from the generalized hybrid curve setting apply directly.

Load-bearing premise

The solutions arising from discretizations and stochastic approximations of a hybrid inclusion must belong to the specific class of perturbed solutions for which chain transitivity is established in the abstract framework.

What would settle it

Exhibit a hybrid inclusion together with a discretization or stochastic approximation whose omega-limit set fails to be internally chain transitive under the dynamics of the original inclusion.

Figures

Figures reproduced from arXiv: 2604.08807 by Andrew R. Teel, Rafal K. Goebel.

Figure 1
Figure 1. Figure 1: An asymptotic L-curve for L = {(t, 0) 7→ sin(t + r)| r ∈ [0, 2π)}. R≥0 × {0}, ψr(t, 0) = sin(t + r). Let T = {s1, s2, . . . } ⊂ R≥0 be such that sn ↗ ∞ while sn+1 − sn → 0, and define a set-valued ϕ on dom ϕ = T × {0} by ϕ(t, 0) := sin(t) − e −t ,sin(t) + e −t [PITH_FULL_IMAGE:figures/full_fig_p016_1.png] view at source ↗
read the original abstract

Asymptotic properties of discrete, stochastic approximations to hybrid systems, modeled as hybrid inclusions, are studied. First, the internal chain transitivity of omega-limits of solutions is concluded, along with other properties related to chain recurrence and transitivity. A concept of an asymptotic solution is proposed to describe any mapping that, asymptotically, resembles a solution, and for which the chain transitivity properties also turn out to hold. The mentioned developments are carried out in an abstract setting of a generalized hybrid system defined by a set of hybrid curves, each defined on a hybrid time domain, and possibly consisting of all solutions to a given hybrid inclusion. Then, more specific kinds of perturbed solutions to a hybrid inclusion are proposed and shown to include the solutions of a discretization and of a stochastic approximation to the hybrid inclusion. Consequently, appropriate discretizations and stochastic approximations of a hybrid inclusion produce mappings whose omega limits are internally chain transitive for the underlying hybrid inclusion.

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

Summary. The manuscript develops an abstract framework for generalized hybrid systems consisting of sets of hybrid curves on hybrid time domains. It establishes that the omega-limits of asymptotic solutions (mappings that asymptotically resemble solutions) are internally chain transitive, along with related properties of chain recurrence. It then introduces specific classes of perturbed solutions to hybrid inclusions and claims that these classes contain the solutions generated by discretizations (such as Euler-type jump-flow maps) and stochastic approximations of the inclusion. As a consequence, the omega-limits of such discretizations and approximations are internally chain transitive with respect to the underlying hybrid inclusion.

Significance. If the inclusion of discretization and stochastic-approximation solutions into the class of perturbed/asymptotic solutions holds with the stated metric, the work supplies a rigorous bridge between abstract chain-transitivity results in hybrid dynamics and the long-term behavior of practical numerical and stochastic simulation methods. This could be useful for analyzing attractors and recurrence in hybrid control systems and stochastic approximation algorithms. The generalized hybrid-curve setting itself is a conceptual contribution that may apply beyond the specific applications.

major comments (2)
  1. [Application section (following the abstract setting)] The load-bearing step is the assertion that solutions of discretizations and stochastic approximations belong to the class of perturbed solutions (and hence to asymptotic solutions). The manuscript must supply an explicit verification, including the precise topology or metric used to quantify “asymptotically resembles” and confirmation that every hybrid curve satisfies the resemblance condition. Without this check, the transfer of internal chain transitivity does not automatically follow.
  2. [Definition of perturbed solutions] Definition of perturbed solutions: the conditions imposed on these mappings (e.g., the hybrid-time-domain requirements and the perturbation size) must be shown to be satisfied by standard discretization schemes such as Euler-type maps on hybrid domains. If the discretization fails the asymptotic-resemblance condition for some curves, the chain-transitivity conclusion does not apply.
minor comments (2)
  1. [Abstract setting] Clarify the notation for hybrid time domains and the precise statement of internal chain transitivity (e.g., whether it is with respect to the hybrid inclusion or the generalized curve set).
  2. [Main results] The abstract mentions “other properties related to chain recurrence and transitivity”; these should be stated explicitly with references to the relevant theorems.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We appreciate the recognition of the potential utility of our framework for analyzing numerical and stochastic simulations of hybrid systems. We address the major comments below and will revise the manuscript accordingly to strengthen the explicit connections.

read point-by-point responses

  1. Referee: [Application section (following the abstract setting)] The load-bearing step is the assertion that solutions of discretizations and stochastic approximations belong to the class of perturbed solutions (and hence to asymptotic solutions). The manuscript must supply an explicit verification, including the precise topology or metric used to quantify “asymptotically resembles” and confirmation that every hybrid curve satisfies the resemblance condition. Without this check, the transfer of internal chain transitivity does not automatically follow.

    Authors: We agree that an explicit verification of the inclusion is essential. In the current manuscript, perturbed solutions are defined in Section 3 and shown to contain discretization and stochastic-approximation mappings in Section 4. To make this fully rigorous, we will add a new subsection (or expanded lemma) that specifies the metric on the space of hybrid curves (the one induced by the Hausdorff distance on compact subsets of the hybrid time domain, as introduced in the preliminaries) and proves that every curve generated by the discretization satisfies the asymptotic-resemblance condition with respect to some solution of the underlying inclusion. This will confirm that the internal chain transitivity transfers directly. revision: yes

  2. Referee: [Definition of perturbed solutions] Definition of perturbed solutions: the conditions imposed on these mappings (e.g., the hybrid-time-domain requirements and the perturbation size) must be shown to be satisfied by standard discretization schemes such as Euler-type maps on hybrid domains. If the discretization fails the asymptotic-resemblance condition for some curves, the chain-transitivity conclusion does not apply.

    Authors: We concur that the hybrid-time-domain requirements and perturbation-size bounds in the definition of perturbed solutions must be verified explicitly for Euler-type schemes. We will insert a dedicated proposition in the revised application section that demonstrates these conditions hold: the hybrid time domains of the discretized curves coincide with those admissible for the inclusion, and the perturbation size is bounded by the discretization step (which tends to zero). This covers all curves in the class and ensures the chain-transitivity result applies without gaps. revision: yes

Circularity Check

0 steps flagged

No circularity: abstract theorems applied to specific cases via direct inclusion

full rationale

The paper first proves internal chain transitivity and related properties for omega-limits of solutions (and asymptotic solutions) in an abstract generalized hybrid-curve setting. It then introduces a class of perturbed solutions to a hybrid inclusion and shows by construction that discretizations and stochastic approximations belong to this class, transferring the properties. This is a standard general-to-specific argument with no self-definitional loops, no fitted parameters renamed as predictions, and no load-bearing self-citations that reduce claims to unverified inputs. The inclusion step is a verification, not a reduction by definition. No equations or steps in the provided abstract or description exhibit equivalence to inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The work rests on standard domain assumptions from hybrid dynamical systems theory and introduces one new descriptive entity without external falsifiable evidence.

axioms (2)
  • domain assumption Hybrid inclusions are defined by set-valued maps on hybrid time domains and generate solutions whose omega-limits satisfy recurrence properties.
    This is the foundational modeling framework invoked throughout the abstract.
  • standard math Chain transitivity and related recurrence notions extend from ordinary dynamical systems to the hybrid setting.
    Invoked when concluding internal chain transitivity of omega-limits.
invented entities (1)
  • asymptotic solution no independent evidence
    purpose: To describe any mapping that asymptotically resembles a solution to the hybrid inclusion so that chain transitivity properties apply.
    New concept proposed to bridge the abstract setting to concrete approximations.

pith-pipeline@v0.9.0 · 5463 in / 1445 out tokens · 62200 ms · 2026-05-10T16:45:11.236348+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

42 extracted references · 42 canonical work pages

  1. [1]

    Benaïm, J

    M. Benaïm, J. Hofbauer, S. Sorin, Stochastic approximations and dif- ferential inclusions, SIAM J. Control Optim. 44 (1) (2005) 328–348

    work page 2005

  2. [2]

    Nguyen, G

    N. Nguyen, G. Yin, Stochastic approximation with discontinuous dy- namics, differential inclusions, and applications, Ann. Appl. Probab. 33 (1) (2023) 780–823

    work page 2023

  3. [3]

    V. S. Borkar, D. A. Shah, Remarks on differential inclusion limits of stochastic approximation, arXiv 2303.04558 (2023)

    work page arXiv 2023

  4. [4]

    A. R. Teel, R. G. Sanfelice, R. K. Goebel, Stochastic approximation of hybrid systems: Boundedness and asymptotic behavior, Annu. Rev. Control 60 (2025) Paper No. 101015

    work page 2025

  5. [5]

    Conley, Isolated invariant sets and the Morse index, Vol

    C. Conley, Isolated invariant sets and the Morse index, Vol. 38 of CBMS Regional Conference Series in Mathematics, Amer. Math. Society, Prov- idence, R.I., 1978

    work page 1978

  6. [6]

    D. E. Norton, The fundamental theorem of dynamical systems, Com- ment. Math. Univ. Carolin. 36 (3) (1995) 585–597

    work page 1995

  7. [7]

    I. U. Bronštein, A. Y. Kopanski˘ ı, Chain recurrence in dynamical systems without uniqueness, Nonlinear Anal. 12 (2) (1988) 147–154

    work page 1988

  8. [8]

    Akin, The general topology of dynamical systems, American Mathe- matical Soc., 1993

    E. Akin, The general topology of dynamical systems, American Mathe- matical Soc., 1993. 61

    work page 1993

  9. [9]

    O. V. Kapustyan, P. O. Kasyanov, J. Valero, Chain recurrence and structure ofω-limit sets of multivalued semiflows, Commun. Pure Appl. Anal. 19 (4) (2020) 2197–2217

    work page 2020

  10. [10]

    M. D. Kvalheim, P. Gustafson, D. E. Koditschek, Conley’s fundamental theorem for a class of hybrid systems, SIAM J. Appl. Dyn. Syst. 20 (2) (2021) 784–825

    work page 2021

  11. [11]

    Goebel, A direct proof of Conley’s decomposition for well-posed hy- brid inclusions, Systems Control Lett

    R. Goebel, A direct proof of Conley’s decomposition for well-posed hy- brid inclusions, Systems Control Lett. 180 (2023)

    work page 2023

  12. [12]

    Benaïm, M

    M. Benaïm, M. W. Hirsch, Chain recurrence in surface flows, Discrete Contin. Dynam. Systems 1 (1) (1995) 1–16

    work page 1995

  13. [13]

    M. W. Hirsch, H. L. Smith, X.-Q. Zhao, Chain transitivity, attractivity, and strong repellors for semidynamical systems, J. Dynam. Differential Equations 13 (1) (2001) 107–131

    work page 2001

  14. [14]

    Meddaugh, B

    J. Meddaugh, B. E. Raines, Shadowing and internal chain transitivity, Fund. Math. 222 (3) (2013) 279–287

    work page 2013

  15. [15]

    C.Robinson, Stabilitytheoremsandhyperbolicityindynamicalsystems, Rocky Mountain J. Math. 7 (3) (1977) 425–437

    work page 1977

  16. [16]

    Caraballo, P

    T. Caraballo, P. Marín-Rubio, J. C. Robinson, A comparison between two theories for multi-valued semiflows and their asymptotic behaviour, Set-Valued Anal. 11 (3) (2003) 297–322

    work page 2003

  17. [17]

    M. Z. Zgurovsky, P. O. Kasyanov, O. V. Kapustyan, J. Valero, N. V. Zadoianchuk, Evolution inclusions and variation inequalities for earth data processing. III, Vol. 27 of Advances in Mechanics and Mathematics, Springer, Heidelberg, 2012

    work page 2012

  18. [18]

    Suda, Dynamical properties in the axiomatic theory of ordinary dif- ferential equations, J

    T. Suda, Dynamical properties in the axiomatic theory of ordinary dif- ferential equations, J. Differential Equations 391 (2024) 1–24

    work page 2024

  19. [19]

    Benaïm, M

    M. Benaïm, M. W. Hirsch, Asymptotic pseudotrajectories and chain re- current flows, with applications, J. Dynam. Differential Equations 8 (1) (1996) 141–176. 62

    work page 1996

  20. [20]

    Faure, G

    M. Faure, G. Roth, Ergodic properties of weak asymptotic pseudotra- jectories for set-valued dynamical systems, Stoch. Dyn. 13 (1) (2013) 1250011, 23

    work page 2013

  21. [21]

    Mischaikow, H

    K. Mischaikow, H. Smith, H. R. Thieme, Asymptotically autonomous semiflows: chain recurrence and Lyapunov functions, Trans. Amer. Math. Soc. 347 (5) (1995) 1669–1685

    work page 1995

  22. [22]

    Goebel, R

    R. Goebel, R. G. Sanfelice, A. R. Teel, Hybrid Dynamical Systems, Princeton University Press, 2012

    work page 2012

  23. [23]

    R. K. Goebel, A. R. Teel, A smooth Conley-Lyapunov function for hy- brid inclusions onRn, Systems Control Lett. 204 (2025) 106204, 5

    work page 2025

  24. [24]

    H. J. Kushner, Asymptotic global behavior for stochastic approximation and diffusions with slowly decreasing noise effects: global minimization via Monte Carlo, SIAM J. Appl. Math. 47 (1) (1987) 169–185

    work page 1987

  25. [25]

    Rockafellar, R

    R. Rockafellar, R. J.-B. Wets, Variational Analysis, Springer, 1998

    work page 1998

  26. [26]

    Goebel, Set-valued, Convex, and Nonsmooth Analysis in Dynamics and Control

    R. Goebel, Set-valued, Convex, and Nonsmooth Analysis in Dynamics and Control. An Introduction., SIAM, 2024

    work page 2024

  27. [27]

    R. K. Goebel, A. R. Teel, Asymptotic properties of asymptotic simula- tions of hybrid systems, submitted to 65th Conference on Decision and Control (CDC) (2026)

    work page 2026

  28. [28]

    M. F. Crisafulli, A. R. Teel, Two-timescale asymptotic simulations of hybrid inclusions with applications to stochastic hybrid optimization, submitted to IEEE 65th Conference on Decision and Control (CDC) (2026)

    work page 2026

  29. [29]

    R. G. Sanfelice, A. R. Teel, Dynamical properties of hybrid systems simulators, Automatica J. IFAC 46 (2) (2010) 239–248

    work page 2010

  30. [30]

    Fristedt, L

    B. Fristedt, L. Gray, A modern approach to probability theory, Birkhauser, 1997

    work page 1997

  31. [31]

    Doob, Measure Theory, Springer, 1994

    J. Doob, Measure Theory, Springer, 1994. 63

    work page 1994

  32. [32]

    A. R. Teel, R. Goebel, R. G. Sanfelice, Stochastic approximations of differential inclusions: almost sure boundedness and asymptotic conver- gence, in: IFAC Symposium on Nonlinear Control Systems (NOLCOS), 2025

    work page 2025

  33. [33]

    J. C. Spall, Introduction to stochastic search and optimization: estima- tion, simulation, and control, John Wiley & Sons, Inc., 2003

    work page 2003

  34. [34]

    Valadier, Lignes de descente de fonctions lipschitziennes non pathologiques, in: Seminaire d’Analyse Convexe, Vol

    M. Valadier, Lignes de descente de fonctions lipschitziennes non pathologiques, in: Seminaire d’Analyse Convexe, Vol. 18 (Montpellier, 1988), Univ. Sci. Tech. Languedoc, Montpellier, 1988, pp. Exp. No. 9, 10

    work page 1988

  35. [35]

    Bacciotti, F

    A. Bacciotti, F. Ceragioli, Nonpathological Lyapunov functions and dis- continuous Carathéodory systems, Automatica J. IFAC 42 (3) (2006) 453–458

    work page 2006

  36. [36]

    Poliquin, R

    R. Poliquin, R. T. Rockafellar, L. Thibault, Local differentiability of distance functions, Trans. Amer. Math. Soc. 352 (11) (2000) 5231–5249

    work page 2000

  37. [37]

    Clarke, Functional Analysis, Calculus of Variations and Optimal Con- trol, Springer London, 2013

    F. Clarke, Functional Analysis, Calculus of Variations and Optimal Con- trol, Springer London, 2013

    work page 2013

  38. [38]

    A. P. Morse, The behavior of a function on its critical set, Ann. of Math. (2) 40 (1) (1939) 62–70

    work page 1939

  39. [39]

    Sard, The measure of the critical values of differentiable maps, Bull

    A. Sard, The measure of the critical values of differentiable maps, Bull. Amer. Math. Soc. 48 (1942) 883–890

    work page 1942

  40. [40]

    Hespanha, A

    J. Hespanha, A. Morse, Stability of switched systems with average dwell- time, in: 38th IEEE Conference on Decision and Control (CDC), 1999, pp. 2655–2660

    work page 1999

  41. [41]

    C. Cai, A. R. Teel, R. Goebel, Smooth Lyapunov functions for hybrid systems. Part II: (Pre-)asymptotically stable compact sets, IEEE Trans. Automat. Control 53 (3) (2008) 734–748

    work page 2008

  42. [42]

    A. R. Teel, Lyapunov conditions certifying stability and recurrence for a class of stochastic hybrid systems, Annual Reviews in Control 37 (1) (2013) 1–24. 64

    work page 2013