Abstract:This research addresses the increasing demand for advanced navigation systems capable of operating within confined surroundings. A significant challenge in this field is developing an efficient planning framework that can generalize across various types of collision avoidance missions. Utilizing numerical optimal control techniques, this study proposes a unified optimization-based planning framework to meet these demands. We focus on handling two collision avoidance problems, i.e., the object not colliding with obstacles and not colliding with boundaries of the constrained region. The object or obstacle is denoted as a union of convex polytopes and ellipsoids, and the constrained region is denoted as an intersection of such convex sets. Using these representations, collision avoidance can be approached by formulating explicit constraints that separate two convex sets, or ensure that a convex set is contained in another convex set, referred to as separating constraints and containing constraints, respectively. We propose to use the hyperplane separation theorem to formulate differentiable separating constraints, and utilize the S-procedure and geometrical methods to formulate smooth containing constraints. We state that compared to the state of the art, the proposed formulations allow a considerable reduction in nonlinear program size and geometry-based initialization in auxiliary variables used to formulate collision avoidance constraints. Finally, the efficacy of the proposed unified planning framework is evaluated in two contexts, autonomous parking in tractor-trailer vehicles and overtaking on curved lanes. The results in both cases exhibit an improved computational performance compared to existing methods.

Enhancing the Efficiency in Checking Constraints Satisfaction when Planning Ground-based and Space Experiments, Using an Alternative Problem

Adaptive Approach for Situational Analysis of Space Experiments

Efficient Optimization-Based Trajectory Planning for Unmanned Systems in Confined Environments

Experience of Intellectualization of Situational Modeling Methods for Discrete Time-Varying Spatial Objects

Planning as Model Checking Tasks

Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search

Using SMT Solvers to Validate Models for AI Problems

Formal Specification and Analysis of Autonomous Systems under Partial Compliance

All You Need is Group Actions: Advancing Robust Autonomous Planning

GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems

Unifying Framework for Optimizations in Non-Boolean Formalisms

Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods

Goal-constrained Planning Domain Model Verification of Safety Properties

Model Checking Approach to Automated Planning

A Framework to Co-Optimize Robot Exploration and Task Planning in Unknown Environments

Enhancing Context-Aware Reactive Planning for Unexpected Situations of On-Orbit Spacecraft

Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP

Joint Falsification and Fidelity Settings Optimization for Validation of Safety-Critical Systems: A Theoretical Analysis

Assuring safety in air traffic control systems with argumentation and model checking

Principle and performance validation of search and rescue team algorithm