Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks

We propose a new specification language and control synthesis technique for single and multi-robot high-level tasks; these tasks include timing constraints and reaction to environmental events. Specifically, we define Event-based Signal Temporal Logic (STL) and use it to encode tasks that are reacti...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE robotics and automation letters Jg. 6; H. 2; S. 3687 - 3694
Hauptverfasser: Gundana, David, Kress-Gazit, Hadas
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Piscataway IEEE 01.04.2021
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:
Automata
Automation
Control systems
Formal methods in robotics and automation
hybrid logical/dynamical planning and verification
Logic synthesis
Multi-robot systems
Multiple robots
Robot kinematics
Robots
Semantics
Specification and description languages
Specifications
Task analysis
Temporal logic
Timing
ISSN:2377-3766, 2377-3766
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We propose a new specification language and control synthesis technique for single and multi-robot high-level tasks; these tasks include timing constraints and reaction to environmental events. Specifically, we define Event-based Signal Temporal Logic (STL) and use it to encode tasks that are reactive to uncontrolled environment events. Our control synthesis approach to Event-based STL tasks combines automata and control barrier functions to produce robot behaviors that satisfy the specification when possible. Our method automatically provides feedback to the user if an Event-based STL task cannot be achieved. We demonstrate the effectiveness of the framework through simulations and physical demonstrations of multi-robot tasks.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:2377-3766
2377-3766
DOI:10.1109/LRA.2021.3064220