Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0707.3804

Approximate reduction of dynamical systems

Paulo Tabuada·Aaron D. Ames·Agung Julius·George J. Pappas
View original source ↗Read source document ↗Export metadata ↓

Abstract

The reduction of dynamical systems has a rich history, with many important applications related to stability, control and verification. Reduction of nonlinear systems is typically performed in an exact manner - as is the case with mechanical systems with symmetry--which, unfortunately, limits the type of systems to which it can be applied. The goal of this paper is to consider a more general form of reduction, termed approximate reduction, in order to extend the class of systems that can be reduced. Using notions related to incremental stability, we give conditions on when a dynamical system can be projected to a lower dimensional space while providing hard bounds on the induced errors, i.e., when it is behaviorally similar to a dynamical system on a lower dimensional space. These concepts are illustrated on a series of examples.

Explore related subjects

math.OCmath.DS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Paulo Tabuada, Aaron D. Ames, Agung Julius, George J. Pappas. 2007-07-25. Approximate reduction of dynamical systems. https://arxiv.org/abs/0707.3804

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Stochastic internal habit formation and optimality

Growth models with internal habit formation have been studied in various settings under the assumption of deterministic dynamics. The purpose of this paper is to explore a stochastic version of the model in Carroll et al. [1997, 2000], one the most influential on the subject. The goal is twofold: on one hand, to determine how far we can advance in the technical study of the model; on the other, to assess whether at least some of the deterministic outcomes remain valid in the stochastic setting. The resulting optimal control problem proves to be challenging, primarily due to the lack of concavity in the objective function. This feature is present in the model even in the deterministic case (see, e.g., Bambi and Gozzi [2020]). We develop an approach based on Dynamic Programming to establish several useful results, including the regularity of the solution to the corresponding HJB equation and a verification theorem. There results lay the groundwork for studying the model optimal paths and comparing them with the deterministic case.

math.OC↗
arXiv2026

Optimal Transport on Lie Group Orbits

In its most general form, the optimal problem is an infinite-dimensional optimization problem, yet certain notable instances admit closed-form solutions. We identify the common source of this tractability as \textit{symmetry} and formalize it using Lie group theory. Fixing a Lie group action and a reference distribution, we study optimal transport between measures in the same orbit. For such pairs of measures, restricting the Monge problem to transport maps induced by the group action yields the Lie group orbit transport problem, an optimization over the stabilizer of the reference law that provides an upper bound on the Monge problem. Under suitable regularity conditions, a feasible group-induced map satisfying a $c$-convex first-order certificate attains this bound, solves the original Monge problem, and induces an optimal Kantorovich plan. For the quadratic cost, we establish a structural criterion based on a global Cartan decomposition. Exploiting the nonuniqueness of orbit representations, the criterion constructs an optimal map through a path of group transformations with self-adjoint derivatives. Once verified for an action and reference law, it applies to every pair of orbit measures with finite second moments. For affine-induced actions, Cartan structure on the linear image suffices, and the means and covariance operators determine the optimal map and value explicitly. The framework recovers classical elliptical transport formulas and yields closed-form solutions on congruence orbits generated by absolutely continuous, spectrally invariant reference laws, including Wishart, inverse-Wishart, and matrix beta type~II families with fixed shape parameters. It also recovers the common-copula optimal coupling for multivariate normal sinh-arcsinh laws with unit tailweight parameters sharing a Gaussian copula, and evaluates the optimal transport value in closed form.

math.OC↗
arXiv2026

Robust Parallel Machine Scheduling: A Comparison of Robustness Measures and Local Search Approaches

In many real-world scheduling problems, the processing times of tasks are subject to uncertainty. This makes it essential to design schedules that are robust against disruptions. We distinguish between two types of robustness: quality-robust schedules keep a stable objective value under disruptions, while solution-robust schedules keep a stable schedule structure. We study how to generate schedules for the Stochastic Parallel Machine Scheduling Problem (SPMSP) with precedence constraints and release dates that are both quality- and solution-robust. To this end, we compare several robustness measures and local search algorithms that use these measures. We start with an extensive simulation study where we determine the correlation of 13 existing and 6 new robustness measures with both quality and solution robustness. Next, we use the measures with high robustness correlation as the objective in our local search algorithm to find the best way to generate schedules containing both job-machine assignments as well as buffer assignments. We use a new dynamic objective weight within our local search algorithms, which actively changes the objective weights in each iteration. We found that the best way to generate robust schedules is to use robustness measures that model the processing times with normal distribution approximations and to combine job placement and buffer assignment simultaneously.

math.OC↗