BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Alexandre Mauroy

Alexandre Mauroy appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.DSSystems and Controlmath.OCeess.SPeess.SYmath.APnlin.CD

Catalog footprint

What is connected

14works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

14 published item(s)

preprint2026arXiv

Analytic Extended Dynamic Mode Decomposition

We develop a novel EDMD-type algorithm that captures the spectrum of the Koopman operator defined on a reproducing kernel Hilbert space of analytic functions. This method, which we call analytic EDMD, relies on an orthogonal projection on polynomial subspaces, which is equivalent to a data-driven Taylor approximation. In the case of dynamics with a hyperbolic equilibrium, analytic EDMD demonstrates excellent performance to capture the lattice-structured Koopman spectrum based on the eigenvalues of the linearized system at the equilibrium. Moreover, it yields the Taylor approximation of associated principal eigenfunctions. Since the method preserves the triangular structure of the operator, it does not suffer from spectral pollution and, moreover, arbitrary accuracy on the spectrum can be reached with a fixed finite dimension of the approximation and with a (possibly non-uniform) sampling over an arbitrary set of nonzero measure. The performance of analytic EDMD is illustrated with numerical examples and is assessed through a comparative study with related methods. Finally, the method is complemented with theoretical results, proving strong convergence of the eigenfunctions and providing error bounds on the spectrum estimation.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A Sampling Theorem for Exact Identification of Continuous-time Nonlinear Dynamical Systems

Low sampling frequency challenges the exact identification of the continuous-time (CT) dynamical system from sampled data, even when its model is identifiable. The necessary and sufficient condition is proposed -- which is built from Koopman operator -- to the exact identification of the CT system from sampled data. The condition gives a Nyquist-Shannon-like critical frequency for exact identification of CT nonlinear dynamical systems with Koopman invariant subspaces: 1) it establishes a sufficient condition for a sampling frequency that permits a discretized sequence of samples to discover the underlying system and 2) it also establishes a necessary condition for a sampling frequency that leads to system aliasing that the underlying system is indistinguishable; and 3) the original CT signal does not have to be band-limited as required in the Nyquist-Shannon Theorem. The theoretical criterion has been demonstrated on a number of simulated examples, including linear systems, nonlinear systems with equilibria, and limit cycles.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Spectral identification of networks with generalized diffusive coupling

Spectral network identification aims at inferring the eigenvalues of the Laplacian matrix of a network from measurement data. This allows to capture global information on the network structure from local measurements at a few number of nodes. In this paper, we consider the spectral network identification problem in the generalized setting of a vector-valued diffusive coupling. The feasibility of this problem is investigated and theoretical results on the properties of the associated generalized eigenvalue problem are obtained. Finally, we propose a numerical method to solve the generalized network identification problem, which relies on dynamic mode decomposition and leverages the above theoretical results.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Two methods to approximate the Koopman operator with a reservoir computer

The Koopman operator provides a powerful framework for data-driven analysis of dynamical systems. In the last few years, a wealth of numerical methods providing finite-dimensional approximations of the operator have been proposed (e.g. extended dynamic mode decomposition (EDMD) and its variants). While convergence results for EDMD require an infinite number of dictionary elements, recent studies have shown that only few dictionary elements can yield an efficient approximation of the Koopman operator, provided that they are well-chosen through a proper training process. However, this training process typically relies on nonlinear optimization techniques. In this paper, we propose two novel methods based on a reservoir computer to train the dictionary. These methods rely solely on linear convex optimization. We illustrate the efficiency of the method with several numerical examples in the context of data reconstruction, prediction, and computation of the Koopman operator spectrum. These results pave the way to the use of the reservoir computer in the Koopman operator framework.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Linear identification of nonlinear systems: A lifting technique based on the Koopman operator

We exploit the key idea that nonlinear system identification is equivalent to linear identification of the socalled Koopman operator. Instead of considering nonlinear system identification in the state space, we obtain a novel linear identification technique by recasting the problem in the infinite-dimensional space of observables. This technique can be described in two main steps. In the first step, similar to the socalled Extended Dynamic Mode Decomposition algorithm, the data are lifted to the infinite-dimensional space and used for linear identification of the Koopman operator. In the second step, the obtained Koopman operator is "projected back" to the finite-dimensional state space, and identified to the nonlinear vector field through a linear least squares problem. The proposed technique is efficient to recover (polynomial) vector fields of different classes of systems, including unstable, chaotic, and open systems. In addition, it is robust to noise, well-suited to model low sampling rate datasets, and able to infer network topology and dynamics.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Properties of Isostables and Basins of Attraction of Monotone Systems

In this paper, we investigate geometric properties of monotone systems by studying their isostables and basins of attraction. Isostables are boundaries of specific forward-invariant sets defined by the so-called Koopman operator, which provides a linear infinite-dimensional description of a nonlinear system. First, we study the spectral properties of the Koopman operator and the associated semigroup in the context of monotone systems. Our results generalize the celebrated Perron-Frobenius theorem to the nonlinear case and allow us to derive geometric properties of isostables and basins of attraction. Additionally, we show that under certain conditions we can characterize the bounds on the basins of attraction under parametric uncertainty in the vector field. We discuss computational approaches to estimate isostables and basins of attraction and illustrate the results on two and four state monotone systems.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Shaping Pulses to Control Bistable Monotone Systems Using Koopman Operator

