English
Related papers

Related papers: Provably Correct Sensor-driven Path-following for …

200 papers

Model predictive control (MPC) has shown great success for controlling complex systems such as legged robots. However, when closing the loop, the performance and feasibility of the finite horizon optimal control problem (OCP) solved at each…

Off-road autonomous navigation is a challenging task as it is mainly dependent on the accuracy of the motion model. Motion model performances are limited by their ability to predict the interaction between the terrain and the UGV, which an…

We consider perception-based control using state estimates that are obtained from high-dimensional sensor measurements via learning-enabled perception maps. However, these perception maps are not perfect and result in state estimation…

Systems and Control · Electrical Eng. & Systems 2023-08-29 Shuo Yang , George J. Pappas , Rahul Mangharam , Lars Lindemann

Real-world control applications in complex and uncertain environments require adaptability to handle model uncertainties and robustness against disturbances. This paper presents an online, output-feedback, critic-only, model-based…

Systems and Control · Electrical Eng. & Systems 2023-04-25 Tochukwu Elijah Ogri , Zachary I. Bell , Rushikesh Kamalapurkar

Modern nonlinear control theory seeks to develop feedback controllers that endow systems with properties such as safety and stability. The guarantees ensured by these controllers often rely on accurate estimates of the system state for…

Systems and Control · Electrical Eng. & Systems 2020-11-02 Sarah Dean , Andrew J. Taylor , Ryan K. Cosner , Benjamin Recht , Aaron D. Ames

Vision sensors are extensively used for localizing a robot's pose, particularly in environments where global localization tools such as GPS or motion capture systems are unavailable. In many visual navigation systems, localization is…

Robotics · Computer Science 2025-02-04 Dabin Kim , Inkyu Jang , Youngsoo Han , Sunwoo Hwang , H. Jin Kim

Safe autonomous navigation in unknown environments is an important problem for mobile robots. This paper proposes techniques to learn the dynamics model of a mobile robot from trajectory data and synthesize a tracking controller with safety…

Robotics · Computer Science 2022-04-11 Zhichao Li , Thai Duong , Nikolay Atanasov

Runtime monitors assess whether a system is in an unsafe state based on a stream of observations. We study the problem where the system is subject to probabilistic uncertainty and described by a hidden Markov model. A stream of observations…

Formal Languages and Automata Theory · Computer Science 2025-09-22 Luko van der Maas , Sebastian Junges

This paper proposes a new robust trajectory tracking error-based control approach for unmanned ground vehicles. A trajectory tracking error-based model is used to design a linear model predictive controller and its control action is…

Robotics · Computer Science 2021-04-01 Erkan Kayacan , Herman Ramon , Wouter Saeys

Modern non-linear model-based controllers require an accurate physics model and model parameters to be able to control mobile robots at their limits. Also, due to surface slipping at high speeds, the friction parameters may continually…

Robotics · Computer Science 2025-03-11 Dvij Kalaria , Haoru Xue , Wenli Xiao , Tony Tao , Guanya Shi , John M. Dolan

Trajectory planning and control have historically been separated into two modules in automated driving stacks. Trajectory planning focuses on higher-level tasks like avoiding obstacles and staying on the road surface, whereas the controller…

Robotics · Computer Science 2022-09-21 Rowan Dempster , Mohammad Al-Sharman , Derek Rayside , William Melek

We study the problem of devising a closed-loop strategy to control the position of a robot that is tracking a possibly moving target. The robot is capable of obtaining noisy measurements of the target's position. The key idea in active…

Robotics · Computer Science 2016-11-09 Zhonghshun Zhang , Pratap Tokekar

The growing need for high-performance controllers in safety-critical applications like autonomous driving has been motivating the development of formal safety verification techniques. In this paper, we design and implement a predictive…

Systems and Control · Electrical Eng. & Systems 2021-02-25 Ben Tearle , Kim P. Wabersich , Andrea Carron , Melanie N. Zeilinger

A complete model of the motion of a quadcopter along a smooth spatial trajectory is presented. Based on the model, a robust algorithm is proposed for controlling a quadcopter using measurements of linear coordinates and yaw angle. By…

Systems and Control · Electrical Eng. & Systems 2026-05-18 Stanislav Kim , Anton Pyrkin , Oleg Borisov

Modern unmanned systems, including aerial, terrestrial, and underwater vehicles, are increasingly utilized in dynamic and unpredictable environments, where the presence of modeling uncertainties necessitates the development of robust and…

Systems and Control · Electrical Eng. & Systems 2026-03-11 Maryam Norouzi , Mingxi Zhou , Chengzhi Yuan

Differentially flat models are frequently used to design feedforward controllers for electromechanical systems. However, control performance depends on model accuracy, which makes feedback imperative. This paper presents a control scheme…

Systems and Control · Electrical Eng. & Systems 2026-05-18 Eloy Serrano-Seco , Edgar Ramirez-Laboreo , Eduardo Moya-Lasheras

Visual-inertial sensors have a wide range of applications in robotics. However, good performance often requires different sophisticated motion routines to accurately calibrate camera intrinsics and inter-sensor extrinsics. This work…

Robotics · Computer Science 2021-10-01 Yunke Ao , Le Chen , Florian Tschopp , Michel Breyer , Andrei Cramariuc , Roland Siegwart

This paper presents a guidance algorithm for solving the problem of following parametric paths, as well as a curvature-varying speed setpoint for land-based car-type wheeled mobile robots (WMRs). The guidance algorithm relies on…

Robotics · Computer Science 2026-01-16 Alfredo González-Calvin , Lía García-Pérez , Juan Jiménez

Differential drive robots that can be modeled as a kinematic unicycle are a standard mobile base platform for many service and logistics robots. Safe and smooth autonomous motion around obstacles is a crucial skill for unicycle robots to…

Robotics · Computer Science 2023-04-07 Aykut İşleyen , Nathan van de Wouw , Ömür Arslan

In order to certify performance and safety, feedback control requires precise characterization of sensor errors. In this paper, we provide guarantees on such feedback systems when sensors are characterized by solving a supervised learning…

Machine Learning · Computer Science 2021-04-20 Sarah Dean , Benjamin Recht