arxiv: 2604.05255 · v1 · submitted 2026-04-06 · 🧮 math.CT · cs.SY· eess.SY· math.DS

Recognition: 2 theorem links

· Lean Theorem

Hybrid Systems as Coalgebras: Lyapunov Morphisms for Zeno Stability

Aaron D. Ames, Joe Moeller

Pith reviewed 2026-05-10 18:30 UTC · model grok-4.3

classification 🧮 math.CT cs.SYeess.SYmath.DS

keywords hybrid systemscoalgebrasLyapunov functionsZeno stabilitycategory theorydynamical systemsstability analysishybrid dynamical systems

0 comments

The pith

Lyapunov functions unify stability in hybrid systems by serving as morphisms to different stable coalgebras.

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

Hybrid systems combine continuous flows with discrete jumps and show many kinds of stability that until now needed separate proofs. The paper shows these are all special cases of one theorem once the systems are written as coalgebras. A Lyapunov function becomes a morphism from the hybrid coalgebra to a simple stable target coalgebra, and the stability type is fixed by which target is picked. Choices of target recover Lyapunov stability, asymptotic stability, exponential stability, and Zeno stability, where switches happen infinitely often in finite time. The result supplies concrete new conditions for Zeno equilibria and for detecting Zeno behavior.

Core claim

Hybrid systems are expressed as coalgebras of the endofunctor H on the category Chart. A general categorical Lyapunov theorem for coalgebras then says that a morphism from such a coalgebra to a stable coalgebra σ is a Lyapunov function, with the concrete stability notion fixed by the choice of σ. Instantiating the theorem produces Lyapunov-like conditions for the stability of Zeno equilibria and for the existence of Zeno behavior.

What carries the argument

The endofunctor H on the category Chart whose coalgebras represent hybrid systems that blend continuous and discrete dynamics, so that a general coalgebraic Lyapunov theorem applies uniformly across stability notions.

If this is right

Lyapunov stability, asymptotic stability, exponential stability, and Zeno stability all arise from morphisms to different choices of stable target coalgebra σ.
New Lyapunov-like conditions follow for the stability of Zeno equilibria.
The existence of Zeno behavior in a hybrid system is characterized by the presence of a morphism to the appropriate target.
A single theorem therefore replaces separate arguments for each stability type.

Where Pith is reading between the lines

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

The same coalgebraic pattern could be applied to other mixed continuous-discrete models by defining a suitable endofunctor.
Finding morphisms computationally might yield an algorithmic route to constructing Lyapunov functions for hybrid systems.
The framework suggests stability results could transfer between hybrid systems and other coalgebraically modeled dynamical systems.

Load-bearing premise

Every hybrid dynamical system of interest can be expressed as a coalgebra for the endofunctor H on the category Chart in a way that keeps the stability properties intact.

What would settle it

A concrete hybrid system that is Zeno stable yet admits no morphism to the Zeno-stable target coalgebra, or a system that has such a morphism but fails to be Zeno stable.

Figures

Figures reproduced from arXiv: 2604.05255 by Aaron D. Ames, Joe Moeller.