In this paper, we further develop a recently proposed control method to switch a bistable system between its steady states using temporal pulses. The motivation for using pulses comes from biomedical and biological applications (e.g. synthetic biology), where it is generally difficult to build feedback control systems due to technical limitations in sensing and actuation. The original framework was derived for monotone systems and all the extensions relied on monotone systems theory. In contrast, we introduce the concept of switching function which is related to eigenfunctions of the so-called Koopman operator subject to a fixed control pulse. Using the level sets of the switching function we can (i) compute the set of all pulses that drive the system toward the steady state in a synchronous way and (ii) estimate the time needed by the flow to reach an epsilon neighborhood of the target steady state. Additionally, we show that for monotone systems the switching function is also monotone in some sense, a property that can yield efficient algorithms to compute it. This observation recovers and further extends the results of the original framework, which we illustrate on numerical examples inspired by biological applications.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The Four Bars Problem

A four-bar linkage is a mechanism consisting of four rigid bars which are joined by their endpoints in a polygonal chain and which can rotate freely at the joints (or vertices). We assume that the linkage lies in the 2-dimensional plane so that one of the bars is held horizontally fixed. In this paper we consider the problem of reconfiguring a four-bar linkage using an operation called a \emph{pop}. Given a polygonal cycle, a pop reflects a vertex across the line defined by its two adjacent vertices along the polygonal chain. Our main result shows that for certain conditions on the lengths of the bars of the four-bar linkage, the neighborhood of any configuration that can be reached by smooth motion can also be reached by pops. The proof relies on the fact that pops are described by a map on the circle with an irrational number of rotation.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Differential positivity characterizes one-dimensional normally hyperbolic attractors

The paper shows that normally hyperbolic one-dimensional compact attractors of smooth dynamical systems are characterized by differential positivity, that is, the pointwise infinitesimal contraction of a smooth cone field. The result is analog to the characterization of zero-dimensional hyperbolic attractors by differential stability, which is the pointwise infinitesimal contraction of a Riemannian metric.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Extreme phase sensitivity in systems with fractal isochrons

Sensitivity to initial conditions is usually associated with chaotic dynamics and strange attractors. However, even systems with (quasi)periodic dynamics can exhibit it. In this context we report on the fractal properties of the isochrons of some continuous-time asymptotically periodic systems. We define a global measure of phase sensitivity that we call the phase sensitivity coefficient and show that it is an invariant of the system related to the capacity dimension of the isochrons. Similar results are also obtained with discrete-time systems. As an illustration of the framework, we compute the phase sensitivity coefficient for popular models of bursting neurons, suggesting that some elliptic bursting neurons are characterized by isochrons of high fractal dimensions and exhibit a very sensitive (unreliable) phase response.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Global stability analysis using the eigenfunctions of the Koopman operator

We propose a novel operator-theoretic framework to study global stability of nonlinear systems. Based on the spectral properties of the so-called Koopman operator, our approach can be regarded as a natural extension of classic linear stability analysis to nonlinear systems. The main results establish the (necessary and sufficient) relationship between the existence of specific eigenfunctions of the Koopman operator and the global stability property of hyperbolic fixed points and limit cycles. These results are complemented with numerical methods which are used to estimate the region of attraction of the fixed point or to prove in a systematic way global stability of the attractor within a given region of the state space.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Isostables, isochrons, and Koopman spectrum for the action-angle representation of stable fixed point dynamics

For asymptotically periodic systems, a powerful (phase) reduction of the dynamics is obtained by computing the so-called isochrons, i.e. the sets of points that converge toward the same trajectory on the limit cycle. Motivated by the analysis of excitable systems, a similar reduction has been attempted for non-periodic systems admitting a stable fixed point. In this case, the isochrons can still be defined but they do not capture the asymptotic behavior of the trajectories. Instead, the sets of interest-that we call isostables-are defined in literature as the sets of points that converge toward the same trajectory on the stable slow manifold of the fixed point. However, it turns out that this definition of the isostables holds only for systems with slow-fast dynamics. Also, efficient methods for computing the isostables are missing. The present paper provides a general framework for the definition and the computation of the isostables of stable fixed points, which is based on the spectral properties of the so-called Koopman operator. More precisely, the isostables are defined as the level sets of a particular eigenfunction of the Koopman operator. Through this approach, the isostables are unique and well-defined objects related to the asymptotic properties of the system. Also, the framework reveals that the isostables and the isochrons are two different but complementary notions which define a set of action-angle coordinates for the dynamics. In addition, an efficient algorithm for computing the isostables is obtained, which relies on the evaluation of Laplace averages along the trajectories. The method is illustrated with the excitable FitzHugh-Nagumo model and with the Lorenz model. Finally, we discuss how these methods based on the Koopman operator framework relate to the global linearization of the system and to the derivation of special Lyapunov functions.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Global analysis of a continuum model for monotone pulse-coupled oscillators

We consider a continuum of phase oscillators on the circle interacting through an impulsive instantaneous coupling. In contrast with previous studies on related pulse-coupled models, the stability results obtained in the continuum limit are global. For the nonlinear transport equation governing the evolution of the oscillators, we propose (under technical assumptions) a global Lyapunov function which is induced by a total variation distance between quantile densities. The monotone time evolution of the Lyapunov function completely characterizes the dichotomic behavior of the oscillators: either the oscillators converge in finite time to a synchronous state or they asymptotically converge to an asynchronous state uniformly spread on the circle. The results of the present paper apply to popular phase oscillators models (e.g. the well-known leaky integrate-and-fire model) and draw a strong parallel between the analysis of finite and infinite populations. In addition, they provide a novel approach for the (global) analysis of pulse-coupled oscillators.

0 citations0 reviewsNo code linkedOpen access