中文
相关论文

相关论文: Upper Bounds for Continuous-Time End-to-End Risks …

200 篇论文

Generating accurate runtime safety estimates for autonomous systems is vital to ensuring their continued proliferation. However, exhaustive reasoning about future behaviors is generally too complex to do at runtime. To provide scalable and…

计算机科学中的逻辑 · 计算机科学 2023-03-30 Matthew Cleaveland , Oleg Sokolsky , Insup Lee , Ivan Ruchkin

We propose a new model for formalizing reward collection problems on graphs with dynamically generated rewards which may appear and disappear based on a stochastic model. The *robot routing problem* is modeled as a graph whose nodes are…

系统与控制 · 计算机科学 2017-07-18 Rayna Dimitrova , Ivan Gavran , Rupak Majumdar , Vinayak S. Prabhu , Sadegh Esmaeil Zadeh Soudjani

Recently, the centroidal momentum dynamics has received substantial attention to plan dynamically consistent motions for robots with arms and legs in multi-contact scenarios. However, it is also non convex which renders any optimization…

机器人学 · 计算机科学 2018-02-27 Brahayam Ponton , Alexander Herzog , Andrea Del Prete , Stefan Schaal , Ludovic Righetti

This work presents proximally optimal predictive control algorithm, which is essentially a model-based lateral controller for steered autonomous vehicles that selects an optimal steering command within the neighborhood of previous steering…

机器人学 · 计算机科学 2023-05-16 Chinmay Vilas Samak , Tanmay Vilas Samak , Sivanathan Kandhasamy

Empirically, the PAC-Bayesian analysis is known to produce tight risk bounds for practical machine learning algorithms. However, in its naive form, it can only deal with stochastic predictors while such predictors are rarely used and…

机器学习 · 统计学 2019-11-22 Kohei Miyaguchi

This paper studies motion planning of a mobile robot under uncertainty. The control objective is to synthesize a {finite-memory} control policy, such that a high-level task specified as a Linear Temporal Logic (LTL) formula is satisfied…

机器人学 · 计算机科学 2017-10-24 Meng Guo , Michael M. Zavlanos

The problem of optimal motion planing and control is fundamental in robotics. However, this problem is intractable for continuous-time stochastic systems in general and the solution is difficult to approximate if non-instantaneous nonlinear…

机器人学 · 计算机科学 2017-02-28 Mustafa Mukadam , Ching-An Cheng , Xinyan Yan , Byron Boots

We deal with the problem of planning collision-free trajectories for robots operating in a shared space. Given the start and destination position for each of the robots, the task is to find trajectories for all robots that reach their…

机器人学 · 计算机科学 2016-08-10 Michal Čáp , Peter Novák , Alexander Kleiner

We consider the speed planning problem for a robotic manipulator. In particular, we present an algorithm for finding the time-optimal speed law along an assigned path that satisfies velocity and acceleration constraints and respects the…

机器人学 · 计算机科学 2018-10-04 Luca Consolini , Marco Locatelli , Andrea Minari , Akos Nagy , Istvan Vajk

Ground robots navigating in complex, dynamic environments must compute collision-free trajectories to avoid obstacles safely and efficiently. Nonconvex optimization is a popular method to compute a trajectory in real-time. However, these…

机器人学 · 计算机科学 2024-10-07 Oscar de Groot , Laura Ferranti , Dariu M. Gavrila , Javier Alonso-Mora

Coordinating the motion of multiple robots in cluttered environments remains a computationally challenging task. We study the problem of minimizing the execution time of a set of geometric paths by a team of robots with state-dependent…

机器人学 · 计算机科学 2024-09-26 Katherine Mao , Igor Spasojevic , Malakhi Hopkins , M. Ani Hsieh , Vijay Kumar

To operate in open-ended environments where humans interact in complex, diverse ways, autonomous robots must learn to predict their behaviour, especially when that behavior is potentially dangerous to other agents or to the robot. However,…

机器人学 · 计算机科学 2024-07-16 Divya Thuremella , Lewis Ince , Lars Kunze

We address the problem of adapting robot trajectories to improve safety, comfort, and efficiency in human-robot collaborative tasks. To this end, we propose CoMOTO, a trajectory optimization framework that utilizes stochastic motion…

Trajectory optimization (TO) is one of the most powerful tools for generating feasible motions for humanoid robots. However, including uncertainties and stochasticity in the TO problem to generate robust motions can easily lead to…

Control applications for cyber-physical systems must make reliably safe control decisions in the presence of continuous dynamics as well as stochastic uncertainty. Providing safety guarantees for such systems requires formal modeling and…

形式语言与自动机理论 · 计算机科学 2026-04-28 Joanna Delicaris , Erika Ábrahám , Anne Remke

We address the problem of safely learning controlled stochastic dynamics from discrete-time trajectory observations, ensuring system trajectories remain within predefined safe regions during both training and deployment. Safety-critical…

机器学习 · 统计学 2026-02-03 Luc Brogat-Motte , Alessandro Rudi , Riccardo Bonalli

We present an optimal hybrid control approach to the problem of stochastic route planning for sailing boats, especially in short course fleet races, in which minimum average time is an effective performance index. We show that the hybrid…

数值分析 · 数学 2017-07-26 Roberto Ferretti , Adriano Festa

This paper introduces Probabilistic Chekov (p-Chekov), a chance-constrained motion planning system that can be applied to high degree-of-freedom (DOF) robots under motion uncertainty and imperfect state information. Given process and…

机器人学 · 计算机科学 2018-11-08 Siyu Dai , Shawn Schaffert , Ashkan Jasour , Andreas Hofmann , Brian Williams

Traditional imitation learning provides a set of methods and algorithms to learn a reward function or policy from expert demonstrations. Learning from demonstration has been shown to be advantageous for navigation tasks as it allows for…

机器人学 · 计算机科学 2021-08-03 Christian Ellis , Maggie Wigness , John G. Rogers , Craig Lennon , Lance Fiondella

This paper considers the problem of robot motion planning in a workspace with obstacles for systems with uncertain 2nd-order dynamics. In particular, we combine closed form potential-based feedback controllers with adaptive control…

机器人学 · 计算机科学 2020-05-27 Christos K. Verginis , Dimos V. Dimarogonas