BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Daniele Mortari

Daniele Mortari contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NANumerical Analysisastro-ph.IMData Structures and Algorithmsmath.APmath.OCastro-ph.EPComputer Visioneess.SPMachine Learningphysics.comp-ph

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
11topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2025arXiv

Poincaré Maps with the Theory of Functional Connections

Poincaré maps play a fundamental role in nonlinear dynamics and chaos theory, offering a means to reduce the dimensionality of continuous dynamical systems by tracking the intersections of trajectories with lower-dimensional section surfaces. Traditional approaches typically rely on numerical integration and interpolation to detect these crossings, which can lead to inaccuracies and computational inefficiencies. This work presents a novel methodology for constructing Poincaré maps based on the Theory of Functional Connections (TFC). The constrained functionals produced by TFC yield continuous and differentiable representations of system trajectories that exactly satisfy prescribed constraints. The computation of Poincaré maps is formulated as either an initial value problem (IVP) or a boundary value problem (BVP). For IVPs, initial conditions are embedded into the functional, and the intersection time with a specified section surface is determined. We demonstrate linear convergence to the Taylor series, thereby enabling accurate interpolation without resorting to numerical integration or external optimization. For BVPs, periodicity conditions are encoded to identify periodic orbits in a Three-Body Problem context. Furthermore, by enforcing periodic constraints, we show how to construct first recurrence maps. The methodology is also extended to non-autonomous systems, demonstrated through applications to a Four-Body Problem. The proposed approach achieves machine-level accuracy with modest computational effort, eliminating the need for variable transformations or iterative integration schemes with adaptive step-sizing. The results illustrate that TFC offers a powerful and efficient alternative framework for constructing Poincaré maps, computing periodic orbits, and analyzing complex dynamical systems, particularly in astrodynamical contexts.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

Orbit transfer using Theory of Functional Connections via change of variables

This work shows that a class of astrodynamics problems subject to mission constraints can be efficiently solved using the Theory of Functional Connections (TFC) mathematical framework by a specific change of coordinates. In these problems, the constraints are initially written in non-linear and coupled mathematical forms using classical rectangular coordinates. The symmetries of the constrained problem are used to select a new system of coordinates that transforms the non-linear constraints into linear. This change of coordinates is also used to isolate the components of the constraints. This way the TFC technique can be used to solve the ordinary differential equations governing orbit transfer problems subject to mission constraints. Specifically, this paper shows how to apply the change of coordinates method to the perturbed Hohmann-type and the one-tangent burn transfer problems.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Theory of functional connections applied to quadratic and nonlinear programming under equality constraints

This paper introduces an efficient approach to solve quadratic and nonlinear programming problems subject to linear equality constraints via the Theory of Functional Connections. This is done without using the traditional Lagrange multiplier technique. More specifically, two distinct expressions (fully satisfying the equality constraints) are provided, to first solve the constrained quadratic programming problem as an unconstrained one for closed-form solution. Such expressions are derived via using an optimization variable vector, which is called the free vector $\boldsymbol{g}$ by the Theory of Functional Connections. In the spirit of this Theory, for the equality constrained nonlinear programming problem, its solution is obtained by the Newton's method combining with elimination scheme in optimization. Convergence analysis is supported by a numerical example for the proposed approach.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Fast 2-impulse non-Keplerian orbit-transfer using the Theory of Functional Connections

This study applies a new approach, the Theory of Functional Connections (TFC), to solve the two-point boundary-value problem (TPBVP) in non-Keplerian orbit transfer. The perturbations considered are drag, solar radiation pressure, higher-order gravitational potential harmonic terms, and multiple bodies. The proposed approach is applied to Earth-to-Moon transfers, and obtains exact boundary condition satisfaction and with very fast convergence. Thanks to this highly efficient approach, perturbed pork-chop plots of Earth-to-Moon transfers are generated, and individual analyses on the transfers' parameters are easily done at low computational costs. The minimum fuel analysis is provided in terms of the time of flight, thrust application points, and relative geometry of the Moon and Sun. The transfer costs obtained are in agreement with the literature's best solutions, and in some cases are even slightly better.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Bijective Mapping Analysis to Extend the Theory of Functional Connections to Non-rectangular 2-dimensional Domains

