Suchergebnisse - formal methods in automation and robotics

Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments von Zhou, Zhangli, Chen, Ziyang, Cai, Mingyu, Li, Zhijun, Kan, Zhen, Su, Chun-Yi

“… Temporal logic-based motion planning has been extensively studied to address complex robotic tasks …”
Volltext

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 the cost of reduced transparency and lack …”
Volltext

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

“… We present a method for combining symbolic repair with physical feasibility checking and implementation to automatically modify existing skills such that the robot can execute a previously infeasible task …”
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 abstraction of robot mobility …”
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

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

“… Specifically, motivated by "lazy collision checking" methods in robotics, we first prune and relax the NBA by removing all negative atomic propositions, which simplifies the planning problem …”
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

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

“… The high-level task planner employs linear temporal logic for a reactive game synthesis between the robot and its environment and provides a formal guarantee on navigation safety and task completion …”
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

“… Furthermore, a generalized robustness scoring method is employed to reflect user preferences and mitigate task conflicts …”
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 …”
Volltext

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

“… methods struggle to scale to complex specifications and high-dimensional system dynamics …”
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 …”
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

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

“… By using modern computational algebraic geometry methods and an ad hoc symmetry breaking strategy, the formal resolution of this new equilibrium condition is rendered computationally feasible …”
Volltext

Fast Motion Planning in Dynamic Environments With Extended Predicate-Based Temporal Logic von Chen, Ziyang, Cai, Mingyu, Zhou, Zhangli, Li, Lin, Kan, Zhen

“… Formal languages effectively outline robots' task specifications, yet current temporal logic struggles to balance semantic expression with solution speed …”
Volltext

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

“… Our method automatically provides feedback to the user if an Event-based STL task cannot be achieved …”
Volltext

A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic von Biggar, Oliver, Zamani, Mohammad

“… Despite the current increasing popularity of Behavior Trees (BTs) in the robotics community, there does not currently exist a method to formally verify their correctness without compromising their most valuable traits …”
Volltext

Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems von Dong, Yi, Zhao, Xingyu, Wang, Sen, Huang, Xiaowei

“… Deep Reinforcement Learning (DRL) has achieved impressive performance in robotics and autonomous systems (RAS …”
Volltext

Maximum Allowable TCF Calibration Error for Robotic Pose Servoing von Hou, Jun, Xing, Shiyu, Ma, Yunkai, Jing, Fengshui, Tan, Min

“… Robotic pose servoing aims to move the robot end-effector to the target pose. Closed-loop servo systems can tolerate a small TCF (tool control frame …”
Volltext