56 citations · 370 across the 46 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
math.DS2016★ 8 cited
A category of hybrid systems
Eugene Lerman
We propose a definition of the category of hybrid systems in which executions are special types of morphisms. Consequently morphisms of hybrid systems send executions to executions…
math.DG2016★ 27 cited
Lie 2-algebras of vector fields
Daniel Berwick-Evans, Eugene Lerman
We show that the category of vector fields on a geometric stack has the structure of a Lie 2-algebra. This proves a conjecture of R.~Hepworth. The construction uses a Lie groupoid…
math.DS2016★ 6 cited
An algebra of open continuous time dynamical systems and networks
Eugene Lerman, David I. Spivak
Many systems of interest in science and engineering are made up of interacting subsystems. These subsystems, in turn, could be made up of collections of smaller interacting subsyst…