We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Electrical Engineering and Systems Science > Systems and Control

Title: Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications

Abstract: We propose a framework for solving control synthesis problems for multi-agent networked systems required to satisfy spatio-temporal specifications. We use Spatio-Temporal Reach and Escape Logic (STREL) as a specification language. For this logic, we define smooth quantitative semantics, which captures the degree of satisfaction of a formula by a multi-agent team. We use the novel quantitative semantics to map control synthesis problems with STREL specifications to optimization problems and propose a combination of heuristic and gradient-based methods to solve such problems. As this method might not meet the requirements of a real-time implementation, we develop a machine learning technique that uses the results of the off-line optimizations to train a neural network that gives the control inputs at current states. We illustrate the effectiveness of the proposed framework by applying it to a model of a robotic team required to satisfy a spatial-temporal specification under communication constraints.
Comments: 8 pages. Submitted to the CDC 2021
Subjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)
DOI: 10.1109/CDC45484.2021.9682921
Cite as: arXiv:2104.02737 [eess.SY]
  (or arXiv:2104.02737v1 [eess.SY] for this version)

Submission history

From: Suhail Alsalehi [view email]
[v1] Tue, 6 Apr 2021 18:08:09 GMT (750kb,D)

Link back to: arXiv, form interface, contact.