Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks | IEEE Journals & Magazine | IEEE Xplore

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


Abstract:

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 t...Show More

Abstract:

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.
Published in: IEEE Robotics and Automation Letters ( Volume: 6, Issue: 2, April 2021)
Page(s): 3687 - 3694
Date of Publication: 08 March 2021

ISSN Information:

Funding Agency:


Contact IEEE to Subscribe

References

References is not available for this document.