Reachability

Containment Control in Mobile Networks

M. Ji, Giancarlo Ferrari‐Trecate, Magnus Egerstedt, Annalisa Buffa

Citations: 801 • 2008

Automatic grasp planning using shape primitives

Andrew Miller, Steffen Knoop, Henrik I. Christensen, Peter K. Allen

Citations: 715 • 2004

Cooperative Robot Control and Concurrent Synchronization of Lagrangian Systems

Soon‐Jo Chung, Jean-Jacques Slotine

Citations: 551 • 2009

Temporal logic motion planning for dynamic robots

Georgios Fainekos, Antoine Girard, Hadas Kress‐Gazit, George J. Pappas

Citations: 460 • 2008

Maneuver-based motion planning for nonlinear systems with symmetries

E. Frazz, Munther A. Dahleh, Éric Féron

Citations: 438 • 2005

Online Verification of Automated Road Vehicles Using Reachability Analysis

Matthias Althoff, John M. Dolan

Citations: 401 • 2014

Design, integration, and field evaluation of a robotic apple harvester

Abhisesh Silwal, Joseph R. Davidson, Manoj Karkee, Changki Mo, Qin Zhang, Karen Lewis

Citations: 387 • 2017

Probabilistically safe motion planning to avoid dynamic obstacles with uncertain motion patterns

Georges S. Aoude, Brandon Luders, Joshua Joseph, Nicholas Roy, Jonathan P. How

Citations: 287 • 2013

Footstep planning on uneven terrain with mixed-integer convex optimization

Robin Deits, Russ Tedrake

Citations: 283 • 2014

Reachability-based safe learning with Gaussian processes

Anayo K. Akametalu, Jaime F. Fisac, Jeremy Gillula, Shahab Kaynama, Melanie N. Zeilinger, Claire J. Tomlin

Citations: 262 • 2014

Decentralized control of cooperative robotic vehicles: theory and application

John T. Feddema, Christopher L. Lewis, David Schoenwald

Citations: 256 • 2002

Towards autonomous robotic butlers: Lessons learned with the PR2

Jonathan Bohren, Radu Bogdan Rusu, E. Gil Jones, Eitan Marder-Eppstein, Caroline Pantofaru, Melonee Wise, Lorenz Mösenlechner, Wim Meeussen, Stefan M. Holzer

Citations: 246 • 2011

Takagi–Sugeno Model Based Event-Triggered Fuzzy Sliding-Mode Control of Networked Control Systems With Semi-Markovian Switchings

Baoping Jiang, Hamid Reza Karimi, Yonggui Kao, Cunchen Gao

Citations: 216 • 2019

dReach: δ-Reachability Analysis for Hybrid Systems

Soonho Kong, Sicun Gao, Wei Chen, Edmund M. Clarke

Citations: 205 • 2015

The (n2−1)-puzzle and related relocation problems

Daniel Ratner, Manfred K. Warmuth

Citations: 188 • 1990

Approach to the dynamically reconfigurable robotic system

Toshio Fukuda, Seiya Nakagawa

Citations: 181 • 1988

Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications

Marius Kloetzer, Călin Belta

Citations: 179 • 2009

Hybrid Controllers for Path Planning: A Temporal Logic Approach

Georgios Fainekos, Hadas Kress‐Gazit, George J. Pappas

Citations: 172 • 2006

A Fast and Efficient Double-Tree RRT$^*$-Like Sampling-Based Planner Applying on Mobile Robotic Systems

Long Chen, Yunxiao Shan, Wei Tian, Bijun Li

Citations: 168 • 2018

Human preferences for robot-human hand-over configurations

Maya Çakmak, Siddhartha S Srinivasa, Min Kyung Lee, Jodi Forlizzi, Sara Kiesler

Citations: 158 • 2011