-
Technical Report for Real-Time Certified Probabilistic Pedestrian Forecasting
Authors:
Henry O. Jacobs,
Owen K. Hughes,
Matthew Johnson-Roberson,
Ram Vasudevan
Abstract:
The success of autonomous systems will depend upon their ability to safely navigate human-centric environments. This motivates the need for a real-time, probabilistic forecasting algorithm for pedestrians, cyclists, and other agents since these predictions will form a necessary step in assessing the risk of any action. This paper presents a novel approach to probabilistic forecasting for pedestria…
▽ More
The success of autonomous systems will depend upon their ability to safely navigate human-centric environments. This motivates the need for a real-time, probabilistic forecasting algorithm for pedestrians, cyclists, and other agents since these predictions will form a necessary step in assessing the risk of any action. This paper presents a novel approach to probabilistic forecasting for pedestrians based on weighted sums of ordinary differential equations that are learned from historical trajectory information within a fixed scene. The resulting algorithm is embarrassingly parallel and is able to work at real-time speeds using a naive Python implementation. The quality of predicted locations of agents generated by the proposed algorithm is validated on a variety of examples and considerably higher than existing state of the art approaches over long time horizons.
△ Less
Submitted 20 June, 2017;
originally announced June 2017.
-
Multipole Vortex Blob (MVB): Symplectic Geometry and Dynamics
Authors:
Darryl D. Holm,
Henry O. Jacobs
Abstract:
Vortex blob methods are typically characterized by a regularization length scale, below which the dynamics are trivial for isolated blobs. In this article we observe that the dynamics need not be trivial if one is willing to consider distributional derivatives of Dirac delta functionals as valid vorticity distributions. More specifically, a new singular vortex theory is presented for regularized E…
▽ More
Vortex blob methods are typically characterized by a regularization length scale, below which the dynamics are trivial for isolated blobs. In this article we observe that the dynamics need not be trivial if one is willing to consider distributional derivatives of Dirac delta functionals as valid vorticity distributions. More specifically, a new singular vortex theory is presented for regularized Euler fluid equations of ideal incompressible flow in the plane. We determine the conditions under which such regularized Euler fluid equations may admit vorticity singularities which are stronger than delta functions, e.g., derivatives of delta functions. We also describe the symplectic geometry associated to these augmented vortex structures and we characterize the dynamics as Hamiltonian. Applications to the design of numerical methods similar to vortex blob methods are also discussed. Such findings illuminate the rich dynamics which occur below the regularization length scale and enlighten our perspective on the potential for regularized fluid models to capture multiscale phenomena.
△ Less
Submitted 20 October, 2018; v1 submitted 22 May, 2015;
originally announced May 2015.
-
Weak dual pairs and jetlet methods for ideal incompressible fluid models in $n\geq 2$ dimensions
Authors:
C. J. Cotter,
J. Eldering,
D. D. Holm,
H. O. Jacobs,
D. M. Meier
Abstract:
We review the role of dual pairs in mechanics and use them to derive particle-like solutions to regularized incompressible fluid systems. In our case we have a dual pair resulting from the action of diffeomorphisms on point particles (essentially by moving the points). We then augment our dual pair by considering the action of diffeomorphisms on Taylor series, also known as jets. The augmented wea…
▽ More
We review the role of dual pairs in mechanics and use them to derive particle-like solutions to regularized incompressible fluid systems. In our case we have a dual pair resulting from the action of diffeomorphisms on point particles (essentially by moving the points). We then augment our dual pair by considering the action of diffeomorphisms on Taylor series, also known as jets. The augmented weak dual pairs induce a hierarchy of particle-like solutions and conservation laws with particles carrying a copy of a jet group. We call these augmented particles jetlets. The jet groups serve as finite-dimensional models of the diffeomorphism group itself, and so the jetlet particles serve as a finite-dimensional model of the self-similarity exhibited by ideal incompressible fluids. The conservation law associated to jetlet solutions is shown to be a shadow of Kelvin's circulation theorem. Finally, we study the dynamics of infinite time particle mergers. We prove that two merging particles at the zeroth level in the hierarchy yield dynamics which asymptotically approach that of a single particle in the first level in the hierarchy. This merging behavior is then verified numerically as well as the exchange of angular momentum which must occur during a near collision of two particles. The resulting particle-like solutions suggest a new class of meshless methods which work in dimensions $n \geq 2$ and which exhibit a shadow of Kelvin's circulation theorem. More broadly, this provides one of the first finite-dimensional models of self-similarity in ideal fluids.
△ Less
Submitted 12 July, 2016; v1 submitted 26 March, 2015;
originally announced March 2015.
-
Qualitatively accurate spectral schemes for advection and transport
Authors:
Henry O. Jacobs,
Ram Vasudevan
Abstract:
The transport and continuum equations exhibit a number of conservation laws. For example, scalar multiplication is conserved by the transport equation, while positivity of probabilities is conserved by the continuum equation. Certain discretization techniques, such as particle based methods, conserve these properties, but converge slower than spectral discretization methods on smooth data. Standar…
▽ More
The transport and continuum equations exhibit a number of conservation laws. For example, scalar multiplication is conserved by the transport equation, while positivity of probabilities is conserved by the continuum equation. Certain discretization techniques, such as particle based methods, conserve these properties, but converge slower than spectral discretization methods on smooth data. Standard spectral discretization methods, on the other hand, do not conserve the invariants of the transport equation and the continuum equation. This article constructs a novel spectral discretization technique that conserves these important invariants while simultaneously preserving spectral convergence rates. The performance of this proposed method is illustrated on several numerical experiments.
△ Less
Submitted 25 January, 2016; v1 submitted 29 December, 2014;
originally announced December 2014.
-
Symmetry in Image Registration and Deformation Modeling
Authors:
Stefan Sommer,
Henry O. Jacobs
Abstract:
We survey the role of symmetry in diffeomorphic registration of landmarks, curves, surfaces, images and higher-order data. The infinite dimensional problem of finding correspondences between objects can for a range of concrete data types be reduced resulting in compact representations of shape and spatial structure. This reduction is possible because the available data is incomplete in encoding th…
▽ More
We survey the role of symmetry in diffeomorphic registration of landmarks, curves, surfaces, images and higher-order data. The infinite dimensional problem of finding correspondences between objects can for a range of concrete data types be reduced resulting in compact representations of shape and spatial structure. This reduction is possible because the available data is incomplete in encoding the full deformation model. Using reduction by symmetry, we describe the reduced models in a common theoretical framework that draws on links between the registration problem and geometric mechanics. Symmetry also arises in reduction to the Lie algebra using particle relabeling symmetry allowing the equations of motion to be written purely in terms of Eulerian velocity field. Reduction by symmetry has recently been applied for jet-matching and higher-order discrete approximations of the image matching problem. We outline these constructions and further cases where reduction by symmetry promises new approaches to registration of complex data types.
△ Less
Submitted 24 December, 2014; v1 submitted 23 December, 2014;
originally announced December 2014.
-
Higher-order Spatial Accuracy in Diffeomorphic Image Registration
Authors:
Henry O. Jacobs,
Stefan Sommer
Abstract:
We discretize a cost functional for image registration problems by deriving Taylor expansions for the matching term. Minima of the discretized cost functionals can be computed with no spatial discretization error, and the optimal solutions are equivalent to minimal energy curves in the space of $k$-jets. We show that the solutions convergence to optimal solutions of the original cost functional as…
▽ More
We discretize a cost functional for image registration problems by deriving Taylor expansions for the matching term. Minima of the discretized cost functionals can be computed with no spatial discretization error, and the optimal solutions are equivalent to minimal energy curves in the space of $k$-jets. We show that the solutions convergence to optimal solutions of the original cost functional as the number of particles increases with a convergence rate of $O(h^{d+k})$ where $h$ is a resolution parameter. The effect of this approach over traditional particle methods is illustrated on synthetic examples and real images.
△ Less
Submitted 3 June, 2015; v1 submitted 23 December, 2014;
originally announced December 2014.
-
How to stare at the higher-order n-dimensional chain rule without losing your marbles
Authors:
Henry O. Jacobs
Abstract:
Given two real functions on the real line f and g, the Faa di Bruno provides the higher order derivative of the composition of f and g, as a summation over the lower order derivatives of f and g individually. The corresponding multi-dimensional generalization is substantially more difficult due to the complicated combinatorial considerations one must take into account when dealing with standard mu…
▽ More
Given two real functions on the real line f and g, the Faa di Bruno provides the higher order derivative of the composition of f and g, as a summation over the lower order derivatives of f and g individually. The corresponding multi-dimensional generalization is substantially more difficult due to the complicated combinatorial considerations one must take into account when dealing with standard multi-indices. In this note we provide a simple statement and derivation of the multi-dimensional Faa di Bruno formula by resorting to notions from multiset theory.
△ Less
Submitted 27 October, 2014; v1 submitted 13 October, 2014;
originally announced October 2014.
-
A jetlet hierarchy for ideal fluid dynamics
Authors:
C. J. Cotter,
D. D. Holm,
H. O. Jacobs,
D. M. Meier
Abstract:
Truncated Taylor expansions of smooth flow maps are used in Hamilton's principle to derive a multiscale Lagrangian particle representation of ideal fluid dynamics. Numerical simulations for scattering of solutions at one level of truncation are found to produce solutions at higher levels. These scattering events to higher levels in the Taylor expansion are interpreted as modeling a cascade to smal…
▽ More
Truncated Taylor expansions of smooth flow maps are used in Hamilton's principle to derive a multiscale Lagrangian particle representation of ideal fluid dynamics. Numerical simulations for scattering of solutions at one level of truncation are found to produce solutions at higher levels. These scattering events to higher levels in the Taylor expansion are interpreted as modeling a cascade to smaller scales.
△ Less
Submitted 6 May, 2014; v1 submitted 1 February, 2014;
originally announced February 2014.
-
The role of SE(d)-reduction for swimming in Stokes and Navier-Stokes fluids
Authors:
Henry O. Jacobs
Abstract:
Steady swimming appears both periodic and stable. These characteristics are the very definition of limit cycles, and so we ask "Can we view swimming as a limit cycle?" In this paper we will not be able to answer this question in full. However, we shall find that reduction by SE(d)-symmetry brings us closer. Upon performing reduction by symmetry, we will find a stable fixed point which corresponds…
▽ More
Steady swimming appears both periodic and stable. These characteristics are the very definition of limit cycles, and so we ask "Can we view swimming as a limit cycle?" In this paper we will not be able to answer this question in full. However, we shall find that reduction by SE(d)-symmetry brings us closer. Upon performing reduction by symmetry, we will find a stable fixed point which corresponds to a motionless body in stagnant water. We will then speculate on the existence of periodic orbits which are "approximately" limit cycles in the reduced system. When we lift these periodic orbits from the reduced phase space, we obtain dynamically robust relatively periodic orbits wherein each period is related to the previous by an SE(d)-phase. Clearly, an SE(d) phase consisting of nonzero translation and identity rotation means directional swimming, while non-trivial rotations correspond to turning with a constant turning radius.
△ Less
Submitted 26 October, 2013; v1 submitted 17 July, 2013;
originally announced July 2013.
-
Lagrangian mechanics on centered semi-direct product
Authors:
Leonardo J. Colombo,
Henry O. Jacobs
Abstract:
There exists two types of semi-direct products between a Lie group $G$ and a vector space $V$.
The left semi-direct product, $G \ltimes V$, can be constructed when $G$ is equipped with a left action on $V$.
Similarly, the right semi-direct product, $G \rtimes V$, can be constructed when $G$ is equipped with a right action on $V$.
In this paper, we will construct a new type of semi-direct pro…
▽ More
There exists two types of semi-direct products between a Lie group $G$ and a vector space $V$.
The left semi-direct product, $G \ltimes V$, can be constructed when $G$ is equipped with a left action on $V$.
Similarly, the right semi-direct product, $G \rtimes V$, can be constructed when $G$ is equipped with a right action on $V$.
In this paper, we will construct a new type of semi-direct product, $G \Join V$, which can be seen as the `sum' of a right and left semi-direct product.
We then parallel existing semi-direct product Euler-Poincaré theory.
We find that the group multiplication, the Lie bracket, and the diamond operator can each be seen as a sum of the associated concepts in right and left semi-direct product theory.
Finally, we conclude with a toy example and the group of 2-jets of diffeomorphisms above a fixed point.
This final example has potential use in the creation of particle methods for problems on diffeomorphism groups.
△ Less
Submitted 1 October, 2014; v1 submitted 15 March, 2013;
originally announced March 2013.
-
The role of symmetry and dissipation in biolocomotion
Authors:
Jaap Eldering,
Henry O. Jacobs
Abstract:
In this paper we illustrate the potential role which relative limit cycles may play in biolocomotion. We do this by describing, in great detail, an elementary example of reduction of a lightly dissipative system modeling crawling-type locomotion in 3D. The symmetry group SE(2) is the set of rigid transformations of the horizontal (ground) plane. Given a time-periodic perturbation, the system will…
▽ More
In this paper we illustrate the potential role which relative limit cycles may play in biolocomotion. We do this by describing, in great detail, an elementary example of reduction of a lightly dissipative system modeling crawling-type locomotion in 3D. The symmetry group SE(2) is the set of rigid transformations of the horizontal (ground) plane. Given a time-periodic perturbation, the system will admit a relative limit cycle whereupon each period is related to the previous by a fixed translation and rotation along the ground. This toy model identifies how symmetry reduction and dissipation can conspire to create robust behavior in crawling, and possibly walking, locomotion.
△ Less
Submitted 8 February, 2016; v1 submitted 10 December, 2012;
originally announced December 2012.
-
Fluid-structure interaction in the Lagrange-Poincare formalism: the Navier-Stokes and inviscid regimes
Authors:
Henry O. Jacobs,
Joris Vankerschaver
Abstract:
In this paper, we derive the equations of motion for an elastic body interacting with a perfect fluid via the framework of Lagrange-Poincare reduction. We model the combined fluid-structure system as a geodesic curve on the total space of a principal bundle on which a diffeomorphism group acts. After reduction by the diffeomorphism group we obtain the fluid-structure interactions where the fluid e…
▽ More
In this paper, we derive the equations of motion for an elastic body interacting with a perfect fluid via the framework of Lagrange-Poincare reduction. We model the combined fluid-structure system as a geodesic curve on the total space of a principal bundle on which a diffeomorphism group acts. After reduction by the diffeomorphism group we obtain the fluid-structure interactions where the fluid evolves by the inviscid fluid equations. Along the way, we describe various geometric structures appearing in fluid-structure interactions: principal connections, Lie groupoids, Lie algebroids, etc. We finish by introducing viscosity in our framework as an external force and adding the no-slip boundary condition. The result is a description of an elastic body immersed in a Navier-Stokes fluid as an externally forced Lagrange-Poincare equation. Expressing fluid-structure interactions with Lagrange-Poincare theory provides an alternative to the traditional description of the Navier-Stokes equations on an evolving domain.
△ Less
Submitted 14 August, 2013; v1 submitted 5 December, 2012;
originally announced December 2012.
-
Swimming as a limit cycle
Authors:
Henry O. Jacobs
Abstract:
Steady swimming can be characterized as both periodic and stable. These characteristics are the very definition of limit cycles, and so we ask "Can we view swimming as a limit cycle?" In this paper we will find that the answer is "yes". We will define a class of dissipative systems which correspond to the passive dynamics of a body immersed in a Navier-Stokes fluid (i.e. the dynamics of a dead fis…
▽ More
Steady swimming can be characterized as both periodic and stable. These characteristics are the very definition of limit cycles, and so we ask "Can we view swimming as a limit cycle?" In this paper we will find that the answer is "yes". We will define a class of dissipative systems which correspond to the passive dynamics of a body immersed in a Navier-Stokes fluid (i.e. the dynamics of a dead fish). Upon performing reduction by symmetry we will find a hyperbolically stable fixed point which corresponds to the stability of a dead fish in stagnant water. Given a periodic force on the shape of the body we will invoke the persistence theorem to assert the existence of a loop which approximately satisfies the exact equations of motion. If we lift this loop with a phase reconstruction formula we will find that the lifted loops are not loops, but stable trajectories which represent regular periodic motion reminiscent of swimming.
△ Less
Submitted 12 November, 2012;
originally announced November 2012.
-
On the coupling between an ideal fluid and immersed particles
Authors:
Henry O. Jacobs,
Tudor S. Ratiu,
Mathieu Desbrun
Abstract:
In this paper we use Lagrange-Poincare reduction to understand the coupling between a fluid and a set of Lagrangian particles that are supposed to simulate it. In particular, we reinterpret the work of Cendra et al. by substituting velocity interpolation from particle velocities for their principal connection. The consequence of writing evolution equations in terms of interpolation is two-fold. Fi…
▽ More
In this paper we use Lagrange-Poincare reduction to understand the coupling between a fluid and a set of Lagrangian particles that are supposed to simulate it. In particular, we reinterpret the work of Cendra et al. by substituting velocity interpolation from particle velocities for their principal connection. The consequence of writing evolution equations in terms of interpolation is two-fold. First, it gives estimates on the error incurred when interpolation is used to derive the evolution of the system. Second, this form of the equations of motion can inspire a family of particle and hybrid particle-spectral methods where the error analysis is "built-in". We also discuss the influence of other parameters attached to the particles, such as shape, orientation, or higher-order deformations, and how they can help with conservation of momenta in the sense of Kelvin's circulation theorem.
△ Less
Submitted 19 June, 2013; v1 submitted 31 August, 2012;
originally announced August 2012.
