2 papers
eess.SY2022
Formal Control Synthesis for Stochastic Neural Network Dynamic Models
Steven Adams, Morteza Lahijanian, Luca Laurenti
Neural networks (NNs) are emerging as powerful tools to represent the dynamics of control systems with complicated physics or black-box components. Due to complexity of NNs, howeve…
cs.RO2021
A Self-Guided Approach for Navigation in a Minimalistic Foraging Robotic Swarm
Steven Adams, Daniel Jarne Ornia, Manuel Mazo
We present a biologically inspired design for swarm foraging based on ant's pheromone deployment, where the swarm is assumed to have very restricted capabilities. The robots do not…