Searcharxiv⌕ Search

arXiv subjects

Sérgio Pequito

Publications and source records attributed to Sérgio Pequito.

24 records · Page 2Linked to original sources

A Separation Principle for Discrete-Time Fractional-Order Dynamical Systems and its Implications to Closed-loop Neurotechnology

Closed-loop neurotechnology requires the capability to predict the state evolution and its regulation under (possibly) partial measurements. There is evidence that neurophysiological dynamics can be modeled by fractional-order dynamical systems. Therefore, we propose to establish a separation principle for discrete-time fractional-order dynamical systems, which are inherently nonlinear and are able to capture spatiotemporal relations that exhibit non-Markovian properties. The separation principle states that the problems of controller and state estimator design can be done independently of each other while ensuring proper estimation and control in closed-loop setups. Lastly, we illustrate, as proof-of-concept, the application of the separation principle when designing controllers and estimators for these classes of systems in the context of neurophysiological data. In particular, we rely on real data to derive the models used to assess and regulate the evolution of closed-loop neurotechnologies based on electroencephalographic data.

math.OC↗

Convergence of the Expectation-Maximization Algorithm Through Discrete-Time Lyapunov Stability Theory

In this paper, we propose a dynamical systems perspective of the Expectation-Maximization (EM) algorithm. More precisely, we can analyze the EM algorithm as a nonlinear state-space dynamical system. The EM algorithm is widely adopted for data clustering and density estimation in statistics, control systems, and machine learning. This algorithm belongs to a large class of iterative algorithms known as proximal point methods. In particular, we re-interpret limit points of the EM algorithm and other local maximizers of the likelihood function it seeks to optimize as equilibria in its dynamical system representation. Furthermore, we propose to assess its convergence as asymptotic stability in the sense of Lyapunov. As a consequence, we proceed by leveraging recent results regarding discrete-time Lyapunov stability theory in order to establish asymptotic stability (and thus, convergence) in the dynamical system representation of the EM algorithm.

math.OC↗

Dealing with State Estimation in Fractional-Order Systems under Artifacts

Fractional-order dynamical systems are used to describe processes that exhibit long-term memory with power-law dependence. Notable examples include complex neurophysiological signals such as electroencephalogram (EEG) and blood-oxygen-level dependent (BOLD) signals. When analyzing different neurophysiological signals and other signals with different origin (for example, biological systems), we often find the presence of artifacts, that is, recorded activity that is due to external causes and does not have its origins in the system of interest. In this paper, we consider the problem of estimating the states of a discrete-time fractional-order dynamical system when there are artifacts present in some of the sensor measurements. Specifically, we provide necessary and sufficient conditions that ensure we can retrieve the system states even in the presence of artifacts. We provide a state estimation algorithm that can estimate the states of the system in the presence of artifacts. Finally, we present illustrative examples of our main results using real EEG data.

math.OC↗

Structural Target Controllability of Undirected Networks

In this paper, we study the target controllability problem of networked dynamical systems, in which we are tasked to steer a subset of network states towards a desired objective. More specifically, we derive necessary and sufficient conditions for the structural target controllability problem of linear time-invariant (LTI) systems with symmetric state matrices, such as undirected dynamical networks with unknown link weights. To achieve our goal, we first characterize the generic rank of symmetrically structured matrices, as well as the modes of any numerical realization. Subsequently, we provide a graph-theoretic necessary and sufficient condition for the structural controllability of undirected networks with multiple control nodes. Finally, we derive a graph-theoretic necessary and sufficient condition for structural target controllability of undirected networks. Remarkably, apart from the standard reachability condition, only local topological information is needed for the verification of structural target controllability.

math.OC↗

Parsing spatiotemporal dynamical stability in ECoG during seizure onset, propagation, and termination

Understanding brain dynamics in epilepsy is critical for establishing rigorous control objectives that enable new therapeutic methods to mitigate seizure occurrence. In multichannel electrocorticography (ECoG) recordings acquired in 21 subjects during a total of 94 seizures, we apply dynamical systems stability analysis to assess the balance versus imbalance of seizure dynamics across different timescales and brain regions. Specifically, we consider a sliding time window multivariate autoregressive linear approximation of the data captured by the ECoG channels, where eigendecomposition of the estimated matrix of coefficients describes the contribution of different regions to the spatiotemporal process (eigenvectors) associated with a particular timescale (eigenvalues). Interestingly, we observe a pattern of eigenvalue evolution and slowly changing (or approximately time-invariant) eigenvectors across both seizures and subjects. The seizure-onset is marked by an increase in high frequency spatial information to which a few regions contribute for a long period. By contrast, the seizure termination is characterized by a sudden, small time period change in dynamics to which many regions contribute. As the seizure terminates, the relatively stable ictal dynamics rapidly transition into the post-ictal regime, marked by relatively fast-damping oscillations. Our methodology offers a subject-specific characterization of the spatiotemporal behavior of the seizure, providing new insights into the dynamic patterns and functional interactions between brain regions that occur over different timescales. More generally, our approach informs the development of engineering objectives that can be used to deploy new control strategies to prevent seizure evolution or to hasten seizure termination.

q-bio.NC↗

Structurally Observable Distributed Networks of Agents under Cost and Robustness Constraints

In many problems, agents cooperate locally so that a leader or fusion center can infer the state of every agent from probing the state of only a small number of agents. Versions of this problem arise when a fusion center reconstructs an extended physical field by accessing the state of just a few of the sensors measuring the field, or a leader monitors the formation of a team of robots. Given a link cost, the paper presents a polynomial time algorithm to design a minimum cost coordinated network dynamics followed by the agents, under an observability constraint. The problem is placed in the context of structural observability and solved even when up to k agents in the coordinated network dynamics fail.

cs.MA↗