172 citations · 796 across the 66 of their papers we have counts for
8 papers · 1 filter
Monitoring and Diagnosability of Perception Systems
Pasquale Antonante, David I. Spivak, Luca Carlone
Perception is a critical component of high-integrity applications of robotics and autonomous systems, such as self-driving vehicles. In these applications, failure of perception sy…
String Diagrams for Regular Logic (Extended Abstract)
Brendan Fong, David Spivak
Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the…
A Compositional Sheaf-Theoretic Framework for Event-Based Systems (Extended Version)
Gioele Zardini, David I. Spivak, Andrea Censi +1
A compositional sheaf-theoretic framework for the modeling of complex event-based systems is presented. We show that event-based systems are machines, with inputs and outputs, and…
Poly: An abundant categorical setting for mode-dependent dynamics
David I. Spivak
Dynamical systems---by which we mean machines that take time-varying input, change their state, and produce output---can be wired together to form more complex systems. Previous wo…
Monitoring and Diagnosability of Perception Systems
Pasquale Antonante, David I. Spivak, Luca Carlone
Perception is a critical component of high-integrity applications of robotics and autonomous systems, such as self-driving cars. In these applications, failure of perception system…
Dirichlet Functors are Contravariant Polynomial Functors
David Jaz Myers, David I. Spivak
Polynomial functors are sums of covariant representable functors from the category of sets to itself. They have a robust theory with many applications -- from operads and opetopes…