Searcharxiv⌕ Search

arXiv subjects

Rodolphe Sepulchre

Publications and source records attributed to Rodolphe Sepulchre.

At least 37 records · Page 2Linked to original sources

A Winner-Takes-All Mechanism for Event Generation

We present a novel framework for central pattern generator design that leverages the intrinsic rebound excitability of neurons in combination with winner-takes-all computation. Our approach unifies decision-making and rhythmic pattern generation within a simple yet powerful network architecture that employs all-to-all inhibitory connections enhanced by designable excitatory interactions. This design offers significant advantages regarding ease of implementation, adaptability, and robustness. We demonstrate its efficacy through a ring oscillator model, which exhibits adaptive phase and frequency modulation, making the framework particularly promising for applications in neuromorphic systems and robotics.

eess.SY↗

Gradient modelling of memristive systems

We introduce a gradient modeling framework for memristive systems. Our focus is on memristive systems as they appear in neurophysiology and neuromorphic systems. Revisiting the original definition of Chua, we regard memristive elements as gradient operators of quadratic functionals with respect to a metric determined by the memristance. We explore the consequences of gradient properties for the analysis and design of neuromorphic circuits.

eess.SY↗

Variable Metric Splitting Methods for Neuromorphic Circuits Simulation

This paper proposes a variable metric splitting algorithm to solve the electrical behavior of neuromorphic circuits made of capacitors, memristive elements, and batteries. The gradient property of the memristive elements is exploited to split the current to voltage operator as the sum of the derivative operator, a Riemannian gradient operator, and a nonlinear residual operator that is linearized at each step of the algorithm. The diagonal structure of the three operators makes the variable metric forward-backward splitting algorithm scalable and amenable to the simulation of large-scale neuromorphic circuits.

eess.SY↗

Symmetry in linear physical systems

Physical systems with symmetry arise abundantly in applications, and are endowed with interesting mathematical structures. The present paper focusses on linear reciprocal and input-output Hamiltonian systems. Their characterization is studied from an input-output as well as from a state point of view. Geometrically, it turns out that they both define Lagrangian subspaces with corresponding generating functionals. Furthermore, the relations with time reversibility are analyzed. The system classes under consideration are expected to admit scalable control laws, and to be important building blocks in design.

math.OC↗

On the threshold of excitable systems: An energy-based perspective

A fundamental characteristic of excitable systems is their ability to exhibit distinct subthreshold and suprathreshold behaviors. Precisely quantifying this distinction requires a proper definition of the threshold, which has remained elusive in neurodynamics. In this paper, we introduce a novel, energy-based threshold definition for excitable circuits grounded in dissipativity theory, specifically using the classical concept of required supply. According to our definition, the threshold corresponds to a local maximum of the required supply, clearly separating subthreshold passive responses from suprathreshold regenerative spikes. We illustrate and validate the proposed definition through analytical and numerical studies of three canonical systems: a simple RC circuit, the FitzHugh--Nagumo model, and the biophysically detailed Hodgkin--Huxley model.

math.OC↗

A homotopy theorem for incremental stability

A theorem is proved to verify incremental stability of a feedback system via a homotopy from a known incrementally stable system. A first corollary of that result is that incremental stability may be verified by separation of Scaled Relative Graphs, correcting two assumptions in [1, Theorem 2]. A second corollary provides an incremental version of the classical IQC stability theorem.

math.OC↗

Geometric statistics with subspace structure preservation for SPD matrices

We present a geometric framework for the processing of SPD-valued data that preserves subspace structures and is based on the efficient computation of extreme generalized eigenvalues. This is achieved through the use of the Thompson geometry of the semidefinite cone. We explore a particular geodesic space structure in detail and establish several properties associated with it. Finally, we review a novel inductive mean of SPD matrices based on this geometry.

math.NA↗

Neuromorphic Control of a Pendulum

We illustrate the potential of neuromorphic control on the simple mechanical model of a pendulum, with both event-based actuation and sensing. The controller and the pendulum are regarded as event-based systems that occasionally interact to coordinate their respective rhythms. Control occurs through a proper timing of the interacting events. We illustrate the mixed nature of the control design: the design of a rhythmic automaton, able to generate the right sequence of events, and the design of a feedback regulator, able to tune the timing of events.

eess.SY↗

Excitable crawling

We propose and analyze the suitability of a spiking controller to engineer the locomotion of a soft robotic crawler. Inspired by the FitzHugh-Nagumo model of neural excitability, we design a bistable controller with an electrical flipflop circuit representation capable of generating spikes on-demand when coupled to the passive crawler mechanics. A proprioceptive sensory signal from the crawler mechanics turns bistability of the controller into a rhythmic spiking. The output voltage, in turn, activates the crawler's actuators to generate movement through peristaltic waves. We show through geometric analysis that this control strategy achieves endogenous crawling. The electro-mechanical sensorimotor interconnection provides embodied negative feedback regulation, facilitating locomotion. Dimensional analysis provides insights on the characteristic scales in the crawler's mechanical and electrical dynamics, and how they determine the crawling gait. Adaptive control of the electrical scales to optimally match the mechanical scales can be envisioned to achieve further efficiency, as in homeostatic regulation of neuronal circuits. Our approach can scale up to multiple sensorimotor loops inspired by biological central pattern generators.

