Cover Image

Compositionality of Lyapunov functions via assume-guarantee reasoning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Capucci, Matteo, Myers, David Jaz
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Category Theory Dynamical Systems 93D30, 68Q60, 18N10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products
by: Capucci, Matteo, et al.
Published: (2024)

An Internal Logic of Virtual Double Categories
by: Nasu, Hayato
Published: (2024)

Classifying strict discrete opfibrations with lax morphisms
by: Capucci, Matteo, et al.
Published: (2025)

A Formal Analysis of Iterated TDD
by: Ruparel, Hemil, et al.
Published: (2024)

Homodular pseudofunctors and bicategories of modules
by: Street, Ross
Published: (2026)

Yoneda lemma and representation theorem for double categories
by: Fröhlich, Benedikt, et al.
Published: (2024)

Cubical coherent confluence, $ω$-groupoids and the cube equation
by: Malbos, Philippe, et al.
Published: (2025)

Categorical Lyapunov Theory I: Stability of Flows
by: Ames, Aaron D., et al.
Published: (2025)

Categorical Lyapunov Theory II: Stability of Systems
by: Ames, Aaron D., et al.
Published: (2025)

2-classifiers via dense generators and Hofmann-Streicher universe in stacks
by: Mesiti, Luca
Published: (2024)

$(\infty,1)$-Categorical Comprehension Schemes
by: Stenzel, Raffael
Published: (2020)

Single-set cubical categories and their formalisation with a proof assistant (extended version)
by: Malbos, Philippe, et al.
Published: (2024)

A Complete Fragment of LTL(EB)
by: Ferrarotti, Flavio, et al.
Published: (2024)

Pointwise Kan extensions along 2-fibrations and the 2-category of elements
by: Mesiti, Luca
Published: (2023)

Integration of a categorical operad
by: Trnka, Dominik
Published: (2025)

Interacting Monoidal Structures with Applications in Computing
by: Cranch, James, et al.
Published: (2024)

Polygraphs: From Rewriting to Higher Categories
by: Ara, Dimitri, et al.
Published: (2023)

The group of homotopy self-equivalences is a Lax functor
by: Yamaguchi, Toshihiro, et al.
Published: (2026)

Comparing loose bimodules and double barrels using pseudo-models of enhanced sketches
by: Brown, Jason, et al.
Published: (2025)

Monoidal bicategories, differential linear logic, and analytic functors
by: Fiore, M., et al.
Published: (2024)

Limits and colimits of synthetic $\infty$-categories
by: Martínez, César Bardomiano
Published: (2022)

Virtual double categories of split two-sided 2-fibrations
by: Koudenburg, Seerp Roald
Published: (2026)

Dilations and information flow axioms in categorical probability
by: Fritz, Tobias, et al.
Published: (2022)

Day algebras
by: Robinson, Edmund, et al.
Published: (2025)

Free extensivity via distributivity
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
by: Maietti, Maria Emilia, et al.
Published: (2025)

Hybrid Systems as Coalgebras: Lyapunov Morphisms for Zeno Stability
by: Moeller, Joe, et al.
Published: (2026)

Generalised Möbius Categories and Convolution Kleene Algebras
by: Cranch, James, et al.
Published: (2025)

Ground States of the $\infty$-categorical Grothendieck Construction
by: Gauthier, Renaud
Published: (2024)

The free bifibration on a functor
by: Clarke, Bryce, et al.
Published: (2025)

Smooth and Proper Maps
by: Anel, Mathieu, et al.
Published: (2024)

Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network
by: Inoué, Takao
Published: (2026)

Beyond Eckmann-Hilton: Commutativity in Higher Categories
by: Benjamin, Thibaut, et al.
Published: (2025)

Generalized Chevalley criteria in simplicial homotopy type theory
by: Weinberger, Jonathan
Published: (2024)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

Transposing cartesian and other structure in double categories
by: Patterson, Evan
Published: (2024)

Products in double categories, revisited
by: Patterson, Evan
Published: (2024)

Topological Kleene Field Theories as a model of computation
by: González-Prieto, Ángel, et al.
Published: (2025)

Fully coupled forward-backward stochastic dynamics and functional differential systems
by: Casserini, Matteo, et al.
Published: (2011)

Poset-enriched pretoposes and compact ordered spaces
by: Marquès, Jérémie, et al.
Published: (2025)