Control of Mobile Robots Using Barrier Functions Under Temporal Logic
Specifications

v1v2 (latest)

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications

14 August 2019

Mohit Srinivasan

ArXiv (abs)PDF HTML

Papers citing "Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications"

9 / 9 papers shown

Title
Dynamic Bipedal MPC with Foot-level Obstacle Avoidance and Adjustable Step Timing Tianze Wang Christian Hubicki 71 0 0 19 May 2025
An Optimal Task Allocation Strategy for Heterogeneous Multi-Robot Systems Gennaro Notomista Siddharth Mayya S. Hutchinson M. Egerstedt 50 59 0 20 Mar 2019
Control Barrier Functions for Systems with High Relative Degree Wei Xiao C. Belta 77 284 0 12 Mar 2019
Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic Mohit Srinivasan Samuel Coogan M. Egerstedt AI4CE 54 77 0 07 Aug 2018
Distributed Communication-aware Motion Planning for Multi-agent Systems from STL and SpaTeL Specifications Zhiyu Liu B. Wu Jin Dai Hai Lin 26 51 0 29 May 2017
Safe Certificate-Based Maneuvers for Teams of Quadrotors Using Differential Flatness Li Wang Aaron D. Ames M. Egerstedt 60 118 0 03 Feb 2017
The Robotarium: A remotely accessible swarm robotics research testbed Daniel Pickem Paul Glotfelter Li Wang Mark L. Mote Aaron D. Ames E. Feron M. Egerstedt 30 327 0 15 Sep 2016
Safety Barrier Certificates for Heterogeneous Multi-Robot Systems Li Wang Aaron D. Ames M. Egerstedt 46 78 0 02 Sep 2016
Minimum-violation LTL Planning with Conflicting Specifications Jana Tumova L. I. R. Castro S. Karaman Emilio Frazzoli Daniela Rus 58 47 0 15 Mar 2013