Showing math.CTShow all
2 papers · 1 filter
math.CT2026
Hybrid Systems as Coalgebras: Lyapunov Morphisms for Zeno Stability
Joe Moeller, Aaron D. Ames
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…
math.CT2025
Colored Petri Nets are Monoidal Double Functors
Jade Master, Joe Moeller
We give a characterization of colored Petri nets as monoidal double functors. Framing colored Petri nets in terms of category theory allows for canonical definitions of various wel…