Suchergebnisse - "Formal Methods in Robotics and Automation"

Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control von Dawson, Charles, Gao, Sicun, Fan, Chuchu

“… Learning-enabled control systems have demonstrated impressive empirical performance on challenging control problems in robotics, but this performance comes at …”
Volltext

Collaborative Magnetic Manipulation via Two Robotically Actuated Permanent Magnets von Pittiglio, Giovanni, Brockdorff, Michael, da Veiga, Tomas, Davy, Joshua, Chandler, James Henry, Valdastri, Pietro

“… Magnetically actuated robots have proven effective in several applications, specifically in medicine. However, generating high actuating fields with a high …”
Volltext

Optimal Probabilistic Motion Planning With Potential Infeasible LTL Constraints von Cai, Mingyu, Xiao, Shaoping, Li, Zhijun, Kan, Zhen

“… This paper studies optimal motion planning subject to motion and environment uncertainties. By modeling the system as a probabilistic labeled Markov decision …”
Volltext

An Abstraction-Free Method for Multirobot Temporal Logic Optimal Control Synthesis von Luo, Xusheng, Kantaros, Yiannis, Zavlanos, Michael M.

“… The majority of existing linear temporal logic (LTL) planning methods rely on the construction of a discrete product automaton, which combines a discrete …”
Volltext

Temporal Logic Task Allocation in Heterogeneous Multirobot Systems von Luo, Xusheng, Zavlanos, Michael M.

“… We consider the problem of optimally allocating tasks, expressed as global linear temporal logic (LTL) specifications, to teams of heterogeneous mobile robots …”
Volltext

Integrated Task and Motion Planning for Safe Legged Navigation in Partially Observable Environments von Shamsah, Abdulaziz, Gu, Zhaoyuan, Warnke, Jonas, Hutchinson, Seth, Zhao, Ye

“… This study proposes a hierarchically integrated framework for safe task and motion planning (TAMP) of bipedal locomotion in a partially observable environment …”
Volltext

Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks von Pacheck, Adam, Kress-Gazit, Hadas

“… A typical approach to creating complex robot behaviors is to compose atomic controllers, or skills, such that the resulting behavior satisfies a high-level …”
Volltext

Temporal Logic Motion Planning With Convex Optimization via Graphs of Convex Sets von Kurtz, Vince, Lin, Hai

“… Temporal logic is a concise way of specifying complex tasks. However, motion planning to achieve temporal logic specifications is difficult, and existing …”
Volltext

Simultaneous Task Allocation and Planning for Multirobots Under Hierarchical Temporal Logic Specifications von Luo, Xusheng, Liu, Changliu

“… Research in robotic planning with temporal logic specifications, such as linear temporal logic (LTL), has relied on single formulas. However, as task …”
Volltext

Task-Driven Detection of Distribution Shifts With Statistical Guarantees for Robot Learning von Farid, Alec, Veer, Sushant, Pachisia, Divyanshu, Majumdar, Anirudha

“… Our goal is to perform out-of-distribution (OOD) detection , i.e., to detect when a robot is operating in environments drawn from a different distribution than …”
Volltext

Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis von Lin, Yuanfei, Xing, Zekun, Han, Xuyuan, Althoff, Matthias

“… Complying with traffic rules is challenging for automated vehicles, as numerous rules need to be considered simultaneously. If a planned trajectory violates …”
Volltext

A Signal Temporal Logic approach for task-based coordination of multi-aerial systems: A wind turbine inspection case study von Silano, Giuseppe, Caballero, Alvaro, Liuzza, Davide, Iannelli, Luigi, Bogdan, Stjepan, Saska, Martin

“… The paper addresses task assignment and trajectory generation for collaborative inspection missions using a fleet of multi-rotors, focusing on the wind turbine …”
Volltext

Determination of All Stable and Unstable Equilibria for Image-Point-Based Visual Servoing von Colotti, Alessandro, Garcia Fontan, Jorge, Goldsztejn, Alexandre, Briot, Sebastien, Chaumette, Francois, Kermorgant, Olivier, Safey El Din, Mohab

“… Local minima are a well-known drawback of image-based visual servoing systems. Up to now, there were no formal guarantees on their number, or even their …”
Volltext

Optimal Stochastic Vehicle Path Planning Using Covariance Steering von Okamoto, Kazuhide, Tsiotras, Panagiotis

“… This letter addresses the problem of vehicle path planning in the presence of obstacles and uncertainties, a fundamental robotics problem. While several path …”
Volltext

Planning of Heterogeneous Multi-Agent Systems Under Signal Temporal Logic Specifications With Integral Predicates von Buyukkocak, Ali Tevfik, Aksaray, Derya, Yazcoglu, Yasin

“… We address the problem of coordinating the trajectories of heterogeneous multi-agent systems under spatio-temporal specifications. In particular, we consider …”
Volltext

Learning From Demonstrations Using Signal Temporal Logic in Stochastic and Continuous Domains von Puranic, Aniruddh G., Deshmukh, Jyotirmoy V., Nikolaidis, Stefanos

“… Learning control policies that are safe, robust and interpretable are prominent challenges in developing robotic systems. Learning-from-demonstrations with …”
Volltext

Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks von Gundana, David, Kress-Gazit, Hadas

“… We propose a new specification language and control synthesis technique for single and multi-robot high-level tasks; these tasks include timing constraints and …”
Volltext

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams von Leahy, Kevin, Jones, Austin, Vasile, Cristian-Ioan

“… We focus on decomposing large multi-agent path planning problems with global temporal logic goals (common to all agents) into smaller sub-problems that can be …”
Volltext

ILCL: Inverse Logic-Constraint Learning From Temporally Constrained Demonstrations von Cho, Minwoo, Jang, Jaehwi, Park, Daehyung

“… We aim to solve the problem of temporal-constraint learning from demonstrations to reproduce demonstration-like logic-constrained behaviors. Learning logic …”
Volltext

On Provably Safe and Live Multirobot Coordination With Online Goal Posting von Mannucci, Anna, Pallottino, Lucia, Pecora, Federico

“… A standing challenge in multirobot systems is to realize safe and efficient motion planning and coordination methods that are capable of accounting for …”
Volltext