**Figure 2.** Figure 2: Phase portrait of the bouncing ball (left) and its image under the [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗

**Figure 3.** Figure 3: Transference from the bowl system to the bouncing ball via [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] view at source ↗

read the original abstract

Hybrid dynamical systems exhibit a diverse array of stability phenomena, each currently addressed by separate Lyapunov-like results. We show that these results are all instances of a single theorem: a Lyapunov function is a morphism from a hybrid system into a simple stable target system $\sigma$, and different stability notions such as Lyapunov stability, asymptotic stability, exponential stability, and Zeno stability correspond to different choices of $\sigma$. This unification is achieved by expressing hybrid systems as coalgebras of an endofunctor $\mathcal H$ on a category $\mathsf{Chart}$ that naturally blends continuous and discrete dynamics. Instantiating a general categorical Lyapunov theorem for coalgebras to this setting results in new Lypaunov-like conditions for the stability of Zeno equilibria and the existence of Zeno behavior in hybrid systems.

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.

Desk Editor's Note private letter to a colleague

This paper unifies Lyapunov stability results for hybrid systems by modeling them as coalgebras on Chart, yielding new conditions for Zeno behavior, but the encoding of accumulation points needs explicit checks.

read the letter

The main takeaway is that hybrid systems are presented as coalgebras for an endofunctor H on the category Chart, so that Lyapunov functions become coalgebra morphisms into a stable target system sigma, with different sigmas producing the usual stability notions plus new ones for Zeno equilibria and Zeno behavior existence. This reduces several separate theorems to instances of one general categorical result. The setup is new relative to the hybrid Lyapunov literature and the authors' prior coalgebraic work on dynamics. It does a solid job framing the blend of continuous and discrete parts in a way that lets the general theorem apply directly. For someone already using categorical methods in control or dynamical systems, this gives a reusable template instead of case-by-case proofs. The soft spot is whether the coalgebra structure actually preserves Zeno semantics. The stress-test point holds some weight: if Chart and H do not build in the right limit conditions for infinite discrete transitions accumulating in finite time, the morphism conditions may fail to recover classical Lyapunov inequalities or produce checkable new ones. The abstract gives no derivations or examples, so the full text must show concrete recoveries of known results and at least one worked hybrid system to make the claim usable. This paper is aimed at readers who know both hybrid control and coalgebraic dynamics. They will get the most value from the unification and can verify the details themselves. It deserves a serious referee because the core reduction is substantial and grounded enough to warrant checking, even if revisions will be needed for examples and explicit calculations.

Referee Report

2 major / 2 minor

Summary. The paper claims that hybrid dynamical systems can be uniformly modeled as coalgebras for an endofunctor H on the category Chart, which blends continuous and discrete dynamics. Lyapunov functions for stability notions including Lyapunov stability, asymptotic stability, exponential stability, and Zeno stability are realized as coalgebra morphisms into simple stable target systems σ; different choices of σ recover the corresponding classical conditions. Instantiating a general categorical Lyapunov theorem in this setting yields new Lyapunov-like criteria for the stability of Zeno equilibria and for the existence of Zeno behavior.

Significance. If the coalgebraic encoding is faithful and the morphisms recover the classical Lyapunov inequalities while extending them to Zeno cases, the work supplies a single categorical theorem that unifies disparate stability results for hybrid systems and generates new verifiable conditions for Zeno phenomena. The approach also demonstrates a concrete application of coalgebraic methods to a domain with both continuous and discrete features.

major comments (2)

[Definition of H and coalgebra structure; Zeno-stability theorem] The central unification rests on every hybrid system of interest being expressible as an H-coalgebra on Chart while preserving Zeno trajectory semantics (infinitely many discrete transitions accumulating in finite time). The manuscript must explicitly verify that the coalgebra axioms and the limit conditions built into Chart or H enforce the necessary accumulation-point constraints; otherwise the morphism condition for Zeno stability will not recover or extend known Lyapunov criteria. (See the definition of H and the coalgebra structure in the section introducing the functor, and the statement of the Zeno-stability theorem.)
[General categorical Lyapunov theorem and its instantiation] The paper invokes a 'general categorical Lyapunov theorem for coalgebras' and instantiates it for hybrid systems. The precise statement of this general theorem, including the hypotheses on the target coalgebra σ, must be recalled or proved in sufficient detail so that the reader can confirm that the hybrid instantiation is a direct substitution rather than an ad-hoc adjustment. (See the section on the general categorical theorem and its application to Chart.)

minor comments (2)

[Abstract] The abstract contains a typographical error: 'Lypaunov-like' should be 'Lyapunov-like'.
[Throughout] Notation for the category (Chart vs. 𝖢𝗁𝖺𝗋𝗍) and the functor (H vs. ℋ) should be made consistent throughout the text and figures.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and constructive comments. The coalgebraic perspective does unify the stability results, and we address each major point below with the revisions we will make to strengthen the exposition.

read point-by-point responses

Referee: [Definition of H and coalgebra structure; Zeno-stability theorem] The central unification rests on every hybrid system of interest being expressible as an H-coalgebra on Chart while preserving Zeno trajectory semantics (infinitely many discrete transitions accumulating in finite time). The manuscript must explicitly verify that the coalgebra axioms and the limit conditions built into Chart or H enforce the necessary accumulation-point constraints; otherwise the morphism condition for Zeno stability will not recover or extend known Lyapunov criteria. (See the definition of H and the coalgebra structure in the section introducing the functor, and the statement of the Zeno-stability theorem.)

Authors: We agree that explicit verification is required for rigor. The category Chart is equipped with a topology and limit structure that directly encodes accumulation of discrete transitions in finite time; the endofunctor H is defined so that its coalgebras correspond exactly to hybrid trajectories, with the coalgebra axioms ensuring that infinite jumps produce a well-defined limit point. The Zeno-stability theorem then follows by instantiating the morphism condition, which recovers the classical Lyapunov inequality plus the new Zeno criterion. We will insert a dedicated verification paragraph immediately after the definition of H and the coalgebra structure, proving that the axioms and Chart limits enforce the accumulation constraints and that the resulting morphism condition extends known criteria without alteration. revision: yes
Referee: [General categorical Lyapunov theorem and its instantiation] The paper invokes a 'general categorical Lyapunov theorem for coalgebras' and instantiates it for hybrid systems. The precise statement of this general theorem, including the hypotheses on the target coalgebra σ, must be recalled or proved in sufficient detail so that the reader can confirm that the hybrid instantiation is a direct substitution rather than an ad-hoc adjustment. (See the section on the general categorical theorem and its application to Chart.)

Authors: The general theorem appears in the manuscript before the hybrid application, but we accept that its hypotheses on σ need to be restated in full for self-contained reading. The theorem asserts that a map V is a Lyapunov morphism from coalgebra (X,c) to a stable target coalgebra (Y,σ) precisely when V satisfies the inequality induced by the coalgebra structures, under the standing assumption that σ has a unique attractor. All stability notions arise by choosing different σ (constant for Lyapunov stability, contracting for asymptotic, etc.). The hybrid case is obtained by direct substitution of the H-coalgebra into this statement. We will revise the relevant section to quote the complete general theorem with all hypotheses on σ listed explicitly, followed by a side-by-side comparison showing that each hybrid stability result is obtained by substitution alone. revision: yes

Circularity Check

0 steps flagged

No circularity: coalgebraic modeling and instantiation of general theorem are independent steps

full rationale

The derivation proceeds by first modeling hybrid systems as coalgebras for the endofunctor H on the category Chart (a definitional modeling choice that encodes continuous/discrete dynamics), then instantiating a general categorical Lyapunov theorem for coalgebras to obtain morphisms into target systems σ that recover known stability notions including Zeno stability. This does not reduce any derived Lyapunov condition or Zeno criterion back to a fitted parameter, self-defined input, or self-citation chain by construction. The general theorem is treated as external input, and the new Zeno-specific conditions follow from the choice of σ without circular redefinition of the coalgebra structure or stability semantics. No load-bearing self-citation or ansatz smuggling is required for the central unification claim.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The framework rests on the existence of the category Chart and the endofunctor H that correctly encodes hybrid dynamics; these are introduced by the paper rather than derived from prior data.

axioms (2)

domain assumption Hybrid systems can be represented as coalgebras of an endofunctor H on the category Chart.
Stated in the abstract as the modeling step that enables the unification.
domain assumption A general categorical Lyapunov theorem for coalgebras applies directly once the hybrid system is expressed as such a coalgebra.
The unification step invoked in the abstract.

invented entities (2)

The endofunctor H on Chart no independent evidence
purpose: To encode the combined continuous and discrete dynamics of hybrid systems uniformly as coalgebras.
New modeling construct introduced to obtain the coalgebraic Lyapunov theorem.
The category Chart no independent evidence
purpose: To blend continuous and discrete dynamics in a single categorical setting.
Introduced as the base category for the coalgebraic representation.

pith-pipeline@v0.9.0 · 5435 in / 1516 out tokens · 46713 ms · 2026-05-10T18:30:15.532781+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
We model hybrid systems as coalgebras for an endofunctor H on a category Chart ... a Lyapunov function is a morphism from a hybrid system into a simple stable target system σ
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Zeno measurement object σ with σc(r) = −c, σd(a,r) = {(λa,a)} when r=0

Reference graph

Works this paper leans on

27 extracted references · 2 canonical work pages

[1]

Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems

Rajeev Alur, Costas Courcoubetis, Thomas A Henzinger, and Pei-Hsin Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. InInternational hybrid systems workshop, pages 209–229. Springer, 1991

1991
[2]

Ames, Kevin Galloway, Koushil Sreenath, and Jessy W

Aaron D. Ames, Kevin Galloway, Koushil Sreenath, and Jessy W. Grizzle. Rapidly exponentially stabilizing control lyapunov functions and hybrid zero dynamics.IEEE T. Automat. Contr., 59(4):876–891, 2014

2014
[3]

Ames, Sébastien Mattenet & Joe Moeller (2025):Categorical Lyapunov Theory II: Stability of Systems

Aaron D. Ames, S ´ebastien Mattenet, and Joe Moeller. Cate- gorical Lyapunov theory II: Stability of systems. arXiv preprint arXiv:2505.22968, 2025

work page arXiv 2025
[4]

Ames, Joe Moeller & Paulo Tabuada (2025):Categorical Lyapunov Theory I: Stability of Flows

Aaron D. Ames, Joe Moeller, and Paulo Tabuada. Categorical Lya- punov theory I: Stability of flows.arXiv preprint arXiv:2502.15276,

work page arXiv
[5]

To appear inAppl. Categor. Struct
[6]

Ames, Paulo Tabuada, and Shankar Sastry

Aaron D. Ames, Paulo Tabuada, and Shankar Sastry. On the stability of zeno equilibria. InInternational Workshop on Hybrid systems: Computation and control, pages 34–48. Springer, 2006

2006
[7]

Baez and Jason Erbele

John C. Baez and Jason Erbele. Categories in control.Theor. Appl. Categ., 30(24):836–881, 2015

2015
[8]

A categorical semantics of signal flow graphs

Filippo Bonchi, Paweł Soboci ´nski, and Fabio Zanasi. A categorical semantics of signal flow graphs. InInternational Conference on Concurrency Theory, pages 435–450. Springer, 2014

2014
[9]

Springer International Publishing, 3 edition, 2016

Bernard Brogliato.Nonsmooth Mechanics: Models, Dynamics and Control. Springer International Publishing, 3 edition, 2016

2016
[10]

Lynch, Seth Hutchinson, George A Kantor, and Wolfram Burgard.Principles of robot motion: theory, algorithms, and implementations

Howie Choset, Kevin M. Lynch, Seth Hutchinson, George A Kantor, and Wolfram Burgard.Principles of robot motion: theory, algorithms, and implementations. MIT press, 2005

2005
[11]

Sanfelice, and Andrew R

Rafal Goebel, Ricardo G. Sanfelice, and Andrew R. Teel.Hybrid Dynamical Systems: Modeling, Stability, and Robustness. Princeton University Press, Princeton, NJ, USA, 2012

2012
[12]

Rafal Goebel and Andrew R. Teel. Lyapunov characterization of zeno behavior in hybrid systems. In2008 47th IEEE Decis. Contr. P ., pages 2752–2757, 2008

2008
[13]

Esfandiar Haghverdi, Paulo Tabuada, and George J. Pappas. Bisim- ulation relations for dynamical, control, and hybrid systems.Theor. Comput. Sci., 342(2-3):229–261, 2005

2005
[14]

Khalil.Nonlinear Systems

Hassan K. Khalil.Nonlinear Systems. Prentice Hall, Upper Saddle River, NJ, 3rd edition, 2002

2002
[15]

Andrew Lamperski and Aaron D. Ames. Lyapunov theory for zeno stability.IEEE T. Automat. Contr., 58(1):100–112, 2012

2012
[16]

Networks of hybrid open systems

Eugene Lerman and James Schmidt. Networks of hybrid open systems. J. Geom. Phys., 149:103582, 2020

2020
[17]

Springer, 2003

Daniel Liberzon.Switching in systems and control, volume 190. Springer, 2003

2003
[18]

Lygeros, K.H

J. Lygeros, K.H. Johansson, S.N. Simic, Jun Zhang, and S.S. Sastry. Dynamical properties of hybrid automata.IEEE T. Automat. Contr., 48(1):2–17, 2003

2003
[19]

Monoidal Grothendieck construction.Theor

Joe Moeller and Christina Vasilakopoulou. Monoidal Grothendieck construction.Theor. Appl. Categ., 35(31):1159–1207, 2020

2020
[20]

David Jaz Myers.Categorical Systems Theory. 2025. In preparation. Available at https://www.davidjaz.com/Papers/DynamicalBook.pdf

2025
[21]

Renato Neves and Luis S. Barbosa. Hybrid automata as coalgebras. In Augusto Sampaio and Farn Wang, editors,Theoretical Aspects of Computing – ICTAC 2016, pages 385–402. Springer International Publishing, 2016

2016
[22]

Aurora: Dover Modern Math Originals

Emily Riehl.Category Theory in Context. Aurora: Dover Modern Math Originals. Dover Publications, 2017

2017
[23]

Jan J.M.M. Rutten. Universal coalgebra: a theory of systems.Theor. Comput. Sci., 249(1):3–80, 2000

2000
[24]

Dy- namical systems and sheaves.Appl

Patrick Schultz, David I Spivak, and Christina Vasilakopoulou. Dy- namical systems and sheaves.Appl. Categor. Struct., 28(1):1–57, 2020

2020
[25]

Towards a geometric theory of hybrid systems.Dynam

Slobodan N Simic, Karl Henrik Johansson, John Lygeros, and Shankar Sastry. Towards a geometric theory of hybrid systems.Dynam. Cont. Dis. Ser. B, 12(5-6):649–687, 2005

2005
[26]

Spong and Francesco Bullo

Mark W. Spong and Francesco Bullo. Controlled symmetries and passive walking.IEEE T. Automat. Contr., 50(7):1025–1031, 2005

2005
[27]

Paulo Tabuada and George J. Pappas. Quotients of fully nonlinear control systems.SIAM J. Control Optim., 43(5):1844–1866, 2005

2005