This work presents an initial analysis of using bijective mappings to extend the Theory of Functional Connections to non-rectangular two-dimensional domains. Specifically, this manuscript proposes three different mappings techniques: a) complex mapping, b) projection mapping, and c) polynomial mapping. In that respect, an accurate least-squares approximated inverse mapping is also developed for those mappings having no closed-form inverse. The advantages and disadvantages of using these mappings are highlighted and a few examples are provided. Additionally, the paper shows how to replace boundary constraints expressed in terms of a piecewise sequence of functions with a single function, that is compatible and required by the Theory of Functional Connections already developed by rectangular domains.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Extreme Theory of Functional Connections: A Physics-Informed Neural Network Method for Solving Parametric Differential Equations

In this work we present a novel, accurate, and robust physics-informed method for solving problems involving parametric differential equations (DEs) called the Extreme Theory of Functional Connections, or X-TFC. The proposed method is a synergy of two recently developed frameworks for solving problems involving parametric DEs, 1) the Theory of Functional Connections, TFC, and the Physics-Informed Neural Networks, PINN. Although this paper focuses on the solution of exact problems involving parametric DEs (i.e. problems where the modeling error is negligible) with known parameters, X-TFC can also be used for data-driven solutions and data-driven discovery of parametric DEs. In the proposed method, the latent solution of the parametric DEs is approximated by a TFC constrained expression that uses a Neural Network (NN) as the free-function. This approximate solution form always analytically satisfies the constraints of the DE, while maintaining a NN with unconstrained parameters, like the Deep-TFC method. X-TFC differs from PINN and Deep-TFC; whereas PINN and Deep-TFC use a deep-NN, X-TFC uses a single-layer NN, or more precisely, an Extreme Learning Machine, ELM. This choice is based on the properties of the ELM algorithm. In order to numerically validate the method, it was tested over a range of problems including the approximation of solutions to linear and non-linear ordinary DEs (ODEs), systems of ODEs (SODEs), and partial DEs (PDEs). Furthermore, a few of these problems are of interest in physics and engineering such as the Classic Emden-Fowler equation, the Radiative Transfer (RT) equation, and the Heat-Transfer (HT) equation. The results show that X-TFC achieves high accuracy with low computational time and thus it is comparable with the other state-of-the-art methods.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Least-squares Solutions of Eighth-order Boundary Value Problems using the Theory of Functional Connections

This paper shows how to obtain highly accurate solutions of eighth-order boundary-value problems of linear and nonlinear ordinary differential equations. The presented method is based on the Theory of Functional Connections, and is solved in two steps. First, the Theory of Functional Connections analytically embeds the differential equation constraints into a candidate function (called a $constrained \, expression$) that contains a function that the user is free to choose. This expression always satisfies the constraints, no matter what the free function is. Second, the free-function is expanded as a linear combination of orthogonal basis functions with unknown coefficients. The constrained expression (and its derivatives) are then substituted into the eighth-order differential equation, transforming the problem into an unconstrained optimization problem where the coefficients in the linear combination of orthogonal basis functions are the optimization parameters. These parameters are then found by linear/nonlinear least-squares. The solution obtained from this method is a highly accurate analytical approximation of the true solution. Comparisons with alternative methods appearing in literature validate the proposed approach.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Non-dimensional Star-Identification

This study introduces a new "Non-Dimensional" star identification algorithm to reliably identify the stars observed by a wide field-of-view star tracker when the focal length and optical axis offset values are known with poor accuracy. This algorithm is particularly suited to complement nominal lost-in-space algorithms, which may identify stars incorrectly when the focal length and/or optical axis offset deviate from their nominal operational ranges. These deviations may be caused, for example, by launch vibrations or thermal variations in orbit. The algorithm performance is compared in terms of accuracy, speed, and robustness to the Pyramid algorithm. These comparisons highlight the clear advantages that a combined approach of these methodologies provides.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Nonlinear Function Inversion using k-vector

This work introduces a general numerical technique to invert one dimensional analytic or tabulated nonlinear functions in assigned ranges of interest. The proposed approach is based on an optimal version of the k-vector range searching, an ad-hoc modification devised for function inversion. The optimality consists of retrieving always the same number of data ($1,2,\dots$) for a specified searching range to initiate the root solver. This provides flexibility to adapt the technique to a variety of root solvers (e.g., bisection, Newton, etc.), using a specified number of starting points. The proposed method allows to build an inverse function toolbox for a set of specified nonlinear functions. In particular, the method is suitable when intensive inversions of the same function are required. The inversion is extremely fast (almost instantaneous), but it requires a one-time preprocessing effort.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Random Sampling using k-vector

