172 citations · 796 across the 66 of their papers we have counts for
3 papers · 1 filter
A Compositional Sheaf-Theoretic Framework for Event-Based Systems
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…
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…
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…