Joe Moeller

0000-0002-5306-3502

math.CTcs.SYeess.SYmath.DSmath.RTcs.MAmath.MPmath-ph

On Valency

published · living versions

W_3uc5cwen·v1 · currentpublished

Safety of layered control systems via control barrier morphisms

with Aaron D. Ames, Massimiliano de Sa, Paulo Tabuada

1 version

Preprints & journals

11 papers in the corpus · 2017–2026

Hybrid Systems as Coalgebras: Lyapunov Morphisms for Zeno Stability2604.05255v1 · Joe Moeller, Aaron D. Ames2026 · 0 citationsarXiv

Categorical Lyapunov Theory II: Stability of Systems2505.22968v1 · Aaron D. Ames, S'ebastien Mattenet, Joe Moeller2025 · 0 citationsarXiv

Categorical Lyapunov Theory I: Stability of Flows2502.15276v2 · Aaron D. Ames, Joe Moeller, Paulo Tabuada2025 · 0 citationsarXiv

2-Rig Extensions and the Splitting Principle2410.05598v1 · John C. Baez, Joe Moeller, Todd Trimble2024 · 0 citationsarXiv

Extensions of representation stable categories2209.03879v2 · Joe Moeller2022 · 0 citationsarXiv

Compositional Thermostatics2111.10315v2 · John C. Baez, Owen Lynch, Joe Moeller2021 · 4 citationsJ. Math. Phys. 64 (2023) 023304

Schur Functors and Categorified Plethysm2106.00190v3 · John C. Baez, Joe Moeller, Todd Trimble2021 · 4 citationsarXiv

Network Models from Petri Nets with Catalysts1904.03550v4 · John C. Baez, John Foley, Joe Moeller2019 · 10 citationsCompositionality, Volume 1 (2019) (December 25, 2019) compositionality:13531

Monoidal Grothendieck construction1809.00727v4 · Joe Moeller, Christina Vasilakopoulou2018 · 30 citationsTheory and Applications of Categories, Vol. 35, 2020, No. 31, pp 1159-1207

Noncommutative Network Models1804.07402v3 · Joe Moeller2018 · 5 citationsMath. Struct. Comp. Sci. 30 (2020) 14-32

Network Models1711.00037v4 · John C. Baez, John Foley, Joe Moeller et al.2017 · 2 citationsTheory and Applications of Categories, Vol. 35, 2020, No. 20, pp 700-744

Career total: 14 works. 11 are in this corpus.

Profile built from the corpus for this byline.

Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.