4 accepted papers
Datasets involving multivariate event streams are prevalent in numerous applications. We present a novel framework for modeling temporal point processes called clock logic neural networks (CLNN) which learn weighted clock logic (wCL) formulas as interpretable temporal rules by which some events prom…
In this letter, we develop a distributed consensus-based online monitoring framework for a robot swarm with a fixed graph structure. Each agent can monitor whether the swarm satisfies specifications given in the form of Swarm Signal Temporal Logic (SwarmSTL) formulas. SwarmSTL formulas describe temp
In this letter, we study the problem of decentralized motion planning of robot swarms under high-level temporal logic specifications with a top-down approach. We use Swarm Signal Temporal Logic (SwarmSTL) to express swarm-level specifications. By encoding SwarmSTL formulas as mixed binary-integer co
In this letter, we propose methods to perform swarm behavior analysis with a novel swarm signal temporal logic (SwarmSTL). We define generalized moments to describe swarm features and propose a logical proposition to represent an event, where the Boolean value of the logical proposition at a certain