eess.SY↗

Differential geometry with extreme eigenvalues in the positive semidefinite cone

Differential geometric approaches to the analysis and processing of data in the form of symmetric positive definite (SPD) matrices have had notable successful applications to numerous fields including computer vision, medical imaging, and machine learning. The dominant geometric paradigm for such applications has consisted of a few Riemannian geometries associated with spectral computations that are costly at high scale and in high dimensions. We present a route to a scalable geometric framework for the analysis and processing of SPD-valued data based on the efficient computation of extreme generalized eigenvalues through the Hilbert and Thompson geometries of the semidefinite cone. We explore a particular geodesic space structure based on Thompson geometry in detail and establish several properties associated with this structure. Furthermore, we define a novel iterative mean of SPD matrices based on this geometry and prove its existence and uniqueness for a given finite collection of points. Finally, we state and prove a number of desirable properties that are satisfied by this mean.

math.DG↗

Relaxation systems and cyclic monotonicity

It is shown that an LTI system is a relaxation system if and only if its Hankel operator is cyclic monotone. Cyclic monotonicity of the Hankel operator implies the existence of a storage function whose gradient is the Hankel operator. This storage is a function of past inputs alone, is independent of the state space realization, and admits a generalization to nonlinear circuit elements.

math.OC↗

Rapid and robust synchronization via weak synaptic coupling Extended arXiv version

This paper examines how weak synaptic coupling can achieve rapid synchronization in heterogeneous networks. The assumptions aim at capturing the key mathematical properties that make this possible for biophysical networks. In particular, the combination of nodal excitability and synaptic coupling are shown to be essential to the phenomenon.

eess.SY↗

Robust online estimation of biophysical neural circuits

The control of neuronal networks, whether biological or neuromorphic, relies on tools for estimating parameters in the presence of model uncertainty. In this work, we explore the robustness of adaptive observers for neuronal estimation. Inspired by biology, we show that decentralization and redundancy help recover the performance of a centralized recursive mean square algorithm in the presence of uncertainty and mismatch on the internal dynamics of the model.

eess.SY↗

Adaptive observers for biophysical neuronal circuits

This paper presents adaptive observers for online state and parameter estimation of a class of nonlinear systems motivated by biophysical models of neuronal circuits. We first present a linear-in-the-parameters design that solves a classical recursive least squares problem. Then, building on this simple design, we present an augmented adaptive observer for models with a nonlinearly parameterized internal dynamics, the parameters of which we interpret as structured uncertainty. We present a convergence and robustness analysis based on contraction theory, and illustrate the potential of the approach in neurophysiological applications by means of numerical simulations.

eess.SY↗

Monotone one-port circuits

Maximal monotonicity is explored as a generalization of the linear theory of passivity, aiming at an algorithmic input/output analysis of physical models. The theory is developed for maximal monotone one-port circuits, formed by the series and parallel interconnection of basic elements. These circuits generalize passive LTI transfer functions. Periodic input signals are shown to be mapped to periodic output signals, and these input-output behaviors can be efficiently computed using a maximal monotone splitting algorithm, which decomposes the computation according to the circuit topology. A new splitting algorithm is presented, which applies to any monotone one-port circuit defined as a port interconnection of monotone elements.

eess.SY↗

Graphical Nonlinear System Analysis

We use the recently introduced concept of a Scaled Relative Graph (SRG) to develop a graphical analysis of input-output properties of feedback systems. The SRG of a nonlinear operator generalizes the Nyquist diagram of an LTI system. In the spirit of classical control theory, important robustness indicators of nonlinear feedback systems are measured as distances between SRGs.

eess.SY↗

Distributed online estimation of biophysical neural networks

In this work, we propose a distributed adaptive observer for a class of nonlinear networked systems inspired by biophysical neural network models. Neural systems learn by adjusting intrinsic and synaptic weights in a distributed fashion, with neuronal membrane voltages carrying information from neighbouring neurons in the network. We show that this learning principle can be used to design an adaptive observer based on a decentralized learning rule that greatly reduces the number of observer states required for exponential convergence of parameter estimates. This novel design is relevant for biological, biomedical and neuromorphic applications.

eess.SY↗

Open-loop contraction design

Given a non-contracting trajectory of a nonlinear system, we consider the question of designing an input perturbation that makes the perturbed trajectory contracting. This paper stresses the analogy of this question with the classical question of feedback stabilization. In particular, it is shown that the existence of an output variable that ensures contraction of the inverse system facilitates the design of a contracting input perturbation. We illustrate the relevance of this question in parameter estimation.

eess.SY↗