English
Related papers

Related papers: Safety and progress proofs for a reactive planner …

200 papers

In this work, we present a test-driven, agentic framework for synthesizing a deployable low-level robot controller for navigation tasks. Given a 2D map with an image of an ultrasonic sensor-based robot, or a 3D robotic simulation…

Robotics · Computer Science 2026-03-03 Shivanshu Tripathi , Reza Akbarian Bafghi , Maziar Raissi

Motion planning is crucial for safe navigation in complex urban environments. Historically, motion planners (MPs) have been evaluated with procedurally-generated simulators like CARLA. However, such synthetic benchmarks do not capture…

Robotics · Computer Science 2025-03-14 Arun Balajee Vasudevan , Neehar Peri , Jeff Schneider , Deva Ramanan

An intelligent agent operating in the real-world must balance achieving its goal with maintaining the safety and comfort of not only itself, but also other participants within the surrounding scene. This requires jointly reasoning about the…

Computer Vision and Pattern Recognition · Computer Science 2021-04-30 Jerry Liu , Wenyuan Zeng , Raquel Urtasun , Ersin Yumer

Quadrotors hold significant promise for several applications such as agriculture, search and rescue, and infrastructure inspection. Achieving autonomous operation requires systems to navigate safely through complex and unfamiliar…

Robotics · Computer Science 2025-10-07 Jeffrey Mao , Raghuram Cauligi Srinivas , Steven Nogar , Giuseppe Loianno

We develop optimal control strategies for Autonomous Vehicles (AVs) that are required to meet complex specifications imposed by traffic laws and cultural expectations of reasonable driving behavior. We formulate these specifications as…

This work presents a motion planning framework for robotic manipulators that computes collision-free paths directly in image space. The generated paths can then be tracked using vision-based control, eliminating the need for an explicit…

Robotics · Computer Science 2025-07-04 Sreejani Chatterjee , Abhinav Gandhi , Berk Calli , Constantinos Chamzas

We present a modular framework to benchmark new and existing methods for trajectory planning and control in high-acceleration maneuvers that push autonomous driving to the limits. Our framework includes time-optimal raceline generation,…

Safety and stability are common requirements for robotic control systems; however, designing safe, stable controllers remains difficult for nonlinear and uncertain models. We develop a model-based learning approach to synthesize robust…

Systems and Control · Electrical Eng. & Systems 2021-10-08 Charles Dawson , Zengyi Qin , Sicun Gao , Chuchu Fan

Providing a higher level of decision autonomy and accompanying prompt changes of an uncertain environment is a true challenge of AUVs autonomous operations. The proceeding approach introduces a robust reactive structure that accommodates an…

Robotics · Computer Science 2019-10-17 Somaiyeh MahmoudZadeh

This paper aims to improve the path quality and computational efficiency of sampling-based kinodynamic planners for vehicular navigation. It proposes a learning framework for identifying promising controls during the expansion process of…

Robotics · Computer Science 2021-10-11 Aravind Sivaramakrishnan , Edgar Granados , Seth Karten , Troy McMahon , Kostas E. Bekris

The paper considers the problem of controlling Connected and Automated Vehicles (CAVs) traveling through a three-entry roundabout so as to jointly minimize both the travel time and the energy consumption while providing speed-dependent…

Systems and Control · Electrical Eng. & Systems 2021-04-14 Kaiyuan Xu , Christos G. Cassandras , Wei Xiao

Autonomous ground vehicles (AGVs) are receiving increasing attention, and the motion planning and control problem for these vehicles has become a hot research topic. In real applications such as material handling, an AGV is subject to large…

Robotics · Computer Science 2021-08-24 Juncheng Li , Maopeng Ran , Lihua Xie

We present Multi-Agent gatekeeper, a framework that provides provable safety guarantees for leader-follower formation control in cluttered 3D environments. Existing methods face a trad-off: online planners and controllers lack formal safety…

Robotics · Computer Science 2025-11-26 Thomas Marshall Vielmetti , Devansh R Agrawal , Dimitra Panagou

Trajectory prediction is one of the key components of the autonomous driving software stack. Accurate prediction for the future movement of surrounding traffic participants is an important prerequisite for ensuring the driving efficiency…

Robotics · Computer Science 2023-05-17 Wenbo Shao , Jun Li , Hong Wang

Navigation and motion control of a robot to a destination are tasks that have historically been performed with the assumption that contact with the environment is harmful. This makes sense for rigid-bodied robots where obstacle collisions…

The robotics community is increasingly interested in autonomous aerial transportation. Unmanned aerial vehicles with suspended payloads have advantages over other systems, including mechanical simplicity and agility, but pose great…

Robotics · Computer Science 2023-10-24 Haojia Li , Haokun Wang , Chen Feng , Fei Gao , Boyu Zhou , Shaojie Shen

This paper proposes a Robust Safe Control Architecture (RSCA) for safe-decision making. The system to be controlled is a vehicle in the presence of bounded disturbances. The RSCA consists of two parts: a Supervisor MPC and a Controller MPC.…

Systems and Control · Electrical Eng. & Systems 2022-06-22 Maryam Nezami , Ngoc Thinh Nguyen , Georg Männel , Hossam Seddik Abbas , Georg Schildbach

This paper presents a novel data-driven approach to vehicle motion planning and control in off-road driving scenarios. For autonomous off-road driving, environmental conditions impact terrain traversability as a function of weather, surface…

Robotics · Computer Science 2018-05-28 Hossein Rastgoftar , Bingxin Zhang , Ella M. Atkins

The increased reliance of self-driving vehicles on neural networks opens up the challenge of their verification. In this paper we present an experience report, describing a case study which we undertook to explore the design and training of…

Logic in Computer Science · Computer Science 2024-11-22 Syed Ali Asadullah Bukhari , Thomas Flinkow , Medet Inkarbekov , Barak A. Pearlmutter , Rosemary Monahan

Safe trajectory planning in complex environments must balance stringent collision avoidance with real-time efficiency, which is a long-standing challenge in robotics. In this work, we present a diffusion-based trajectory planning framework…

Robotics · Computer Science 2025-11-27 Wule Mao , Zhouheng Li , Yunhao Luo , Yilun Du , Lei Xie