Hybrid systems expressed as coalgebras allow all standard Lyapunov stability results plus new conditions for Zeno equilibria to be instances of a single morphism theorem.
Khalil.Nonlinear Systems
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
verdicts
UNVERDICTED 3representative citing papers
An approximation-free CBF framework achieves prescribed-time reach-avoid for unknown nonlinear systems by generating a safe reference on a virtual system and confining the true system to a Virtual Confinement Zone around it.
TIDE is a neuro-inspired architecture using stabilized asymmetric E-I networks with lateral inhibition and 80:20 balance that trains in under half the time of CTM while gaining +1.65% top-1 accuracy on perturbed ImageNet.
citing papers explorer
-
Hybrid Systems as Coalgebras: Lyapunov Morphisms for Zeno Stability
Hybrid systems expressed as coalgebras allow all standard Lyapunov stability results plus new conditions for Zeno equilibria to be instances of a single morphism theorem.
-
Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
An approximation-free CBF framework achieves prescribed-time reach-avoid for unknown nonlinear systems by generating a safe reference on a virtual system and confining the true system to a Virtual Confinement Zone around it.
-
TIDE: Asymmetric Neural Circuits for Stabilized Temporal Inhibitory-Excitatory Dynamics
TIDE is a neuro-inspired architecture using stabilized asymmetric E-I networks with lateral inhibition and 80:20 balance that trains in under half the time of CTM while gaining +1.65% top-1 accuracy on perturbed ImageNet.