-
Connections between Reachability and Time Optimality
Authors:
Juho Bae,
Ji Hoon Bai,
Byung-Yoon Lee,
Jun-Yong Lee,
Chang-Hun Lee
Abstract:
This paper presents the concept of an equivalence relation between the set of optimal control problems. By leveraging this concept, we show that the boundary of the reachability set can be constructed by the solutions of time optimal problems. Alongside, a more generalized equivalence theorem is presented together. The findings facilitate the use of solution structures from a certain class of opti…
▽ More
This paper presents the concept of an equivalence relation between the set of optimal control problems. By leveraging this concept, we show that the boundary of the reachability set can be constructed by the solutions of time optimal problems. Alongside, a more generalized equivalence theorem is presented together. The findings facilitate the use of solution structures from a certain class of optimal control problems to address problems in corresponding equivalent classes. As a byproduct, we state and prove the construction methods of the reachability sets of three-dimensional curves with prescribed curvature bound. The findings are twofold: Firstly, we prove that any boundary point of the reachability set, with the terminal direction taken into account, can be accessed via curves of H, CSC, CCC, or their respective subsegments, where H denotes a helicoidal arc, C a circular arc with maximum curvature, and S a straight segment. Secondly, we show that any boundary point of the reachability set, without considering the terminal direction, can be accessed by curves of CC, CS, or their respective subsegments. These findings extend the developments presented in literature regarding planar curves, or Dubins car dynamics, into spatial curves in $\mathbb{R}^3$. For higher dimensions, we confirm that the problem of identifying the reachability set of curvature bounded paths subsumes the well-known Markov-Dubins problem. These advancements in understanding the reachability of curvature bounded paths in $\mathbb{R}^3$ hold significant practical implications, particularly in the contexts of mission planning problems and time optimal guidance.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
Constraint-Aware Mesh Refinement Method by Reachability Set Envelope of Curvature Bounded Paths
Authors:
Juho Bae,
Ji Hoon Bai,
Byung-Yoon Lee,
Jun-Yong Lee
Abstract:
This paper presents an enhanced direct-method-based approach for the real-time solution of optimal control problems to handle path constraints, such as obstacles. The principal contributions of this work are twofold: first, the existing methods for constructing reachability sets in the literature are extended to derive the envelope of these sets, which determines the region swept by all feasible t…
▽ More
This paper presents an enhanced direct-method-based approach for the real-time solution of optimal control problems to handle path constraints, such as obstacles. The principal contributions of this work are twofold: first, the existing methods for constructing reachability sets in the literature are extended to derive the envelope of these sets, which determines the region swept by all feasible trajectories between adjacent sample points. Second, we propose a novel method to guarantee constraint violation-free between discrete states in two dimensions through mesh refinement approach. To illustrate the effectiveness of the proposed methodology, numerical simulations are conducted on real-time path planning for fixed-wing unmanned aerial vehicles.
△ Less
Submitted 4 March, 2024; v1 submitted 25 January, 2024;
originally announced January 2024.
-
Quotients of Palindromic and Antipalindromic Numbers
Authors:
James Haoyu Bai,
Joseph Meleshko,
Samin Riasat,
Jeffrey Shallit
Abstract:
A natural number N is said to be palindromic if its binary representation reads the same forwards and backwards. In this paper we study the quotients of two palindromic numbers and answer some basic questions about the resulting sets of integers and rational numbers. For example, we show that the following problem is algorithmically decidable: given an integer N, determine if we can write N = A/B…
▽ More
A natural number N is said to be palindromic if its binary representation reads the same forwards and backwards. In this paper we study the quotients of two palindromic numbers and answer some basic questions about the resulting sets of integers and rational numbers. For example, we show that the following problem is algorithmically decidable: given an integer N, determine if we can write N = A/B for palindromic numbers A and B. Given that N is representable, we find a bound on the size of the numerator of the smallest representation. We prove that the set of unrepresentable integers has positive density in N. We also obtain similar results for quotients of antipalindromic numbers (those for which the first half of the binary representation is the reverse complement of the second half). We also provide examples, numerical data, and a number of intriguing conjectures and open problems.
△ Less
Submitted 28 February, 2022;
originally announced February 2022.
-
The description of giant dipole resonance key parameters with multitask neural networks
Authors:
J. H. Bai,
Z. M. Niu,
B. Y. Sun,
Y. F. Niu
Abstract:
Giant dipole resonance (GDR) is one of the fundamental collective excitation modes in nucleus. Continuous efforts have been made to the evaluation of GDR key parameters in different nuclear data libraries. We introduced multitask learning (MTL) approach to learn and reproduce the evaluated experimental data of GDR key parameters, including both GDR energies and widths. Compared to the theoretical…
▽ More
Giant dipole resonance (GDR) is one of the fundamental collective excitation modes in nucleus. Continuous efforts have been made to the evaluation of GDR key parameters in different nuclear data libraries. We introduced multitask learning (MTL) approach to learn and reproduce the evaluated experimental data of GDR key parameters, including both GDR energies and widths. Compared to the theoretical GDR parameters in RIPL-3 library, the accuracies of MTL approach are almost doubled for 129 nuclei with experimental data. The significant improvement is largely due to the right classification of unimodal nuclei and bimodal nuclei by the classification neural network. Based on the good performance of the neural network approach, an extrapolation to 79 nuclei around the $β$-stability line without experimental data is made, which provides an important reference to future experiments and data evaluations. The successful application of MTL approach in this work further proofs the feasibility of studying multi-output physical problems with multitask neural network in nuclear physics domain.
△ Less
Submitted 27 February, 2021;
originally announced March 2021.