-
Small variation in dynamic functional connectivity in cerebellar networks
Authors:
Izaro Fernandez-Iriondo,
Antonio Jimenez-Marin,
Ibai Diez,
Paolo Bonifazi,
Stephan P. Swinnen,
Miguel A. Muñoz,
Jesus M. Cortes
Abstract:
Brain networks can be defined and explored through their connectivity. Here, we analyzed the relationship between structural connectivity (SC) across 2,514 regions that cover the entire brain and brainstem, and their dynamic functional connectivity (DFC). To do so, we focused on a combination of two metrics: the first assesses the degree of SC-DFC similarity and the second is the intrinsic variabi…
▽ More
Brain networks can be defined and explored through their connectivity. Here, we analyzed the relationship between structural connectivity (SC) across 2,514 regions that cover the entire brain and brainstem, and their dynamic functional connectivity (DFC). To do so, we focused on a combination of two metrics: the first assesses the degree of SC-DFC similarity and the second is the intrinsic variability of the DFC networks over time. Overall, we found that cerebellar networks have a smaller DFC variability than other networks in the brain. Moreover, the internal structure of the cerebellum could be clearly divided in two distinct posterior and anterior parts, the latter also connected to the brainstem. The mechanism to maintain small variability of the DFC in the posterior part of the cerebellum is consistent with another of our findings, namely, that this structure exhibits the highest SC-DFC similarity relative to the other networks studied. By contrast, the anterior part of the cerebellum also exhibits small DFC variability but it has the lowest SC-DFC similarity, suggesting a different mechanism is at play. Because this structure connects to the brainstem, which regulates sleep cycles, cardiac and respiratory functioning, we suggest that such critical functionality drives the low variability in the DFC. Overall, the low variability detected in DFC expands our current knowledge of cerebellar networks, which are extremely rich and complex, participating in a wide range of cognitive functions, from movement control and coordination to executive function or emotional regulation. Moreover, the association between such low variability and structure suggests that differentiated computational principles can be applied in the cerebellum as opposed to other structures, such as the cerebral cortex.
△ Less
Submitted 26 November, 2020;
originally announced November 2020.
-
Enabling DER Participation in Frequency Regulation Markets
Authors:
Priyank Srivastava,
Chin-Yao Chang,
Jorge Cortes
Abstract:
Distributed energy resources (DERs) are playing an increasing role in ancillary services for the bulk grid, particularly in frequency regulation. In this paper, we propose a framework for collections of DERs, combined to form microgrids and controlled by aggregators, to participate in frequency regulation markets. Our approach covers both the identification of bids for the market clearing stage an…
▽ More
Distributed energy resources (DERs) are playing an increasing role in ancillary services for the bulk grid, particularly in frequency regulation. In this paper, we propose a framework for collections of DERs, combined to form microgrids and controlled by aggregators, to participate in frequency regulation markets. Our approach covers both the identification of bids for the market clearing stage and the mechanisms for the real-time allocation of the regulation signal. The proposed framework is hierarchical, consisting of a top layer and a bottom layer. The top layer consists of the aggregators communicating in a distributed fashion to optimally disaggregate the regulation signal requested by the system operator. The bottom layer consists of the DERs inside each microgrid whose power levels are adjusted so that the tie line power matches the output of the corresponding aggregator in the top layer. The coordination at the top layer requires the knowledge of cost functions, ramp rates and capacity bounds of the aggregators. We develop meaningful abstractions for these quantities respecting the power flow constraints and taking into account the load uncertainties, and propose a provably correct distributed algorithm for optimal disaggregation of regulation signal amongst the microgrids.
△ Less
Submitted 29 January, 2021; v1 submitted 8 November, 2020;
originally announced November 2020.
-
Network Optimization via Smooth Exact Penalty Functions Enabled by Distributed Gradient Computation
Authors:
Priyank Srivastava,
Jorge Cortes
Abstract:
This paper proposes a distributed algorithm for a network of agents to solve an optimization problem with separable objective function and locally coupled constraints. Our strategy is based on reformulating the original constrained problem as the unconstrained optimization of a smooth (continuously differentiable) exact penalty function. Computing the gradient of this penalty function in a distrib…
▽ More
This paper proposes a distributed algorithm for a network of agents to solve an optimization problem with separable objective function and locally coupled constraints. Our strategy is based on reformulating the original constrained problem as the unconstrained optimization of a smooth (continuously differentiable) exact penalty function. Computing the gradient of this penalty function in a distributed way is challenging even under the separability assumptions on the original optimization problem. Our technical approach shows that the distributed computation problem for the gradient can be formulated as a system of linear algebraic equations defined by separable problem data. To solve it, we design an exponentially fast, input-to-state stable distributed algorithm that does not require the individual agent matrices to be invertible. We employ this strategy to compute the gradient of the penalty function at the current network state. Our distributed algorithmic solver for the original constrained optimization problem interconnects this estimation with the prescription of having the agents follow the resulting direction. Numerical simulations illustrate the convergence and robustness properties of the proposed algorithm.
△ Less
Submitted 11 March, 2021; v1 submitted 8 November, 2020;
originally announced November 2020.
-
Learning Barrier Functions with Memory for Robust Safe Navigation
Authors:
Kehan Long,
Cheng Qian,
Jorge Cortés,
Nikolay Atanasov
Abstract:
Control barrier functions are widely used to enforce safety properties in robot motion planning and control. However, the problem of constructing barrier functions online and synthesizing safe controllers that can deal with the associated uncertainty has received little attention. This paper investigates safe navigation in unknown environments, using onboard range sensing to construct control barr…
▽ More
Control barrier functions are widely used to enforce safety properties in robot motion planning and control. However, the problem of constructing barrier functions online and synthesizing safe controllers that can deal with the associated uncertainty has received little attention. This paper investigates safe navigation in unknown environments, using onboard range sensing to construct control barrier functions online. To represent different objects in the environment, we use the distance measurements to train neural network approximations of the signed distance functions incrementally with replay memory. This allows us to formulate a novel robust control barrier safety constraint which takes into account the error in the estimated distance fields and its gradient. Our formulation leads to a second-order cone program, enabling safe and stable control synthesis in a priori unknown environments.
△ Less
Submitted 10 February, 2021; v1 submitted 3 November, 2020;
originally announced November 2020.
-
Resource-Aware Discretization of Accelerated Optimization Flows
Authors:
Miguel Vaquero,
Pol Mestres,
Jorge Cortés
Abstract:
This paper tackles the problem of discretizing accelerated optimization flows while retaining their convergence properties. Inspired by the success of resource-aware control in develo** efficient closed-loop feedback implementations on digital systems, we view the last sampled state of the system as the resource to be aware of. The resulting variable-stepsize discrete-time algorithms retain by d…
▽ More
This paper tackles the problem of discretizing accelerated optimization flows while retaining their convergence properties. Inspired by the success of resource-aware control in develo** efficient closed-loop feedback implementations on digital systems, we view the last sampled state of the system as the resource to be aware of. The resulting variable-stepsize discrete-time algorithms retain by design the desired decrease of the Lyapunov certificate of their continuous-time counterparts. Our algorithm design employs various concepts and techniques from resource-aware control that, in the present context, have interesting parallelisms with the discrete-time implementation of optimization algorithms. These include derivative- and performance-based triggers to monitor the evolution of the Lyapunov function as a way of determining the algorithm stepsize, exploiting sampled information to enhance algorithm performance, and employing high-order holds using more accurate integrators of the original dynamics. Throughout the paper, we illustrate our approach on a newly introduced continuous-time dynamics termed heavy-ball dynamics with displaced gradient, but the ideas proposed here have broad applicability to other globally asymptotically stable flows endowed with a Lyapunov certificate.
△ Less
Submitted 18 September, 2020;
originally announced September 2020.
-
Bounds on Relativistic Deformed Kinematics from the Physics of the Universe Transparency
Authors:
J. M. Carmona,
J. L. Cortés,
L. Pereira,
J. J. Relancio
Abstract:
We analyze the kinematics of electron-positron production in a photon-photon interaction when one has a modification of the special relativistic kinematics as a power expansion in the inverse of a new high-energy scale. We derive the equation for the threshold energy of this reaction to first order in this expansion, including the effects due to a modification of the energy-momentum conservation e…
▽ More
We analyze the kinematics of electron-positron production in a photon-photon interaction when one has a modification of the special relativistic kinematics as a power expansion in the inverse of a new high-energy scale. We derive the equation for the threshold energy of this reaction to first order in this expansion, including the effects due to a modification of the energy-momentum conservation equation. In contrast with the Lorentz invariance violation case, a scale of the order of a few TeV is found to be compatible with the observations of very high-energy cosmic gamma rays in the case of a modification compatible with the relativity principle.
△ Less
Submitted 24 August, 2020;
originally announced August 2020.
-
Frequency Regulation with Heterogeneous Energy Resources: A Realization using Distributed Control
Authors:
Tor Anderson,
Manasa Muralidharan,
Priyank Srivastava,
Hamed Valizadeh Haghi,
Jorge Cortes,
Jan Kleissl,
Sonia Martinez,
Byron Washom
Abstract:
This paper presents one of the first real-life demonstrations of coordinated and distributed resource control for secondary frequency response in a power distribution grid. We conduct a series of tests with up to 69 heterogeneous active devices consisting of air handling units, unidirectional and bidirectional electric vehicle charging stations, a battery energy storage system, and 107 passive dev…
▽ More
This paper presents one of the first real-life demonstrations of coordinated and distributed resource control for secondary frequency response in a power distribution grid. We conduct a series of tests with up to 69 heterogeneous active devices consisting of air handling units, unidirectional and bidirectional electric vehicle charging stations, a battery energy storage system, and 107 passive devices consisting of building loads and photovoltaic generators. Actuation commands for the test devices are obtained by solving an economic dispatch problem at every regulation instant using distributed ratio-consensus, primal-dual, and Newton-like algorithms. The distributed control setup consists of a set of Raspberry Pi end-points exchanging messages via an ethernet switch. The problem formulation minimizes the sum of device costs while tracking the setpoints provided by the system operator. We demonstrate accurate and fast real-time distributed computation of the optimization solution and effective tracking of the regulation signal by measuring physical device outputs over 40-minute time horizons. We also perform an economic benefit analysis which confirms eligibility to participate in an ancillary services market and demonstrates up to $53K of potential annual revenue for the selected population of devices.
△ Less
Submitted 4 February, 2021; v1 submitted 15 July, 2020;
originally announced July 2020.
-
Stability Assessment of Stochastic Differential-Algebraic Systems via Lyapunov Exponents with an Application to Power Systems
Authors:
Andrés González-Zumba,
Pedro Fernández-de-Córdoba,
Juan-Carlos Cortés,
Volker Mehrmann
Abstract:
In this paper we discuss Stochastic Differential-Algebraic Equations (SDAEs) and the asymptotic stability assessment for such systems via Lyapunov exponents (LEs). We focus on index-one SDAEs and their reformulation as ordinary stochastic differential equation (SDE). Via ergodic theory it is then feasible to analyze the LEs via the random dynamical system generated by the underlying SDE. Once the…
▽ More
In this paper we discuss Stochastic Differential-Algebraic Equations (SDAEs) and the asymptotic stability assessment for such systems via Lyapunov exponents (LEs). We focus on index-one SDAEs and their reformulation as ordinary stochastic differential equation (SDE). Via ergodic theory it is then feasible to analyze the LEs via the random dynamical system generated by the underlying SDE. Once the existence of well-defined LEs is guaranteed, we proceed to the use of numerical simulation techniques to determine the LEs numerically. Discrete and continuous $QR$ decomposition-based numerical methods are implemented to compute the fundamental solution matrix and to use it in the computation of the LEs. Important computational features of both methods are illustrated via numerical tests. Finally, the methods are applied to two applications from power systems engineering, including the single-machine infinite-bus (SMIB) power system model.
△ Less
Submitted 26 May, 2020;
originally announced May 2020.
-
Parallel Learning of Koopman Eigenfunctions and Invariant Subspaces For Accurate Long-Term Prediction
Authors:
Masih Haseli,
Jorge Cortés
Abstract:
We present a parallel data-driven strategy to identify finite-dimensional functional spaces invariant under the Koopman operator associated to an unknown dynamical system. We build on the Symmetric Subspace Decomposition (SSD) algorithm, a centralized method that under mild conditions on data sampling provably finds the maximal Koopman-invariant subspace and all Koopman eigenfunctions in an arbitr…
▽ More
We present a parallel data-driven strategy to identify finite-dimensional functional spaces invariant under the Koopman operator associated to an unknown dynamical system. We build on the Symmetric Subspace Decomposition (SSD) algorithm, a centralized method that under mild conditions on data sampling provably finds the maximal Koopman-invariant subspace and all Koopman eigenfunctions in an arbitrary finite-dimensional functional space. A network of processors, each aware of a common dictionary of functions and equipped with a local set of data snapshots, repeatedly interact over a directed communication graph. Each processor receives its neighbors' estimates of the invariant dictionary and refines its estimate by applying SSD with its local data on the intersection of the subspaces spanned by its own dictionary and the neighbors' dictionaries. We identify conditions on the network topology to ensure the algorithm identifies the maximal Koopman-invariant subspace in the span of the original dictionary, characterize its time, computational, and communication complexity, and establish its robustness against communication failures.
△ Less
Submitted 29 March, 2021; v1 submitted 12 May, 2020;
originally announced May 2020.
-
Deformed classical-quantum mechanics transition
Authors:
Jose L. Cortes,
J. Gamboa
Abstract:
An approach to study a generalization of the classical-quantum transition for general systems is proposed. In order to develop the idea, a deformation of the ladder operators algebra is proposed that contains a realization of the quantum group $SU(2)_q$ as a particular case. In this deformation Planck's constant becomes an operator whose eigenvalues approach $\hbar $ for small values of $n$ (the e…
▽ More
An approach to study a generalization of the classical-quantum transition for general systems is proposed. In order to develop the idea, a deformation of the ladder operators algebra is proposed that contains a realization of the quantum group $SU(2)_q$ as a particular case. In this deformation Planck's constant becomes an operator whose eigenvalues approach $\hbar $ for small values of $n$ (the eigenvalue of the number operator), and zero for large values of $n$ (the system is classicalized).
△ Less
Submitted 12 April, 2020;
originally announced April 2020.
-
Data-based Receding Horizon Control of Linear Network Systems
Authors:
Ahmed Allibhoy,
Jorge Cortés
Abstract:
We propose a distributed data-based predictive control scheme to stabilize a network system described by linear dynamics. Agents cooperate to predict the future system evolution without knowledge of the dynamics, relying instead on learning a data-based representation from a single sample trajectory. We employ this representation to reformulate the finite-horizon Linear Quadratic Regulator problem…
▽ More
We propose a distributed data-based predictive control scheme to stabilize a network system described by linear dynamics. Agents cooperate to predict the future system evolution without knowledge of the dynamics, relying instead on learning a data-based representation from a single sample trajectory. We employ this representation to reformulate the finite-horizon Linear Quadratic Regulator problem as a network optimization with separable objective functions and locally expressible constraints. We show that the controller resulting from approximately solving this problem using a distributed optimization algorithm in a receding horizon manner is stabilizing. We validate our results through numerical simulations.
△ Less
Submitted 30 August, 2020; v1 submitted 22 March, 2020;
originally announced March 2020.
-
Safety-Critical Event Triggered Control via Input-to-State Safe Barrier Functions
Authors:
Andrew J. Taylor,
Pio Ong,
Jorge Cortes,
Aaron D. Ames
Abstract:
The efficient utilization of available resources while simultaneously achieving control objectives is a primary motivation in the event-triggered control paradigm. In many modern control applications, one such objective is enforcing the safety of a system. The goal of this paper is to carry out this vision by combining event-triggered and safety-critical control design. We discuss how a direct tra…
▽ More
The efficient utilization of available resources while simultaneously achieving control objectives is a primary motivation in the event-triggered control paradigm. In many modern control applications, one such objective is enforcing the safety of a system. The goal of this paper is to carry out this vision by combining event-triggered and safety-critical control design. We discuss how a direct transcription, in the context of safety, of event-triggered methods for stabilization may result in designs that are not implementable on real hardware due to the lack of a minimum interevent time. We provide a counterexample showing this phenomena and, building on the insight gained, propose an event-triggered control approach via Input to State Safe Barrier Functions that achieves safety while ensuring that interevent times are uniformly lower bounded. We illustrate our results in simulation.
△ Less
Submitted 15 March, 2020;
originally announced March 2020.
-
Dynamics of Data-driven Ambiguity Sets for Hyperbolic Conservation Laws with Uncertain Inputs
Authors:
Francesca Boso,
Dimitris Boskos,
Jorge Cortés,
Sonia Martínez,
Daniel M. Tartakovsky
Abstract:
Ambiguity sets of probability distributions are used to hedge against uncertainty about the true probabilities of random quantities of interest (QoIs). When available, these ambiguity sets are constructed from both data (collected at the initial time and along the boundaries of the physical domain) and concentration-of-measure results on the Wasserstein metric. To propagate the ambiguity sets into…
▽ More
Ambiguity sets of probability distributions are used to hedge against uncertainty about the true probabilities of random quantities of interest (QoIs). When available, these ambiguity sets are constructed from both data (collected at the initial time and along the boundaries of the physical domain) and concentration-of-measure results on the Wasserstein metric. To propagate the ambiguity sets into the future, we use a physics-dependent equation governing the evolution of cumulative distribution functions (CDF) obtained through the method of distributions. This study focuses on the latter step by investigating the spatio-temporal evolution of data-driven ambiguity sets and their associated guarantees when the random QoIs they describe obey hyperbolic partial-differential equations with random inputs. For general nonlinear hyperbolic equations with smooth solutions, the CDF equation is used to propagate the upper and lower envelopes of pointwise ambiguity bands. For linear dynamics, the CDF equation allows us to construct an evolution equation for tighter ambiguity balls. We demonstrate that, in both cases, the ambiguity sets are guaranteed to contain the true (unknown) distributions within a prescribed confidence.
△ Less
Submitted 14 March, 2020;
originally announced March 2020.
-
Persistence of hierarchical network organization and emergent topologies in models of functional connectivity
Authors:
Ali Safari,
Paolo Moretti,
Ibai Diez,
Jesus M. Cortes,
Miguel Ángel Muñoz
Abstract:
Functional networks provide a topological description of activity patterns in the brain, as they stem from the propagation of neural activity on the underlying anatomical or structural network of synaptic connections. This latter is well known to be organized in hierarchical and modular way. While it is assumed that structural networks shape their functional counterparts, it is also hypothesized t…
▽ More
Functional networks provide a topological description of activity patterns in the brain, as they stem from the propagation of neural activity on the underlying anatomical or structural network of synaptic connections. This latter is well known to be organized in hierarchical and modular way. While it is assumed that structural networks shape their functional counterparts, it is also hypothesized that alterations of brain dynamics come with transformations of functional connectivity. In this computational study, we introduce a novel methodology to monitor the persistence and breakdown of hierarchical order in functional networks, generated from computational models of activity spreading on both synthetic and real structural connectomes. We show that hierarchical connectivity appears in functional networks in a persistent way if the dynamics is set to be in the quasi-critical regime associated with optimal processing capabilities and normal brain function, while it breaks down in other (supercritical) dynamical regimes, often associated with pathological conditions. Our results offer important clues for the study of optimal neurocomputing architectures and processes, which are capable of controlling patterns of activity and information flow. We conclude that functional connectivity patterns achieve optimal balance between local specialized processing (i.e. segregation) and global integration by inheriting the hierarchical organization of the underlying structural architecture.
△ Less
Submitted 10 February, 2021; v1 submitted 10 March, 2020;
originally announced March 2020.
-
Relativistic deformed kinematics from locality conditions in a generalized spacetime
Authors:
J. M. Carmona,
J. L. Cortes,
J. J. Relancio
Abstract:
We show how a deformed composition law of four-momenta can be used to define, at the classical level, a modified notion of spacetime for a system of two particles through the crossing of worldlines in particle interactions. We present a derivation of a generic relativistic isotropic deformed kinematics and discuss the complementarity and relations with other derivations based on $κ$-Poincaré Hopf…
▽ More
We show how a deformed composition law of four-momenta can be used to define, at the classical level, a modified notion of spacetime for a system of two particles through the crossing of worldlines in particle interactions. We present a derivation of a generic relativistic isotropic deformed kinematics and discuss the complementarity and relations with other derivations based on $κ$-Poincaré Hopf algebra or on the geometry of a maximally symmetric momentum space.
△ Less
Submitted 30 December, 2019;
originally announced December 2019.
-
Lorentz violation footprints in the spectrum of high-energy cosmic neutrinos: Deformation of the spectrum of superluminal neutrinos from electron-positron pair production in vacuum
Authors:
J. M. Carmona,
J. L. Cortes,
J. J. Relancio,
M. A. Reyes
Abstract:
The observation of cosmic neutrinos up to 2 PeV is used to put bounds on the energy scale of Lorentz invariance violation through the loss of energy due to the production of $e^+e^-$ pairs in the propagation of superluminal neutrinos. A model to study this effect, which allows to understand qualitatively the results of numerical simulations, is presented.
The observation of cosmic neutrinos up to 2 PeV is used to put bounds on the energy scale of Lorentz invariance violation through the loss of energy due to the production of $e^+e^-$ pairs in the propagation of superluminal neutrinos. A model to study this effect, which allows to understand qualitatively the results of numerical simulations, is presented.
△ Less
Submitted 28 November, 2019;
originally announced November 2019.
-
Spacetime and deformations of special relativistic kinematics
Authors:
J. M. Carmona,
J. L. Cortes,
J. J. Relancio
Abstract:
A deformation of special relativistic kinematics (possible signal of a theory of quantum gravity at low energies) leads to a modification of the notion of spacetime. At the classical level, this modification is required when one considers a model including single- or multi-interaction processes, for which absolute locality in terms of canonical space-time coordinates is lost. We discuss the differ…
▽ More
A deformation of special relativistic kinematics (possible signal of a theory of quantum gravity at low energies) leads to a modification of the notion of spacetime. At the classical level, this modification is required when one considers a model including single- or multi-interaction processes, for which absolute locality in terms of canonical space-time coordinates is lost. We discuss the different alternatives for observable effects in the propagation of a particle over very large distances that emerge from the new notion of spacetime. A central ingredient in the discussion is the cluster decomposition principle, which can be used to favor some alternatives over the others.
△ Less
Submitted 28 November, 2019;
originally announced November 2019.
-
ALMA evidence for ram pressure compression and strip** of molecular gas in the Virgo cluster galaxy NGC 4402
Authors:
William J. Cramer,
Jeffrey D. P. Kenney,
Juan R. Cortes,
Paulo C. Cortes,
Catherine Vlahakis,
Pavel Jáchym,
Emanuela Pompei,
Monica Rubio
Abstract:
High resolution (1'' $\times$ 2'') ALMA CO(2-1) observations of the ram pressure stripped galaxy NGC 4402 in the Virgo cluster show some of the clearest evidence yet for the impacts of ram pressure on the molecular ISM of a galaxy. The eastern side of the galaxy at $r \sim 4.5$ kpc, upon which ram pressure is incident, has a large (width $\sim$1 kpc, height $\sim$1 kpc above the disk midplane) ext…
▽ More
High resolution (1'' $\times$ 2'') ALMA CO(2-1) observations of the ram pressure stripped galaxy NGC 4402 in the Virgo cluster show some of the clearest evidence yet for the impacts of ram pressure on the molecular ISM of a galaxy. The eastern side of the galaxy at $r \sim 4.5$ kpc, upon which ram pressure is incident, has a large (width $\sim$1 kpc, height $\sim$1 kpc above the disk midplane) extraplanar plume of molecular gas and dust. Molecular gas in the plume region shows distinct non-circular motions in the direction of the ram pressure; the kinematic offset of up to 60 km s$^{-1}$ is consistent with acceleration by ram pressure. We also detect a small amount of gas in clouds below the plume that are spatially and kinematically distinct from the surrounding medium, and appear to be decoupled from the stripped ISM. We propose that diffuse molecular gas is directly stripped but GMC density gas is not directly stripped, and so decouples from lower density stripped gas. However, GMCs become effectively stripped on short timescales. We also find morphological and kinematic signatures of ram pressure compression of molecular gas in a region of intense star formation on the leading side at $r \sim 3.5$ kpc. We propose that the compressed and stripped zones represent different evolutionary stages of the ram pressure interaction, and that feedback from star formation in the compressed zone facilitates the effective strip** of GMCs by making the gas cycle rapidly to a lower density diffuse state.
△ Less
Submitted 25 September, 2020; v1 submitted 30 October, 2019;
originally announced October 2019.
-
Photophoretic Levitation of Macroscopic Nanocardboard Plates
Authors:
John Cortes,
Christopher Stanczak,
Maanav Narula,
Mohsen Azadi,
Samuel M. Nicaise,
Howard Hu,
Igor Bargatin
Abstract:
Scaling down miniature rotorcraft and flap**-wing flyers to sub-centimeter dimensions is challenging due to complex electronics requirements, manufacturing limitations, and the increase in viscous dam** at low Reynolds numbers. Photophoresis, or light-driven fluid flow, was previously used to levitate solid particles without any moving parts but only at the scale of 1-20 micrometers. Here, we…
▽ More
Scaling down miniature rotorcraft and flap**-wing flyers to sub-centimeter dimensions is challenging due to complex electronics requirements, manufacturing limitations, and the increase in viscous dam** at low Reynolds numbers. Photophoresis, or light-driven fluid flow, was previously used to levitate solid particles without any moving parts but only at the scale of 1-20 micrometers. Here, we leverage stiff architectured plates with 50-nm thickness to realize photophoretic levitation at the millimeter to centimeter scales. Instead of creating lift through conventional rotors or wings, our levitation occurs due to light-induced thermal transpiration through micro-channels within our plates. At atmospheric pressure, the plates hover above a solid substrate at heights of ~0.5 mm by creating an air cushion beneath the plate. Moreover, at reduced pressures (10-1000 Pa), the increased speed of thermal transpiration through the plate's channels creates an air jet that enables mid-air levitation and allows the plates to carry small payloads heavier than the plates themselves. This new propulsion mechanism for macroscopic structures creates the prospect of future nanotechnology-enabled flying vehicles without any moving parts in the Earth's upper atmosphere and at the surface of other planets.
△ Less
Submitted 9 October, 2019;
originally announced October 2019.
-
Tracking Control by the Newton-Raphson Method with Output Prediction and Controller Speedup
Authors:
Yorai Wardi,
Carla Seatzu,
Jorge Cortes,
Magnus Egerstedt,
Shashwat Shivam,
Ian Buckley
Abstract:
This paper presents a control technique for output tracking of reference signals in continuous-time dynamical systems. The technique is comprised of the following three elements: (i) output prediction which has to track the reference signal, (ii) a controller based on an integrator with variable gain, and (iii) a speedup of the control action for enhancing the tracker's accuracy and, in some cases…
▽ More
This paper presents a control technique for output tracking of reference signals in continuous-time dynamical systems. The technique is comprised of the following three elements: (i) output prediction which has to track the reference signal, (ii) a controller based on an integrator with variable gain, and (iii) a speedup of the control action for enhancing the tracker's accuracy and, in some cases, guaranteeing stability of the closed-loop system. The technique is suitable for linear and nonlinear systems, implementable by simple algorithms, can track reference points as well as time-dependent reference signals, and may have large, even global domains of attraction. The derived theoretical results include convergence of the tracking controller and error analysis, and are supported by illustrative simulation and laboratory experiments.
△ Less
Submitted 1 October, 2019;
originally announced October 2019.
-
Data-driven ambiguity sets with probabilistic guarantees for dynamic processes
Authors:
Dimitris Boskos,
Jorge Cortés,
Sonia Martínez
Abstract:
Distributional ambiguity sets provide quantifiable ways to characterize the uncertainty about the true probability distribution of random variables of interest. This makes them a key element in data-driven robust optimization by exploiting high-confidence guarantees to hedge against uncertainty. This paper explores the construction of Wasserstein ambiguity sets in dynamic scenarios where data is c…
▽ More
Distributional ambiguity sets provide quantifiable ways to characterize the uncertainty about the true probability distribution of random variables of interest. This makes them a key element in data-driven robust optimization by exploiting high-confidence guarantees to hedge against uncertainty. This paper explores the construction of Wasserstein ambiguity sets in dynamic scenarios where data is collected progressively and may only reveal partial information about the unknown random variable. For random variables evolving according to known dynamics, we leverage assimilated samples to make inferences about their unknown distribution at the end of the sampling horizon. Under exact knowledge of the flow map, we provide sufficient conditions that relate the growth of the trajectories with the sampling rate to establish a reduction of the ambiguity set size as the horizon increases. Further, we characterize the exploitable sample history that results in a guaranteed reduction of ambiguity sets under errors in the computation of the flow and when the dynamics is subject to bounded unknown disturbances. Our treatment deals with both full- and partial-state measurements and, in the latter case, exploits the sampled-data observability properties of linear time-varying systems under irregular sampling. Simulations on a UAV detection application show the superior performance resulting from the proposed dynamic ambiguity sets.
△ Less
Submitted 24 September, 2019;
originally announced September 2019.
-
Second order linear differential equations with analytic uncertainties: stochastic analysis via the computation of the probability density function
Authors:
Marc Jornet,
Julia Calatayud,
Olivier P. Le Ma^itre,
Juan Carlos Cortés
Abstract:
This paper concerns the analysis of random second order linear differential equations. Usually, solving these equations consists of computing the first statistics of the response process, and that task has been an essential goal in the literature. A more ambitious objective is the computation of the solution probability density function. We present advances on these two aspects in the case of gene…
▽ More
This paper concerns the analysis of random second order linear differential equations. Usually, solving these equations consists of computing the first statistics of the response process, and that task has been an essential goal in the literature. A more ambitious objective is the computation of the solution probability density function. We present advances on these two aspects in the case of general random non-autonomous second order linear differential equations with analytic data processes. The Fröbenius method is employed to obtain the stochastic solution in the form of a mean square convergent power series. We demonstrate that the convergence requires the boundedness of the random input coefficients. Further, the mean square error of the Fröbenius method is proved to decrease exponentially with the number of terms in the series, although not uniformly in time. Regarding the probability density function of the solution at a given time, we rely on the law of total probability to express it in closed-form as an expectation. For the computation of this expectation, a sequence of approximating density functions is constructed by reducing the dimensionality of the problem using the truncated power series of the fundamental set. We prove several theoretical results regarding the pointwise convergence of the sequence of density functions and the convergence in total variation. The pointwise convergence turns out to be exponential under a Lipschitz hypothesis. As the density functions are expressed in terms of expectations, we propose a symbolic Monte Carlo sampling algorithm for their estimation. This algorithm is implemented and applied on several numerical examples designed to illustrate the theoretical findings of the paper.
△ Less
Submitted 12 February, 2020; v1 submitted 10 September, 2019;
originally announced September 2019.
-
Learning Koopman Eigenfunctions and Invariant Subspaces from Data: Symmetric Subspace Decomposition
Authors:
Masih Haseli,
Jorge Cortés
Abstract:
This paper develops data-driven methods to identify eigenfunctions of the Koopman operator associated to a dynamical system and subspaces that are invariant under the operator. We build on Extended Dynamic Mode Decomposition (EDMD), a data-driven method that finds a finite-dimensional approximation of the Koopman operator on the span of a predefined dictionary of functions. We propose a necessary…
▽ More
This paper develops data-driven methods to identify eigenfunctions of the Koopman operator associated to a dynamical system and subspaces that are invariant under the operator. We build on Extended Dynamic Mode Decomposition (EDMD), a data-driven method that finds a finite-dimensional approximation of the Koopman operator on the span of a predefined dictionary of functions. We propose a necessary and sufficient condition to identify Koopman eigenfunctions based on the application of EDMD forward and backward in time. Moreover, we propose the Symmetric Subspace Decomposition (SSD) algorithm, an iterative method which provably identifies the maximal Koopman-invariant subspace and the Koopman eigenfunctions in the span of the dictionary. We also introduce the Streaming Symmetric Subspace Decomposition (SSSD) algorithm, an online extension of SSD that only requires a small, fixed memory and incorporates new data as is received. Finally, we propose an extension of SSD that approximates Koopman eigenfunctions and invariant subspaces when the dictionary does not contain sufficient informative eigenfunctions.
△ Less
Submitted 25 February, 2021; v1 submitted 3 September, 2019;
originally announced September 2019.
-
The seven most massive clumps in W43-Main as seen by ALMA: Dynamical equilibrium and Magnetic Fields
Authors:
Paulo C. Cortes,
Charles L. H. Hull,
Josep M. Girart,
Carlos Orquera-Rojas,
Tirupati K. Sridharan,
Zhi-Yun Li,
Fabien Louvet,
Juan R. Cortes,
Valentin J. M. Le Gouellec,
Richard M. Crutcher,
Shih-** Lai
Abstract:
Here we present new ALMA observations of polarized dust emission from six of the most massive clumps in W43-Main. The clumps MM2, MM3, MM4, MM6, MM7, and MM8, have been resolved into two populations of fragmented filaments. From these two populations we extracted 81 cores (96 with the MM1 cores) with masses between 0.9 \Msun\ to 425 \Msun\ and a mass sensitivity of 0.08 M$_{\odot}$. The MM6, MM7,…
▽ More
Here we present new ALMA observations of polarized dust emission from six of the most massive clumps in W43-Main. The clumps MM2, MM3, MM4, MM6, MM7, and MM8, have been resolved into two populations of fragmented filaments. From these two populations we extracted 81 cores (96 with the MM1 cores) with masses between 0.9 \Msun\ to 425 \Msun\ and a mass sensitivity of 0.08 M$_{\odot}$. The MM6, MM7, and MM8 clumps show significant fragmentation, but the polarized intensity appears to be sparse and compact. The MM2, MM3, and MM4 population shows less fragmentation, but with a single proto-stellar core dominating the emission at each clump. Also, the polarized intensity is more extended and significantly stronger in this population. From the polarized emission, we derived detailed magnetic field patterns throughout the filaments which we used to estimate field strengths for 4 out of the 6 clumps. The average field strengths estimations were found between 500 $μ$G to 1.8 mG. Additionally, we detected and modeled infalling motions towards MM2 and MM3 from single dish HCO$^{+}(J=4 \rightarrow 3)$ and HCN$(J=4 \rightarrow 3)$ data resulting in mass infall rates of $\dot{\mathrm{M}}_{\mathrm{MM2}} = 1.2 \times 10^{-2}$ \Msun\ yr$^{-1}$ and $\dot{\mathrm{M}}_{\mathrm{MM3}} = 6.3 \times 10^{-3}$ \Msun\ yr$^{-1}$. By using our estimations, we evaluated the dynamical equilibrium of our cores by computing the total virial parameter $α_{\mathrm{total}}$. For the cores with reliable field estimations, we found that 71\% of them appear to be gravitationally bound while the remaining 29\% are not. We concluded that these unbound cores, also less massive, are still accreting and have not yet reached a critical mass. This also implies different evolutionary time-scales, which essentially suggests that star-formation in high mass filaments is not uniform.
△ Less
Submitted 30 July, 2019;
originally announced July 2019.
-
Relativistic deformed kinematics from momentum space geometry
Authors:
J. M. Carmona,
J. L. Cortes,
J. J. Relancio
Abstract:
We present a way to derive a deformation of special relativistic kinematics (possible low energy signal of a quantum theory of gravity) from the geometry of a maximally symmetric curved momentum space. The deformed kinematics is fixed (up to change of coordinates in the momentum variables) by the algebra of isometries of the metric in momentum space. In particular, the well-known example of $κ$-Po…
▽ More
We present a way to derive a deformation of special relativistic kinematics (possible low energy signal of a quantum theory of gravity) from the geometry of a maximally symmetric curved momentum space. The deformed kinematics is fixed (up to change of coordinates in the momentum variables) by the algebra of isometries of the metric in momentum space. In particular, the well-known example of $κ$-Poincaré kinematics is obtained when one considers an isotropic metric in de Sitter momentum space such that translations are a subgroup of the isometry group, and for a Lorentz covariant algebra one gets the also well-known case of Snyder kinematics. We prove that our construction gives generically a relativistic kinematics and explain how it relates to previous attempts of connecting a deformed kinematics with a geometry in momentum space.
△ Less
Submitted 28 November, 2019; v1 submitted 29 July, 2019;
originally announced July 2019.
-
Distributed bilayered control for transient frequency safety and system stability in power grids
Authors:
Yifu Zhang,
Jorge Cortes
Abstract:
This paper considers power networks governed by swing nonlinear dynamics and subject to disturbances. We develop a bilayered control strategy for a subset of buses that simultaneously guarantees transient frequency safety of each individual bus and asymptotic stability of the entire network. The bottom layer is a model predictive controller that, based on periodically sampled system information, o…
▽ More
This paper considers power networks governed by swing nonlinear dynamics and subject to disturbances. We develop a bilayered control strategy for a subset of buses that simultaneously guarantees transient frequency safety of each individual bus and asymptotic stability of the entire network. The bottom layer is a model predictive controller that, based on periodically sampled system information, optimizes control resources to have transient frequency evolve close to a safe desired interval. The top layer is a real-time controller assisting the bottom-layer controller to guarantee transient frequency safety is actually achieved. We show that control signals at both layers are Lipschitz in the state and do not jeopardize stability of the network. Furthermore, we carefully characterize the information requirements at each bus necessary to implement the controller and employ saddle-point dynamics to introduce a distributed implementation that only requires information exchange with up to 2-hop neighbors in the power network. Simulations on the IEEE 39-bus power network illustrate our results.
△ Less
Submitted 8 January, 2020; v1 submitted 6 June, 2019;
originally announced June 2019.
-
Global controllability tests for geometric hybrid control systems
Authors:
M. Barbero Liñán,
J. Cortés,
D. Martín de Diego,
S. Martínez,
M. C. Muñoz Lecanda
Abstract:
Hybrid systems are characterized by having an interaction between continuous dynamics and discrete events. The contribution of this paper is to provide hybrid systems with a novel geometric formulation so that controls can be added. Using this framework we describe some new global controllability tests for hybrid control systems exploiting the geometry and the topology of the set of jump points, w…
▽ More
Hybrid systems are characterized by having an interaction between continuous dynamics and discrete events. The contribution of this paper is to provide hybrid systems with a novel geometric formulation so that controls can be added. Using this framework we describe some new global controllability tests for hybrid control systems exploiting the geometry and the topology of the set of jump points, where the instantaneous change of dynamics take place. Controllability is understood as the existence of a feasible trajectory for the system joining any two given points. As a result we describe examples where none of the continuous control systems are controllable, but the associated hybrid system is controllable because of the characteristics of the jump set.
△ Less
Submitted 22 June, 2020; v1 submitted 7 May, 2019;
originally announced May 2019.
-
Analysis of random non-autonomous logistic-type differential equations via the Karhunen-Loève expansion and the Random Variable Transformation technique
Authors:
J. -C. Cortés,
A. Navarro-Quiles,
J. -V. Romero,
M. -D. Roselló
Abstract:
This paper deals with the study, from a probabilistic point of view, of logistic-type differential equations with uncertainties. We assume that the initial condition is a random variable and the diffusion coefficient is a stochastic process. The main objective is to obtain the first probability density function, $f_1(p,t)$, of the solution stochastic process, $P(t,ω)$. To achieve this goal, first…
▽ More
This paper deals with the study, from a probabilistic point of view, of logistic-type differential equations with uncertainties. We assume that the initial condition is a random variable and the diffusion coefficient is a stochastic process. The main objective is to obtain the first probability density function, $f_1(p,t)$, of the solution stochastic process, $P(t,ω)$. To achieve this goal, first the diffusion coefficient is represented via a truncation of order $N$ of the Karhunen-Loève expansion, and second, the Random Variable Transformation technique is applied. In this manner, approximations, say $f_1^N(p,t)$, of $f_1(p,t)$ are constructed. Afterwards, we rigorously prove that $f_1^N(p,t) \longrightarrow f_1(p,t)$ as $N\to \infty$ under mild conditions assumed on input data (initial condition and diffusion coefficient). Finally, three illustrative examples are shown.
△ Less
Submitted 7 January, 2019;
originally announced January 2019.
-
Solving the Random Pielou Logistic Equation with the Random Variable Transformation Technique: Theory and Applications
Authors:
J. -C. Cortés,
A. Navarro-Quiles,
J. -V. Romero,
M. -D. Roselló
Abstract:
The study of the dynamics of the size of a population via mathematical modelling is a problem of interest and widely studied. Traditionally, continuous deterministic methods based on differential equations have been used to deal with this problem. However discrete versions of some models are also available and sometimes more adequate. In this paper, we randomize the Pielou logistic equation in ord…
▽ More
The study of the dynamics of the size of a population via mathematical modelling is a problem of interest and widely studied. Traditionally, continuous deterministic methods based on differential equations have been used to deal with this problem. However discrete versions of some models are also available and sometimes more adequate. In this paper, we randomize the Pielou logistic equation in order to include the inherent uncertainty in modelling. Taking advantage of the method of transformation of random variables, we provide a full probabilistic description to the randomized Pielou logistic model via the computation of the probability density functions of the solution stochastic process, the steady state and the time until a certain level of population is reached. The theoretical results are illustrated by means of two examples, the first one consists of a numerical experiment and the second one shows an application to study the diffusion of a technology using real data.
△ Less
Submitted 7 January, 2019;
originally announced January 2019.
-
Model predictive control for transient frequency regulation of power networks
Authors:
Yifu Zhang,
Jorge Cortes
Abstract:
This paper introduces a control strategy to simultaneously achieve asymptotic stabilization and transient frequency regulation of power networks. The control command is generated by iteratively solving an open-loop control cost minimization problem with stability and transient frequency constraints. To deal with the non-convexity of the stability constraint, we propose a convexification strategy t…
▽ More
This paper introduces a control strategy to simultaneously achieve asymptotic stabilization and transient frequency regulation of power networks. The control command is generated by iteratively solving an open-loop control cost minimization problem with stability and transient frequency constraints. To deal with the non-convexity of the stability constraint, we propose a convexification strategy that uses a reference trajectory based on the system's current state. We also detail how to employ network partitions to implement the proposed control strategy in a distributed way, where each region only requires system information from neighboring regions to execute its controller.
△ Less
Submitted 11 November, 2019; v1 submitted 21 January, 2019;
originally announced January 2019.
-
A probabilistic analysis of a Beverton-Holt type discrete model: Theoretical and computing analysis
Authors:
J. -C. Cortés,
A. Navarro-Quiles,
J. -V. Romero,
M. -D. Roselló
Abstract:
In this paper a randomized version of the Beverton-Holt type discrete model is proposed. Its solution stochastic process and the random steady state are determined. Its first probability density function and second probability density function are obtained by means of the random variable transformation method, providing a full probabilistic description of the solution. Finally, several numerical e…
▽ More
In this paper a randomized version of the Beverton-Holt type discrete model is proposed. Its solution stochastic process and the random steady state are determined. Its first probability density function and second probability density function are obtained by means of the random variable transformation method, providing a full probabilistic description of the solution. Finally, several numerical examples are shown.
△ Less
Submitted 7 January, 2019;
originally announced January 2019.
-
Some notes to extend the study on random non-autonomous second order linear differential equations appearing in Mathematical Modeling
Authors:
J. Calatayud,
J. -C. Cortés,
M. Jornet
Abstract:
The objective of this paper is to complete certain issues from our recent contribution [J. Calatayud, J.-C. Cortés, M. Jornet, L. Villafuerte, Random non-autonomous second order linear differential equations: mean square analytic solutions and their statistical properties, Advances in Difference Equations, 2018:392, 1--29 (2018)]. We restate the main theorem therein that deals with the homogeneous…
▽ More
The objective of this paper is to complete certain issues from our recent contribution [J. Calatayud, J.-C. Cortés, M. Jornet, L. Villafuerte, Random non-autonomous second order linear differential equations: mean square analytic solutions and their statistical properties, Advances in Difference Equations, 2018:392, 1--29 (2018)]. We restate the main theorem therein that deals with the homogeneous case, so that the hypotheses are clearer and also easier to check in applications. Another novelty is that we tackle the non-homogeneous equation with a theorem of existence of mean square analytic solution and a numerical example. We also prove the uniqueness of mean square solution via an habitual Lipschitz condition that extends the classical Picard Theorem to mean square calculus. In this manner, the study on general random non-autonomous second order linear differential equations with analytic data processes is completely resolved. Finally, we relate our exposition based on random power series with polynomial chaos expansions and the random differential transform method, being the latter a reformulation of our random Fröbenius method.
△ Less
Submitted 17 November, 2018;
originally announced November 2018.
-
On the detectability of transiting planets orbiting white dwarfs using LSST
Authors:
Jorge Cortes,
David M. Kip**
Abstract:
White dwarfs are one of the few types of stellar objects for which we know almost nothing about the possible existence of companion planets. Recent evidence for metal contaminated atmospheres, circumstellar debris disks and transiting planetary debris all indicate that planets may be likely. However, white dwarf transit surveys are challenging due to the intrinsic faintness of such objects, the sh…
▽ More
White dwarfs are one of the few types of stellar objects for which we know almost nothing about the possible existence of companion planets. Recent evidence for metal contaminated atmospheres, circumstellar debris disks and transiting planetary debris all indicate that planets may be likely. However, white dwarf transit surveys are challenging due to the intrinsic faintness of such objects, the short timescale of the transits and the low transit probabilities due to their compact radii. The Large Synoptic Survey Telescope (LSST) offers a remedy to these problems as a deep, half-sky survey with fast exposures encompassing approximately 10 million white dwarfs with $r<24.5$ apparent magnitude. We simulate LSST photometric observations of 3.5 million white dwarfs over a ten-year period and calculate the detectability of companion planets with $P<10$ d via transits. We find typical detection rates in the range of $5 \times 10^{-6}$ to $4 \times 10^{-4}$ for Ceres-sized bodies to Earth-sized worlds, yielding $\sim 50$ to $4\,000$ detections for a 100% occurrence rate of each. For terrestrial planets in the continuously habitable zone, we find detection rates of $\sim 10^{-3}$ indicating that LSST would reveal hundreds of such worlds for occurrence rates in the range of 1% to 10%.
△ Less
Submitted 1 October, 2018;
originally announced October 2018.
-
Double-layered distributed transient frequency control with regional coordination for power networks
Authors:
Yifu Zhang,
Jorge Cortes
Abstract:
This paper proposes a control strategy for power systems with a two-layer structure that achieves global stabilization and, at the same time, delimits the transient frequencies of targeted buses to a desired safe interval. The first layer is a model predictive control that, in a receding horizon fashion, optimally allocates the power resources while softly respecting transient frequency constraint…
▽ More
This paper proposes a control strategy for power systems with a two-layer structure that achieves global stabilization and, at the same time, delimits the transient frequencies of targeted buses to a desired safe interval. The first layer is a model predictive control that, in a receding horizon fashion, optimally allocates the power resources while softly respecting transient frequency constraints. As the first layer control requires solving an optimization problem online, it only periodically samples the system state and updates its action. The second layer control, however, is implemented in real time, assisting the first layer to achieve frequency invariance and attractivity requirements.We show that the controllers designed at both layers are Lipschitz in the state. Furthermore, through network partition, they can be implemented in a distributed fashion, only requiring system information from neighboring partitions. Simulations on the IEEE 39-bus network illustrate our results.
△ Less
Submitted 27 September, 2018;
originally announced September 2018.
-
Twin Peaks: A possible signal in the production of resonances beyond special relativity
Authors:
G. Albalate,
J. M. Carmona,
J. L. Cortes,
J. J. Relancio
Abstract:
It is usually expected that quantum gravity corrections will modify somehow the symmetries of special relativity. In this paper we point out that the possibility of very low-energy (with respect to the Planck energy) modifications to special relativity in the framework of a deformed relativistic theory is not ruled out, and that, depending on the value of that scale, such a possibility could be te…
▽ More
It is usually expected that quantum gravity corrections will modify somehow the symmetries of special relativity. In this paper we point out that the possibility of very low-energy (with respect to the Planck energy) modifications to special relativity in the framework of a deformed relativistic theory is not ruled out, and that, depending on the value of that scale, such a possibility could be tested in accelerator physics. In particular, we take a simple example of a relativistic kinematics beyond special relativity from the literature, and obtain a remarkable effect: two correlated peaks ("twin peaks") associated to a single resonance. We analyze this phenomenology in detail, use LEP data to put constraints of the order of TeV on the scale of corrections to special relativity, and note that such an effect might be observable in a future very high-energy proton collider.
△ Less
Submitted 21 September, 2018;
originally announced September 2018.
-
Distributed transient frequency control in power networks
Authors:
Yifu Zhang,
Jorge Cortes
Abstract:
Modern power networks face increasing challenges in controlling their transient frequency behavior at acceptable levels due to low inertia and highly-dynamic units. This paper presents a distributed control strategy regulated on a subset of buses in a power network to maintain their transient frequencies in safe regions while preserving asymptotic stability of the overall system. Building on Lyapu…
▽ More
Modern power networks face increasing challenges in controlling their transient frequency behavior at acceptable levels due to low inertia and highly-dynamic units. This paper presents a distributed control strategy regulated on a subset of buses in a power network to maintain their transient frequencies in safe regions while preserving asymptotic stability of the overall system. Building on Lyapunov stability and set invariance theory, we formulate the transient frequency requirement and the asymptotic stability requirement as two separate constraints for the control input. Hereby, for each bus of interest, we synthesize a controller satisfying both constraints simultaneously. The controller is distributed and Lipschitz, guaranteeing the existence and uniqueness of the trajectories of the closed-loop system. Simulations on the IEEE 39-bus power network illustrate the results.
△ Less
Submitted 14 September, 2018;
originally announced September 2018.
-
Transient frequency control with regional cooperation for power networks
Authors:
Yifu Zhang,
Jorge Cortes
Abstract:
This paper proposes a centralized and a distributed sub-optimal control strategy to maintain in safe regions the real-time transient frequencies of a given collection of buses, and simultaneously preserve asymptotic stability of the entire network. In a receding horizon fashion, the centralized control input is obtained by iteratively solving an open-loop optimization aiming to minimize the aggreg…
▽ More
This paper proposes a centralized and a distributed sub-optimal control strategy to maintain in safe regions the real-time transient frequencies of a given collection of buses, and simultaneously preserve asymptotic stability of the entire network. In a receding horizon fashion, the centralized control input is obtained by iteratively solving an open-loop optimization aiming to minimize the aggregate control effort over controllers regulated on individual buses with transient frequency and stability constraints. Due to the non-convexity of the optimization, we propose a convexification technique by identifying a reference control input trajectory. We then extend the centralized control to a distributed scheme, where each subcontroller can only access the state information within a local region. Simulations on a IEEE-39 network illustrate our results.
△ Less
Submitted 14 September, 2018;
originally announced September 2018.
-
Distributed Transient Frequency Control for Power Networks with Stability and Performance Guarantees
Authors:
Yifu Zhang,
Jorge Cortes
Abstract:
This paper proposes a distributed strategy regulated on a subset of individual buses in a power network described by the swing equations to achieve transient frequency control while preserving asymptotic stability. Transient frequency control refers to the ability to maintain the transient frequency of each bus of interest in a given safe region, provided it is initially in it, and ii) if it is in…
▽ More
This paper proposes a distributed strategy regulated on a subset of individual buses in a power network described by the swing equations to achieve transient frequency control while preserving asymptotic stability. Transient frequency control refers to the ability to maintain the transient frequency of each bus of interest in a given safe region, provided it is initially in it, and ii) if it is initially not, then drive the frequency to converge to this region within a finite time, with a guaranteed convergence rate. Building on Lyapunov stability and set invariance theory, we formulate the stability and the transient frequency requirements as two separate constraints for the control input. Our design synthesizes a controller that satisfies both constraints simultaneously. The controller is distributed and Lipschitz, guaranteeing the existence and uniqueness of the trajectories of the closed-loop system. We further bound its magnitude and demonstrate its robustness against measurement inaccuracies. Simulations on the IEEE 39-bus power network illustrate our results.
△ Less
Submitted 14 September, 2018;
originally announced September 2018.
-
Hierarchical Selective Recruitment in Linear-Threshold Brain Networks, Part II: Multi-Layer Dynamics and Top-Down Recruitment
Authors:
Erfan Nozari,
Jorge Cortés
Abstract:
Goal-driven selective attention (GDSA) is a remarkable function that allows the complex dynamical networks of the brain to support coherent perception and cognition. Part I of this two-part paper proposes a new control-theoretic framework, termed hierarchical selective recruitment (HSR), to rigorously explain the emergence of GDSA from the brain's network structure and dynamics. This part complete…
▽ More
Goal-driven selective attention (GDSA) is a remarkable function that allows the complex dynamical networks of the brain to support coherent perception and cognition. Part I of this two-part paper proposes a new control-theoretic framework, termed hierarchical selective recruitment (HSR), to rigorously explain the emergence of GDSA from the brain's network structure and dynamics. This part completes the development of HSR by deriving conditions on the joint structure of the hierarchical subnetworks that guarantee top-down recruitment of the task-relevant part of each subnetwork by the subnetwork at the layer immediately above, while inhibiting the activity of task-irrelevant subnetworks at all the hierarchical layers. To further verify the merit and applicability of this framework, we carry out a comprehensive case study of selective listening in rodents and show that a small network with HSR-based structure and minimal size can explain the data with remarkable accuracy while satisfying the theoretical requirements of HSR. Our technical approach relies on the theory of switched systems and provides a novel converse Lyapunov theorem for state-dependent switched affine systems that is of independent interest.
△ Less
Submitted 18 December, 2020; v1 submitted 5 September, 2018;
originally announced September 2018.
-
Hierarchical Selective Recruitment in Linear-Threshold Brain Networks, Part I: Single-Layer Dynamics and Selective Inhibition
Authors:
Erfan Nozari,
Jorge Cortés
Abstract:
Goal-driven selective attention (GDSA) refers to the brain's function of prioritizing the activity of a task-relevant subset of its overall network to efficiently process relevant information while inhibiting the effects of distractions. Despite decades of research in neuroscience, a comprehensive understanding of GDSA is still lacking. We propose a novel framework using concepts and tools from co…
▽ More
Goal-driven selective attention (GDSA) refers to the brain's function of prioritizing the activity of a task-relevant subset of its overall network to efficiently process relevant information while inhibiting the effects of distractions. Despite decades of research in neuroscience, a comprehensive understanding of GDSA is still lacking. We propose a novel framework using concepts and tools from control theory as well as insights and structures from neuroscience. Central to this framework is an information-processing hierarchy with two main components: selective inhibition of task-irrelevant activity and top-down recruitment of task-relevant activity. We analyze the internal dynamics of each layer of the hierarchy described as a network with linear-threshold dynamics and derive conditions on its structure to guarantee existence and uniqueness of equilibria, asymptotic stability, and boundedness of trajectories. We also provide mechanisms that enforce selective inhibition using the biologically-inspired schemes of feedforward and feedback inhibition. Despite their differences, both lead to the same conclusion: the intrinsic dynamical properties of the (not-inhibited) task-relevant subnetworks are the sole determiner of the dynamical properties that are achievable under selective inhibition.
△ Less
Submitted 18 December, 2020; v1 submitted 5 September, 2018;
originally announced September 2018.
-
A Generalized Spectral Sha** Method for OFDM Signals
Authors:
Luis Díez,
José A. Cortés,
Francisco J. Cañete,
Eduardo Martos,
Salvador Iranzo
Abstract:
Orthogonal frequency division multiplexing (OFDM) signals with rectangularly windowed pulses exhibit low spectral confinement. Two approaches usually referred to as pulse-sha** and active interference cancellation (AIC) are classically employed to reduce the out-of-band emission (OOBE) without affecting the receiver. This paper proposes a spectral sha** method that generalizes and unifies thes…
▽ More
Orthogonal frequency division multiplexing (OFDM) signals with rectangularly windowed pulses exhibit low spectral confinement. Two approaches usually referred to as pulse-sha** and active interference cancellation (AIC) are classically employed to reduce the out-of-band emission (OOBE) without affecting the receiver. This paper proposes a spectral sha** method that generalizes and unifies these two strategies. To this end, the OFDM carriers are shaped with novel pulses, referred to as generalized pulses, that consist of the ones used in conventional OFDM systems plus a series of cancellation terms aimed at reducing the OOBE of the former. Hence, each generalized pulse embeds all the terms required to reduce its spectrum in the desired bands. This leads to a data-independent optimization problem that notably simplifies the implementation complexity and allows the analytical calculation of the resulting power spectral density (PSD), which in most methods found in the literature can only be estimated by means of simulations. As an example of its performance, the proposed technique allows complying with the stringent PSD mask imposed by the EN 50561-1 with a data carrier loss lower than 4%. By contrasts, 28% of the data carriers have to be nulled when pulse-sha** is employed in this scenario.
△ Less
Submitted 25 July, 2018;
originally announced July 2018.
-
Improving the approximation of the first and second order statistics of the response process to the random Legendre differential equation
Authors:
J. Calatayud,
J. -C. Cortés,
M. Jornet
Abstract:
In this paper, we deal with uncertainty quantification for the random Legendre differential equation, with input coefficient $A$ and initial conditions $X_0$ and $X_1$. In a previous study [Calbo G. et al, Comput. Math. Appl., 61(9), 2782--2792 (2011)], a mean square convergent power series solution on $(-1/e,1/e)$ was constructed, under the assumptions of mean fourth integrability of $X_0$ and…
▽ More
In this paper, we deal with uncertainty quantification for the random Legendre differential equation, with input coefficient $A$ and initial conditions $X_0$ and $X_1$. In a previous study [Calbo G. et al, Comput. Math. Appl., 61(9), 2782--2792 (2011)], a mean square convergent power series solution on $(-1/e,1/e)$ was constructed, under the assumptions of mean fourth integrability of $X_0$ and $X_1$, independence, and at most exponential growth of the absolute moments of $A$. In this paper, we relax these conditions to construct an $\mathrm{L}^p$ solution ($1\leq p\leq\infty$) to the random Legendre differential equation on the whole domain $(-1,1)$, as in its deterministic counterpart. Our hypotheses assume no independence and less integrability of $X_0$ and $X_1$. Moreover, the growth condition on the moments of $A$ is characterized by the boundedness of $A$, which simplifies the proofs significantly. We also provide approximations of the expectation and variance of the response process. The numerical experiments show the wide applicability of our findings. A comparison with Monte Carlo simulations and gPC expansions is performed.
△ Less
Submitted 3 July, 2018;
originally announced July 2018.
-
Observers and their notion of spacetime beyond special relativity
Authors:
J. M. Carmona,
J. L. Cortes,
J. J. Relancio
Abstract:
It is plausible that quantum gravity effects may lead us to a description of Nature beyond the framework of special relativity. In this case, either the relativity principle is broken or it is maintained. These two scenarios (a violation or a deformation of special relativity) are very different, both conceptually and phenomenologically. We discuss some of their implications on the description of…
▽ More
It is plausible that quantum gravity effects may lead us to a description of Nature beyond the framework of special relativity. In this case, either the relativity principle is broken or it is maintained. These two scenarios (a violation or a deformation of special relativity) are very different, both conceptually and phenomenologically. We discuss some of their implications on the description of events for different observers and the notion of spacetime.
△ Less
Submitted 5 June, 2018;
originally announced June 2018.
-
A New Approach to the Statistical Analysis of Non-Central Complex Gaussian Quadratic Forms with Applications
Authors:
Pablo Ramírez-Espinosa,
Laureano Moreno-Pozas,
José F. Paris,
José A. Cortés,
Eduardo Martos-Naya
Abstract:
This paper proposes a novel approach to the statistical characterization of non-central complex Gaussian quadratic forms (CGQFs). Its key strategy is the generation of an auxiliary random variable (RV) that converges in distribution to the original CGQF. Since the mean squared error between both is given in a simple closed-form formulation, the auxiliary RV can be particularized to achieve the req…
▽ More
This paper proposes a novel approach to the statistical characterization of non-central complex Gaussian quadratic forms (CGQFs). Its key strategy is the generation of an auxiliary random variable (RV) that converges in distribution to the original CGQF. Since the mean squared error between both is given in a simple closed-form formulation, the auxiliary RV can be particularized to achieve the required accuracy. The technique is valid for both definite and indefinite CGQFs and yields simple expressions of the probability density function (PDF) and the cumulative distribution function (CDF) that involve only elementary functions. This overcomes a major limitation of previous approaches, in which the complexity of the resulting PDF and CDF prevents from using them for subsequent calculations. To illustrate this end, the proposed method is applied to maximal ratio combining systems over correlated Rician channels, for which the outage probability and the average bit error rate are derived.
△ Less
Submitted 15 June, 2018; v1 submitted 23 May, 2018;
originally announced May 2018.
-
Approximation of the probability density function of the randomized heat equation with non-homogeneous boundary conditions
Authors:
J. Calatayud,
J. C. Cortés,
M. Jornet
Abstract:
This paper deals with the randomized heat equation defined on a general bounded interval $[L_1,L_2]$ and with non-homogeneous boundary conditions. The solution is a stochastic process that can be related, via changes of variable, with the solution stochastic process of the random heat equation defined on $[0,1]$ with homogeneous boundary conditions. Results in the extant literature establish condi…
▽ More
This paper deals with the randomized heat equation defined on a general bounded interval $[L_1,L_2]$ and with non-homogeneous boundary conditions. The solution is a stochastic process that can be related, via changes of variable, with the solution stochastic process of the random heat equation defined on $[0,1]$ with homogeneous boundary conditions. Results in the extant literature establish conditions under which the probability density function of the solution process to the random heat equation on $[0,1]$ with homogeneous boundary conditions can be approximated. Via the changes of variable and the Random Variable Transformation technique, we set mild conditions under which the probability density function of the solution process to the random heat equation on a general bounded interval $[L_1,L_2]$ and with non-homogeneous boundary conditions can be approximated uniformly or pointwise. Furthermore, we provide sufficient conditions in order that the expectation and the variance of the solution stochastic process can be computed from the proposed approximations of the probability density function. Numerical examples are performed in the case that the initial condition process has a certain Karhunen-Loève expansion, being Gaussian and non-Gaussian.
△ Less
Submitted 9 May, 2018;
originally announced May 2018.
-
Exploiting timing information in event-triggered stabilization of linear systems with disturbances
Authors:
Mohammad Javad Khojasteh,
Mojtaba Hedayatpour,
Jorge Cortes,
Massimo Franceschetti
Abstract:
In the same way that subsequent pauses in spoken language are used to convey information, it is also possible to transmit information in communication networks not only by message content, but also with its timing. This paper presents an event-triggering strategy that utilizes timing information by transmitting in a state-dependent fashion. We consider the stabilization of a continuous-time, time-…
▽ More
In the same way that subsequent pauses in spoken language are used to convey information, it is also possible to transmit information in communication networks not only by message content, but also with its timing. This paper presents an event-triggering strategy that utilizes timing information by transmitting in a state-dependent fashion. We consider the stabilization of a continuous-time, time-invariant, linear plant over a digital communication channel with bounded delay and subject to bounded plant disturbances and establish two main results. On the one hand, we design an encoding-decoding scheme that guarantees a sufficient information transmission rate for stabilization. On the other hand, we determine a lower bound on the information transmission rate necessary for stabilization by any control policy.
△ Less
Submitted 21 July, 2020; v1 submitted 4 May, 2018;
originally announced May 2018.
-
Tutorial on dynamic average consensus: the problem, its applications, and the algorithms
Authors:
Solmaz S. Kia,
Bryan Van Scoy,
Jorge Cortes,
Randy A. Freeman,
Kevin M. Lynch,
Sonia Martinez
Abstract:
This paper considers the problem of dynamic average consensus algorithm design for a group of communicating agents. This problem consists of designing a distributed algorithm that enables a group of agents with communication and computation capabilities to use local interactions to track the average of locally time-varying reference signals at each agent. The objective of this article is to provid…
▽ More
This paper considers the problem of dynamic average consensus algorithm design for a group of communicating agents. This problem consists of designing a distributed algorithm that enables a group of agents with communication and computation capabilities to use local interactions to track the average of locally time-varying reference signals at each agent. The objective of this article is to provide an overview of the dynamic average consensus problem that serves as a comprehensive introduction to the problem definition, its applications, and the distributed methods available to solve them. Our primary intention, rather than providing a full account of all the available literature, is to introduce the reader, in a tutorial fashion, to the main ideas behind dynamic average consensus algorithms, the performance trade-offs considered in their design, and the requirements needed for their analysis and convergence guarantees.
△ Less
Submitted 24 November, 2018; v1 submitted 13 March, 2018;
originally announced March 2018.
-
Hybrid interconnection of iterative bidding and power network dynamics for frequency regulation and optimal dispatch
Authors:
Tjerk Stegink,
Ashish Cherukuri,
Claudio De Persis,
Arjan van der Schaft,
Jorge Cortés
Abstract:
This paper considers a real-time electricity market involving an independent system operator (ISO) and a group of strategic generators. The ISO operates a market where generators bid prices at which there are willing to provide power. The ISO makes power generation assignments with the goal of solving the economic dispatch problem and regulating the network frequency. We propose a multi-rate hybri…
▽ More
This paper considers a real-time electricity market involving an independent system operator (ISO) and a group of strategic generators. The ISO operates a market where generators bid prices at which there are willing to provide power. The ISO makes power generation assignments with the goal of solving the economic dispatch problem and regulating the network frequency. We propose a multi-rate hybrid algorithm for bidding and market clearing that combines the discrete nature of iterative bidding with the continuous nature of the frequency evolution in the power network. We establish sufficient upper bounds on the inter-event times that guarantee that the proposed algorithm asymptotically converges to an equilibrium corresponding to an efficient Nash equilibrium and zero frequency deviation. Our technical analysis builds on the characterization of the robustness properties of the continuous-time version of the bidding update process interconnected with the power network dynamics via the identification of a novel LISS-Lyapunov function. Simulations on the IEEE 14-bus system illustrate our results.
△ Less
Submitted 12 March, 2018;
originally announced March 2018.
-
On the approximation of the probability density function of the randomized heat equation
Authors:
J. Calatayud,
J. -C. Cortes,
M. Jornet
Abstract:
In this paper we study the randomized heat equation with homogeneous boundary conditions. The diffusion coeffcient is assumed to be a random variable and the initial condition is treated as a stochastic process. The solution of this randomized partial differential equation problem is a stochastic process, which is given by a random series obtained via the classical method of separation of variable…
▽ More
In this paper we study the randomized heat equation with homogeneous boundary conditions. The diffusion coeffcient is assumed to be a random variable and the initial condition is treated as a stochastic process. The solution of this randomized partial differential equation problem is a stochastic process, which is given by a random series obtained via the classical method of separation of variables. Any stochastic process is determined by its finite-dimensional joint distributions. In this paper, the goal is to obtain approximations to the probability density function of the solution (the first finite-dimensional distributions) under mild conditions. Since the solution is expressed as a random series, we perform approximations of its probability density function. We use two approaches: broadly speaking, first, dealing with the random Fourier coefficients of the random series, and second, taking advantage of the Karhunen-Loeve expansion of the initial condition stochastic process. Finally, several numerical examples illustrating the potentiality of our findings with regard to both approaches are presented.
△ Less
Submitted 8 February, 2018;
originally announced February 2018.
-
On the approximation of the probability density function of the randomized non-autonomous complete linear differential equation
Authors:
J. Catatayud,
J. -C. Cortes,
M. Jornet
Abstract:
In this paper we study the randomized non-autonomous complete linear differential equation. The diffusion coefficient and the source term in the differential equation are assumed to be stochastic processes and the initial condition is treated as a random variable on an underlying complete probability space. The solution to this random differential equation is a stochastic process. Any stochastic p…
▽ More
In this paper we study the randomized non-autonomous complete linear differential equation. The diffusion coefficient and the source term in the differential equation are assumed to be stochastic processes and the initial condition is treated as a random variable on an underlying complete probability space. The solution to this random differential equation is a stochastic process. Any stochastic process is determined by its finite-dimensional joint distributions. In this paper, the main goal is to obtain the probability density function of the solution process (the first finite-dimensional distribution) under mild conditions. The solution process is expressed by means of Lebesgue integrals of the data stochastic processes, which, in general, cannot be computed in an exact manner, therefore approximations for its probability density function are constructed. The key tools applied to construct the approximations are the Random Variable Transformation technique and Karhunen-Loeve expansions. Our results can be applied to a large variety of examples. Finally, several numerical experiments illustrate the potentiality of our findings.
△ Less
Submitted 8 February, 2018;
originally announced February 2018.