This work introduces two new techniques for random number generation with any prescribed nonlinear distribution based on the k-vector methodology. The first approach is based on inverse transform sampling using the optimal k-vector to generate the samples by inverting the cumulative distribution. The second approach generates samples by performing random searches in a pre-generated large database previously built by massive inversion of the prescribed nonlinear distribution using the k-vector. Both methods are shown suitable for massive generation of random samples. Examples are provided to clarify these methodologies.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Recursive Star-Identification Algorithm using an Adaptive SVD-based Angular Velocity Estimator

This paper describes an algorithm obtained by merging a recursive star identification algorithm with a recently developed adaptive SVD-based estimator of the angular velocity vector (QuateRA). In a recursive algorithm, the more accurate the angular velocity estimate, the quicker and more robust to noise the resultant recursive algorithm is. Hence, combining these two techniques produces an algorithm capable of handling a variety of dynamics scenarios. The speed and robustness of the algorithm are highlighted in a selection of simulated scenarios. First, a speed comparison is made with the state-of-the-art lost-in-space star identification algorithm, Pyramid. This test shows that in the best case the algorithm is on average an order of magnitude faster than Pyramid. Next, the recursive algorithm is validated for a variety of dynamic cases including a ground-based "Stellar Compass" scenario, a satellite in geosynchronous orbit, a satellite during a re-orientation maneuver, and a satellite undergoing non-pure-spin dynamics.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The Multivariate Theory of Functional Connections: Theory, Proofs, and Application in Partial Differential Equations

This article presents a reformulation of the Theory of Functional Connections: a general methodology for functional interpolation that can embed a set of user-specified linear constraints. The reformulation presented in this paper exploits the underlying functional structure presented in the seminal paper on the Theory of Functional Connections to ease the derivation of these interpolating functionals--called constrained expressions--and provides rigorous terminology that lends itself to straightforward derivations of mathematical proofs regarding the properties of these constrained expressions. Furthermore, the extension of the technique to and proofs in n-dimensions is immediate through a recursive application of the univariate formulation. In all, the results of this reformulation are compared to prior work to highlight the novelty and mathematical convenience of using this approach. Finally, the methodology presented in this paper is applied to two partial differential equations with different boundary conditions, and, when data is available, the results are compared to state-of-the-art methods.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The n-dimensional k-vector and its application to orthogonal range searching

This work focuses on the definition and study of the n-dimensional k-vector, an algorithm devised to perform orthogonal range searching in static databases with multiple dimensions. The methodology first finds the order in which to search the dimensions, and then, performs the search using a modified projection method. In order to determine the dimension order, the algorithm uses the k-vector, a range searching technique for one dimension that identifies the number of elements contained in the searching range. Then, using this information, the algorithm predicts and selects the best approach to deal with each dimension. The algorithm has a worst case complexity of $\mathcal{O}(nd(k/n)^{2/d})$, where $k$ is the number of elements retrieved, $n$ is the number of elements in the database, and $d$ is the number of dimensions of the database. This work includes a detailed description of the methodology as well as a study of the algorithm performance.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Least-squares solutions of boundary-value problems in hybrid systems

This paper looks to apply the mathematical framework of the Theory of Functional Connections to the solution of boundary-value problems arising from hybrid systems. The Theory of Functional Connections is a technique to derive constrained expressions which are analytical expressions with embedded constraints. These expressions are particularly suitable to transform a large class of constrained optimization problems into unconstrained problems. The initial and most useful application of this technique is in the solution of differential equations where the problem can be posed as an unconstrained optimization problem and solved with simple numerical techniques (i.e. least-squares). A hybrid system is simply a sequence of different differential equations. The approach developed in this work derives an analytical constrained expression for the entire range of a hybrid system, enforcing both the boundary conditions as well as the continuity conditions across the sequence of differential equations. This reduces the searched solution space of the hybrid system to only admissible solutions. The transformation allows for a least-squares solution of the sequence for linear differential equations and a iterative least-squares solution for nonlinear differential equations. Lastly, the general formulation for "n" segments is developed and validation is provided through numerical tests for three differential equation sequences: linear/linear, linear/nonlinear, and nonlinear/nonlinear. The accuracy level obtained are all at machine-error, which is consistent with the accuracy experienced in past studies on the application of the Theory of Functional Connections to solve single ordinary differential equations.

0 citations0 reviewsNo code linkedOpen access