-
Converse Theorems for Certificates of Safety and Stability
Authors:
Pol Mestres,
Jorge Cortés
Abstract:
Motivated by the key role of control barrier functions (CBFs) in assessing safety and enabling the synthesis of safe controllers in nonlinear control systems, this paper presents a suite of converse results on CBFs. Given any safe set, we first identify a set of general sufficient conditions which guarantee the existence of a CBF. Our technical analysis also enables us to define an extended notion…
▽ More
Motivated by the key role of control barrier functions (CBFs) in assessing safety and enabling the synthesis of safe controllers in nonlinear control systems, this paper presents a suite of converse results on CBFs. Given any safe set, we first identify a set of general sufficient conditions which guarantee the existence of a CBF. Our technical analysis also enables us to define an extended notion of CBF which is always guaranteed to exist if the set is safe. We next turn our attention to the problem of joint safety and stability, and give conditions under which the notions of control Lyapunov-barrier function (CLBF) and compatible control Lyapunov function (CLF) and CBF pair are guaranteed to exist. Finally, we identify conditions under which a CLBF and a compatible CLF-CBF pair can be constructed from a non-compatible CLF-CBF pair. Throughout the paper, we intersperse different examples and counterexamples to motivate our results and position them within the state of the art.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
Sensor-Based Distributionally Robust Control for Safe Robot Navigation in Dynamic Environments
Authors:
Kehan Long,
Yinzhuang Yi,
Zhirui Dai,
Sylvia Herbert,
Jorge Cortés,
Nikolay Atanasov
Abstract:
We introduce a novel method for safe mobile robot navigation in dynamic, unknown environments, utilizing onboard sensing to impose safety constraints without the need for accurate map reconstruction. Traditional methods typically rely on detailed map information to synthesize safe stabilizing controls for mobile robots, which can be computationally demanding and less effective, particularly in dyn…
▽ More
We introduce a novel method for safe mobile robot navigation in dynamic, unknown environments, utilizing onboard sensing to impose safety constraints without the need for accurate map reconstruction. Traditional methods typically rely on detailed map information to synthesize safe stabilizing controls for mobile robots, which can be computationally demanding and less effective, particularly in dynamic operational conditions. By leveraging recent advances in distributionally robust optimization, we develop a distributionally robust control barrier function (DR-CBF) constraint that directly processes range sensor data to impose safety constraints. Coupling this with a control Lyapunov function (CLF) for path tracking, we demonstrate that our CLF-DR-CBF control synthesis method achieves safe, efficient, and robust navigation in uncertain dynamic environments. We demonstrate the effectiveness of our approach in simulated and real autonomous robot navigation experiments, marking a substantial advancement in real-time safety guarantees for mobile robots.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Two-Shot Optimization of Compositionally Complex Refractory Alloys
Authors:
James D. Paramore,
Brady G. Butler,
Michael T. Hurst,
Trevor Hastings,
Daniel O. Lewis,
Eli Norris,
Benjamin Barkai,
Joshua Cline,
Braden Miller,
Jose Cortes,
Ibrahim Karaman,
George M. Pharr,
Raymundo Arroyave
Abstract:
In this paper, a synergistic computational/experimental approach is presented for the rapid discovery and characterization of novel alloys within the compositionally complex (i.e., "medium/high entropy") refractory alloy space of Ti-V-Nb-Mo-Hf-Ta-W. This was demonstrated via a material design cycle aimed at simultaneously maximizing the objective properties of high specific hardness (hardness norm…
▽ More
In this paper, a synergistic computational/experimental approach is presented for the rapid discovery and characterization of novel alloys within the compositionally complex (i.e., "medium/high entropy") refractory alloy space of Ti-V-Nb-Mo-Hf-Ta-W. This was demonstrated via a material design cycle aimed at simultaneously maximizing the objective properties of high specific hardness (hardness normalized by density) and high specific elastic modulus (elastic modulus normalized by density). This framework utilizes high-throughput computational thermodynamics and intelligent filtering to first reduce the untenably large alloy space to a feasible size, followed by an iterative design cycle comprised of high-throughput synthesis, processing, and characterization in batch sizes of 24 alloys. After the first iteration, Bayesian optimization was utilized to inform selection of the next batch of 24 alloys. This paper demonstrates the benefit of using batch Bayesian optimization (BBO) in material design, as significant gains in the objective properties were observed after only two iterations or "shots" of the design cycle without using any prior knowledge or physical models of how the objective properties relate to the design inputs (i.e., composition). Specifically, the hypervolume of the Pareto front increased by 54% between the first and second iterations. Furthermore, 10 of the 24 alloys in the second iteration dominated all alloys from the first iteration.
△ Less
Submitted 11 May, 2024;
originally announced May 2024.
-
Probing the relationship between early star formation and CO in the dwarf irregular galaxy WLM with JWST
Authors:
Haylee N. Archer,
Deidre A. Hunter,
Bruce G. Elmegreen,
Monica Rubio,
Phil Cigan,
Rogier A. Windhorst,
Juan R. Cortés,
Rolf A. Jansen
Abstract:
Wolf-Lundmark-Melotte (WLM) is a Local Group dwarf irregular (dIrr) galaxy with a metallicity 13% of solar. At 1 Mpc, the relative isolation of WLM provides a unique opportunity to investigate the internal mechanisms of star formation at low metallicities. The earliest stages of star formation in larger spirals occur in embedded clusters within molecular clouds, but dIrrs lack the dust, heavy meta…
▽ More
Wolf-Lundmark-Melotte (WLM) is a Local Group dwarf irregular (dIrr) galaxy with a metallicity 13% of solar. At 1 Mpc, the relative isolation of WLM provides a unique opportunity to investigate the internal mechanisms of star formation at low metallicities. The earliest stages of star formation in larger spirals occur in embedded clusters within molecular clouds, but dIrrs lack the dust, heavy metals, and organized structure of spirals believed necessary to collapse the molecular clouds into stars. Despite actively forming stars, the early stages of star formation in dIrrs is not well understood. We examine the relationship between early star formation and molecular clouds at low metallicities. We utilize ALMA-detected CO cores, $\textit{JWST}$ near-infrared (NIR) images (F090W, F150W, F250M, and F430M), and $\textit{GALEX}$ far-ultraviolet (FUV) images of WLM to trace molecular clouds, early star formation, and longer star formation timescales respectively. We compare clumps of NIR-bright sources (referred to as objects) categorized into three types based on their proximity to FUV sources and CO cores. We find objects, independent of their location, have similar colors and magnitudes and no discernible difference in temperature. However, we find that objects near CO have higher masses than objects away from CO, independent of proximity to FUV. Additionally, objects near CO are coincident with Spitzer 8 $μ$m sources at a higher frequency than objects elsewhere in WLM. This suggests objects near CO may be embedded star clusters at an earlier stage of star formation, but accurate age estimates for all objects are required for confirmation.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
Approaches to photon absorption in a Lorentz invariance violation scenario
Authors:
J. M. Carmona,
J. L. Cortés,
F. Rescic,
M. A. Reyes,
T. Terzić,
F. I. Vrban
Abstract:
We examine the Universe's transparency to gamma rays within a Lorentz Invariance Violation (LIV) framework, focusing on photon subluminal quadratic corrections driven by a high-energy scale. Based on an explicit calculation, we provide a new expression for the cross section that overcomes the limitations of previous approaches and refines existing constraints for the LIV scale, while we introduce…
▽ More
We examine the Universe's transparency to gamma rays within a Lorentz Invariance Violation (LIV) framework, focusing on photon subluminal quadratic corrections driven by a high-energy scale. Based on an explicit calculation, we provide a new expression for the cross section that overcomes the limitations of previous approaches and refines existing constraints for the LIV scale, while we introduce a new approximation that may be useful in LIV scenarios beyond effective field theory. These improvements appear essential for setting constraints on LIV effects with future observations at ultra-high energies, where previous approximations may fall short.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Particle Acceleration and Nonthermal Emission at the Intrabinary Shock of Spider Pulsars. I: Non-Radiative Simulations
Authors:
Jorge Cortés,
Lorenzo Sironi
Abstract:
Spider pulsars are compact binary systems composed of a millisecond pulsar and a low-mass companion. Their X-ray emission - modulated on the orbital period - is interpreted as synchrotron radiation from high-energy electrons accelerated at the intrabinary shock. We perform global two-dimensional particle-in-cell simulations of the intrabinary shock, assuming that the shock wraps around the compani…
▽ More
Spider pulsars are compact binary systems composed of a millisecond pulsar and a low-mass companion. Their X-ray emission - modulated on the orbital period - is interpreted as synchrotron radiation from high-energy electrons accelerated at the intrabinary shock. We perform global two-dimensional particle-in-cell simulations of the intrabinary shock, assuming that the shock wraps around the companion star. When the pulsar spin axis is nearly aligned with the orbital angular momentum, we find that the magnetic energy of the relativistic pulsar wind - composed of magnetic stripes of alternating field polarity - efficiently converts to particle energy at the intrabinary shock, via shock-driven reconnection. The highest energy particles accelerated by reconnection can stream ahead of the shock and be further accelerated by the upstream motional electric field. In the downstream, further energization is governed by stochastic interactions with the plasmoids / magnetic islands generated by reconnection. We also extend our earlier work (Cortés & Sironi 2022) by performing simulations that have a larger (and more realistic) companion size and a more strongly magnetized pulsar wind. We confirm that our first-principles synchrotron spectra and lightcurves are in good agreement with X-ray observations.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
Distributionally Robust Policy and Lyapunov-Certificate Learning
Authors:
Kehan Long,
Jorge Cortes,
Nikolay Atanasov
Abstract:
This article presents novel methods for synthesizing distributionally robust stabilizing neural controllers and certificates for control systems under model uncertainty. A key challenge in designing controllers with stability guarantees for uncertain systems is the accurate determination of and adaptation to shifts in model parametric uncertainty during online deployment. We tackle this with a nov…
▽ More
This article presents novel methods for synthesizing distributionally robust stabilizing neural controllers and certificates for control systems under model uncertainty. A key challenge in designing controllers with stability guarantees for uncertain systems is the accurate determination of and adaptation to shifts in model parametric uncertainty during online deployment. We tackle this with a novel distributionally robust formulation of the Lyapunov derivative chance constraint ensuring a monotonic decrease of the Lyapunov certificate. To avoid the computational complexity involved in dealing with the space of probability measures, we identify a sufficient condition in the form of deterministic convex constraints that ensures the Lyapunov derivative constraint is satisfied. We integrate this condition into a loss function for training a neural network-based controller and show that, for the resulting closed-loop system, the global asymptotic stability of its equilibrium can be certified with high confidence, even with Out-of-Distribution (OoD) model uncertainties. To demonstrate the efficacy and efficiency of the proposed methodology, we compare it with an uncertainty-agnostic baseline approach and several reinforcement learning approaches in two control problems in simulation.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
Designing Poisson Integrators Through Machine Learning
Authors:
Miguel Vaquero,
David Martín de Diego,
Jorge Cortés
Abstract:
This paper presents a general method to construct Poisson integrators, i.e., integrators that preserve the underlying Poisson geometry. We assume the Poisson manifold is integrable, meaning there is a known local symplectic groupoid for which the Poisson manifold serves as the set of units. Our constructions build upon the correspondence between Poisson diffeomorphisms and Lagrangian bisections, w…
▽ More
This paper presents a general method to construct Poisson integrators, i.e., integrators that preserve the underlying Poisson geometry. We assume the Poisson manifold is integrable, meaning there is a known local symplectic groupoid for which the Poisson manifold serves as the set of units. Our constructions build upon the correspondence between Poisson diffeomorphisms and Lagrangian bisections, which allows us to reformulate the design of Poisson integrators as solutions to a certain PDE (Hamilton-Jacobi). The main novelty of this work is to understand the Hamilton-Jacobi PDE as an optimization problem, whose solution can be easily approximated using machine learning related techniques. This research direction aligns with the current trend in the PDE and machine learning communities, as initiated by Physics- Informed Neural Networks, advocating for designs that combine both physical modeling (the Hamilton-Jacobi PDE) and data.
△ Less
Submitted 29 March, 2024;
originally announced March 2024.
-
On the Statistical Analysis of the Multipath Propagation Model Parameters for Power Line Communications
Authors:
Alberto Pittolo,
Irene Povedano,
José A. Cortés,
Francisco J. Cañete,
Andrea M. Tonello
Abstract:
This paper proposes a fitting procedure that aims to identify the statistical properties of the parameters that describe the most widely known multipath propagation model (MPM) used in power line communication (PLC). Firstly, the MPM parameters are computed by fitting the theoretical model to a large database of single-input-single-output (SISO) experimental measurements, carried out in typical ho…
▽ More
This paper proposes a fitting procedure that aims to identify the statistical properties of the parameters that describe the most widely known multipath propagation model (MPM) used in power line communication (PLC). Firstly, the MPM parameters are computed by fitting the theoretical model to a large database of single-input-single-output (SISO) experimental measurements, carried out in typical home premises. Secondly, the determined parameters are substituted back into the MPM formulation with the aim to prove their faithfulness, thus validating the proposed computation procedure. Then, the MPM parameters properties have been evaluated. In particular, the statistical behavior is established identifying the best fitting distribution by comparing the most common distributions through the use of the likelihood function. Moreover, the relationship among the different paths is highlighted in terms of statistical correlation. The identified statistical behavior for the MPM parameters confirms the assumptions of the previous works that, however, were mostly established in an heuristic way.
△ Less
Submitted 2 May, 2024; v1 submitted 26 March, 2024;
originally announced March 2024.
-
Unsupervised Learning for Equitable DER Control
Authors:
Zhenyi Yuan,
Guido Cavraro,
Ahmed S. Zamzam,
Jorge Cortés
Abstract:
In the context of managing distributed energy resources (DERs) within distribution networks (DNs), this work focuses on the task of develo** local controllers. We propose an unsupervised learning framework to train functions that can closely approximate optimal power flow (OPF) solutions. The primary aim is to establish specific conditions under which these learned functions can collectively gui…
▽ More
In the context of managing distributed energy resources (DERs) within distribution networks (DNs), this work focuses on the task of develo** local controllers. We propose an unsupervised learning framework to train functions that can closely approximate optimal power flow (OPF) solutions. The primary aim is to establish specific conditions under which these learned functions can collectively guide the network towards desired configurations asymptotically, leveraging an incremental control approach. The flexibility of the proposed methodology allows to integrate fairness-driven components into the cost function associated with the OPF problem. This addition seeks to mitigate power curtailment disparities among DERs, thereby promoting equitable power injections across the network. To demonstrate the effectiveness of the proposed approach, power flow simulations are conducted using the IEEE 37-bus feeder. The findings not only showcase the guaranteed system stability but also underscore its improved overall performance.
△ Less
Submitted 16 March, 2024;
originally announced March 2024.
-
Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions
Authors:
Giannis Delimpaltadakis,
Jorge Cortés,
W. P. M. H. Heemels
Abstract:
Projected Dynamical Systems (PDSs) form a class of discontinuous constrained dynamical systems, and have been used widely to solve optimization problems and variational inequalities. Recently, they have also gained significant attention for control purposes, such as high-performance integrators, saturated control and feedback optimization. In this work, we establish that locally Lipschitz continuo…
▽ More
Projected Dynamical Systems (PDSs) form a class of discontinuous constrained dynamical systems, and have been used widely to solve optimization problems and variational inequalities. Recently, they have also gained significant attention for control purposes, such as high-performance integrators, saturated control and feedback optimization. In this work, we establish that locally Lipschitz continuous dynamics, involving Control Barrier Functions (CBFs), namely CBF-based dynamics, approximate PDSs. Specifically, we prove that trajectories of CBF-based dynamics uniformly converge to trajectories of PDSs, as a CBF-parameter is taken to infinity. Towards this, we also prove that CBF-based dynamics are perturbations of PDSs, with quantitative bounds on the perturbation. Our results pave the way to implement discontinuous PDS-based controllers in a continuous fashion, employing CBFs. Moreover, they can be employed to numerically simulate PDSs, overcoming disadvantages of existing discretization schemes, such as computing projections to possibly non-convex sets. Finally, this bridge between CBFs and PDSs may yield other potential benefits, including novel insights on stability.
△ Less
Submitted 8 March, 2024; v1 submitted 1 March, 2024;
originally announced March 2024.
-
Distributed Safe Navigation of Multi-Agent Systems using Control Barrier Function-Based Optimal Controllers
Authors:
Pol Mestres,
Carlos Nieto-Granda,
Jorge Cortés
Abstract:
This paper proposes a distributed controller synthesis framework for safe navigation of multi-agent systems. We leverage control barrier functions to formulate collision avoidance with obstacles and teammates as constraints on the control input for a state-dependent network optimization problem that encodes team formation and the navigation task. Our algorithmic solution is valid for general nonli…
▽ More
This paper proposes a distributed controller synthesis framework for safe navigation of multi-agent systems. We leverage control barrier functions to formulate collision avoidance with obstacles and teammates as constraints on the control input for a state-dependent network optimization problem that encodes team formation and the navigation task. Our algorithmic solution is valid for general nonlinear control dynamics and optimization problems. The resulting controller is distributed, satisfies the safety constraints at all times, and is asymptotically optimal. We illustrate its performance in a team of differential-drive robots in a variety of complex environments, both in simulation and in hardware.
△ Less
Submitted 1 May, 2024; v1 submitted 9 February, 2024;
originally announced February 2024.
-
Disentangling high order effects in the transfer entropy
Authors:
Sebastiano Stramaglia,
Luca Faes,
Jesus M. Cortes,
Daniele Marinazzo
Abstract:
Transfer Entropy (TE), the primary method for determining directed information flow within a network system, can exhibit bias - either in deficiency or excess - during both pairwise and conditioned calculations, owing to high-order dependencies among the dynamic processes under consideration and the remaining processes in the system used for conditioning. Here, we propose a novel approach. Instead…
▽ More
Transfer Entropy (TE), the primary method for determining directed information flow within a network system, can exhibit bias - either in deficiency or excess - during both pairwise and conditioned calculations, owing to high-order dependencies among the dynamic processes under consideration and the remaining processes in the system used for conditioning. Here, we propose a novel approach. Instead of conditioning TE on all network processes except the driver and target, as in its fully conditioned version, or not conditioning at all, as in the pairwise approach, our method searches for both the multiplets of variables that maximize information flow and those that minimize it. This provides a decomposition of TE into unique, redundant, and synergistic atoms. Our approach enables the quantification of the relative importance of high-order effects compared to pure two-body effects in information transfer between two processes, while also highlighting the processes that contribute to building these high-order effects alongside the driver. We demonstrate the application of our approach in climatology by analyzing data from El Niño and the Southern Oscillation.
△ Less
Submitted 13 February, 2024; v1 submitted 5 February, 2024;
originally announced February 2024.
-
Optimal Power Flow Pursuit via Feedback-based Safe Gradient Flow
Authors:
Antonin Colot,
Yiting Chen,
Bertrand Cornelusse,
Jorge Cortes,
Emiliano Dall'Anese
Abstract:
This paper considers the problem of controlling the operation of inverter-interfaced distributed energy resources (DERs) in a distribution grid, to achieve operational and performance goals with limited system-level information. We develop an online feedback optimization method to drive the DERs' power setpoints to solutions of an AC optimal power flow (OPF) problem based only on voltage measureme…
▽ More
This paper considers the problem of controlling the operation of inverter-interfaced distributed energy resources (DERs) in a distribution grid, to achieve operational and performance goals with limited system-level information. We develop an online feedback optimization method to drive the DERs' power setpoints to solutions of an AC optimal power flow (OPF) problem based only on voltage measurements (and without requiring measurements of the power consumption of non-controllable assets). The proposed method - grounded on the theory of control barrier functions - is based on a continuous approximation of the projected gradient flow, appropriately modified to accommodate measurements from the power network. We provide results in terms of local exponential stability, and assess the robustness to errors in the measurements and in the system Jacobian matrix. We show that the proposed method ensures anytime satisfaction of the voltage constraints when no model and measurement errors are present; if these errors are present and are small, the voltage violation is practically negligible. We also discuss extensions of the framework to virtual power plant setups. Numerical experiments on a 93-bus distribution system and with realistic load and production profiles show a superior performance in terms of voltage regulation relative to existing methods.
△ Less
Submitted 2 May, 2024; v1 submitted 19 December, 2023;
originally announced December 2023.
-
White Paper and Roadmap for Quantum Gravity Phenomenology in the Multi-Messenger Era
Authors:
R. Alves Batista,
G. Amelino-Camelia,
D. Boncioli,
J. M. Carmona,
A. di Matteo,
G. Gubitosi,
I. Lobo,
N. E. Mavromatos,
C. Pfeifer,
D. Rubiera-Garcia,
E. N. Saridakis,
T. Terzić,
E. C. Vagenas,
P. Vargas Moniz,
H. Abdalla,
M. Adamo,
A. Addazi,
F. K. Anagnostopoulos,
V. Antonelli,
M. Asorey,
A. Ballesteros,
S. Basilakos,
D. Benisty,
M. Boettcher,
J. Bolmont
, et al. (80 additional authors not shown)
Abstract:
The unification of quantum mechanics and general relativity has long been elusive. Only recently have empirical predictions of various possible theories of quantum gravity been put to test. The dawn of multi-messenger high-energy astrophysics has been tremendously beneficial, as it allows us to study particles with much higher energies and travelling much longer distances than possible in terrestr…
▽ More
The unification of quantum mechanics and general relativity has long been elusive. Only recently have empirical predictions of various possible theories of quantum gravity been put to test. The dawn of multi-messenger high-energy astrophysics has been tremendously beneficial, as it allows us to study particles with much higher energies and travelling much longer distances than possible in terrestrial experiments, but more progress is needed on several fronts.
A thorough appraisal of current strategies and experimental frameworks, regarding quantum gravity phenomenology, is provided here. Our aim is twofold: a description of tentative multimessenger explorations, plus a focus on future detection experiments.
As the outlook of the network of researchers that formed through the COST Action CA18108 "Quantum gravity phenomenology in the multi-messenger approach (QG-MM)", in this work we give an overview of the desiderata that future theoretical frameworks, observational facilities, and data-sharing policies should satisfy in order to advance the cause of quantum gravity phenomenology.
△ Less
Submitted 12 December, 2023; v1 submitted 1 December, 2023;
originally announced December 2023.
-
Online Regulation of Dynamical Systems to Solutions of Constrained Optimization Problems
Authors:
Yiting Chen,
Liliaokeawawa Cothren,
Jorge Cortes,
Emiliano Dall'Anese
Abstract:
This paper considers the problem of regulating a dynamical system to equilibria that are defined as solutions of an input- and state-constrained optimization problem. To solve this regulation task, we design a state feedback controller based on a continuous approximation of the projected gradient flow. We first show that the equilibria of the interconnection between the plant and the proposed cont…
▽ More
This paper considers the problem of regulating a dynamical system to equilibria that are defined as solutions of an input- and state-constrained optimization problem. To solve this regulation task, we design a state feedback controller based on a continuous approximation of the projected gradient flow. We first show that the equilibria of the interconnection between the plant and the proposed controller correspond to critical points of the constrained optimization problem. We then derive sufficient conditions to ensure that, for the closed-loop system, isolated locally optimal solutions of the optimization problem are locally exponentially stable and show that input constraints are satisfied at all times by identifying an appropriate forward-invariant set.
△ Less
Submitted 12 December, 2023; v1 submitted 29 November, 2023;
originally announced November 2023.
-
Regularity Properties of Optimization-Based Controllers
Authors:
Pol Mestres,
Ahmed Allibhoy,
Jorge Cortés
Abstract:
This paper studies regularity properties of optimization-based controllers, which are obtained by solving optimization problems where the parameter is the system state and the optimization variable is the input to the system. Under a wide range of assumptions on the optimization problem data, we provide an exhaustive collection of results about their regularity, and examine their implications on t…
▽ More
This paper studies regularity properties of optimization-based controllers, which are obtained by solving optimization problems where the parameter is the system state and the optimization variable is the input to the system. Under a wide range of assumptions on the optimization problem data, we provide an exhaustive collection of results about their regularity, and examine their implications on the existence and uniqueness of solutions and the forward invariance guarantees for the resulting closed-loop systems. We discuss the broad relevance of the results in different areas of systems and controls.
△ Less
Submitted 30 May, 2024; v1 submitted 22 November, 2023;
originally announced November 2023.
-
Efficient Computation of Invariance Proximity: Closed-Form Error Bounds for Finite-Dimensional Koopman-Based Models
Authors:
Masih Haseli,
Jorge Cortés
Abstract:
A popular way to approximate the Koopman operator's action on a finite-dimensional subspace of functions is via orthogonal projections. The quality of the projected model directly depends on the selected subspace, specifically on how close it is to being invariant under the Koopman operator. The notion of invariance proximity provides a tight upper bound on the worst-case relative prediction error…
▽ More
A popular way to approximate the Koopman operator's action on a finite-dimensional subspace of functions is via orthogonal projections. The quality of the projected model directly depends on the selected subspace, specifically on how close it is to being invariant under the Koopman operator. The notion of invariance proximity provides a tight upper bound on the worst-case relative prediction error of the finite-dimensional model. However, its direct calculation is computationally challenging. This paper leverages the geometric structure behind the definition of invariance proximity to provide a closed-form expression in terms of Jordan principal angles on general inner product spaces. Unveiling this connection allows us to exploit specific isomorphisms to circumvent the computational challenges associated with spaces of functions and enables the use of existing efficient numerical routines to compute invariance proximity.
△ Less
Submitted 2 March, 2024; v1 submitted 21 November, 2023;
originally announced November 2023.
-
Anytime Solvers for Variational Inequalities: the (Recursive) Safe Monotone Flows
Authors:
Ahmed Allibhoy,
Jorge Cortés
Abstract:
This paper synthesizes anytime algorithms, in the form of continuous-time dynamical systems, to solve monotone variational inequalities. We introduce three algorithms that solve this problem: the projected monotone flow, the safe monotone flow, and the recursive safe monotone flow. The first two systems admit dual interpretations: either as projected dynamical systems or as dynamical systems contr…
▽ More
This paper synthesizes anytime algorithms, in the form of continuous-time dynamical systems, to solve monotone variational inequalities. We introduce three algorithms that solve this problem: the projected monotone flow, the safe monotone flow, and the recursive safe monotone flow. The first two systems admit dual interpretations: either as projected dynamical systems or as dynamical systems controlled with a feedback controller synthesized using techniques from safety-critical control. The third flow bypasses the need to solve quadratic programs along the trajectories by incorporating a dynamics whose equilibria precisely correspond to such solutions, and interconnecting the dynamical systems on different time scales. We perform a thorough analysis of the dynamical properties of all three systems. For the safe monotone flow, we show that equilibria correspond exactly with critical points of the original problem, and the constraint set is forward invariant and asymptotically stable. The additional assumption of convexity and monotonicity allows us to derive global stability guarantees, as well as establish the system is contracting when the constraint set is polyhedral. For the recursive safe monotone flow, we use tools from singular perturbation theory for contracting systems to show KKT points are locally exponentially stable and globally attracting, and obtain practical safety guarantees. We illustrate the performance of the flows on a two-player game example and also demonstrate the versatility for interconnection and regulation of dynamical processes of the safe monotone flow in an example of a receding horizon linear quadratic dynamic game.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Feasibility Analysis and Regularity Characterization of Distributionally Robust Safe Stabilizing Controllers
Authors:
Pol Mestres,
Kehan Long,
Nikolay Atanasov,
Jorge Cortés
Abstract:
This paper studies the well-posedness and regularity of safe stabilizing optimization-based controllers for control-affine systems in the presence of model uncertainty. When the system dynamics contain unknown parameters, a finite set of samples can be used to formulate distributionally robust versions of control barrier function and control Lyapunov function constraints. Control synthesis with su…
▽ More
This paper studies the well-posedness and regularity of safe stabilizing optimization-based controllers for control-affine systems in the presence of model uncertainty. When the system dynamics contain unknown parameters, a finite set of samples can be used to formulate distributionally robust versions of control barrier function and control Lyapunov function constraints. Control synthesis with such distributionally robust constraints can be achieved by solving a (convex) second-order cone program (SOCP). We provide one necessary and two sufficient conditions to check the feasibility of such optimization problems, characterize their computational complexity and numerically show that they are significantly faster to check than direct use of SOCP solvers. Finally, we also analyze the regularity of the resulting control laws.
△ Less
Submitted 29 December, 2023; v1 submitted 9 November, 2023;
originally announced November 2023.
-
Consistency of Lorentz-invariance violation neutrino scenarios in time delay analyses
Authors:
J. M. Carmona,
J. L. Cortés,
M. A. Reyes
Abstract:
Modifications inspired by quantum gravity in the kinematics of special relativity can manifest in various ways, including anomalies in the time of flight of massless particles and the emergence of decay channels for otherwise stable particles. Typically, these effects are studied independently; however, it may be necessary to combine both to perform a consistent analysis. In this work, we study th…
▽ More
Modifications inspired by quantum gravity in the kinematics of special relativity can manifest in various ways, including anomalies in the time of flight of massless particles and the emergence of decay channels for otherwise stable particles. Typically, these effects are studied independently; however, it may be necessary to combine both to perform a consistent analysis. In this work, we study the interplay between time-of-flight anomalies and neutrino instability in the context of a flavor-independent high-energy Lorentz-invariance violation (LIV) in the neutrino sector. Ensuring compatibility between both types of effects imposes strong constraints on the existence of early neutrinos with energies exceeding a maximum value determined by the scale of new physics. Such constraints depend on the specific LIV scenario and should be integrated into searches for high-energy neutrinos from gamma-ray bursts exhibiting LIV time shifts.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
Post-clustering Inference under Dependency
Authors:
Javier González-Delgado,
Juan Cortés,
Pierre Neuvial
Abstract:
Recent work by Gao et al. has laid the foundations for post-clustering inference. For the first time, the authors established a theoretical framework allowing to test for differences between means of estimated clusters. Additionally, they studied the estimation of unknown parameters while controlling the selective type I error. However, their theory was developed for independent observations ident…
▽ More
Recent work by Gao et al. has laid the foundations for post-clustering inference. For the first time, the authors established a theoretical framework allowing to test for differences between means of estimated clusters. Additionally, they studied the estimation of unknown parameters while controlling the selective type I error. However, their theory was developed for independent observations identically distributed as $p$-dimensional Gaussian variables with a spherical covariance matrix. Here, we aim at extending this framework to a more convenient scenario for practical applications, where arbitrary dependence structures between observations and features are allowed. We show that a $p$-value for post-clustering inference under general dependency can be defined, and we assess the theoretical conditions allowing the compatible estimation of a covariance matrix. The theory is developed for hierarchical agglomerative clustering algorithms with several types of linkages, and for the $k$-means algorithm. We illustrate our method with synthetic data and real data of protein structures.
△ Less
Submitted 18 October, 2023;
originally announced October 2023.
-
Distributed and Anytime Algorithm for Network Optimization Problems with Separable Structure
Authors:
Pol Mestres,
Jorge Cortés
Abstract:
This paper considers the problem of designing a dynamical system to solve constrained optimization problems in a distributed way and in an anytime fashion (i.e., such that the feasible set is forward invariant). For problems with separable objective function and constraints, we design an algorithm with the desired properties and establish its convergence. Simulations illustrate our results.
This paper considers the problem of designing a dynamical system to solve constrained optimization problems in a distributed way and in an anytime fashion (i.e., such that the feasible set is forward invariant). For problems with separable objective function and constraints, we design an algorithm with the desired properties and establish its convergence. Simulations illustrate our results.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Testing Lorentz invariance violation using cosmogenic neutrinos
Authors:
M. A. Reyes,
D. Boncioli,
J. M. Carmona,
J. L. Cortés
Abstract:
Secondary messengers such as neutrinos and photons are expected to be produced in interactions of ultra-high-energy cosmic rays (UHECRs) with extragalactic background photons. Their propagation could be altered by the effects of Lorentz invariance violation. In this work, we have developed an extension of the SimProp code that includes some Lorentz-violating scenarios affecting the propagation of…
▽ More
Secondary messengers such as neutrinos and photons are expected to be produced in interactions of ultra-high-energy cosmic rays (UHECRs) with extragalactic background photons. Their propagation could be altered by the effects of Lorentz invariance violation. In this work, we have developed an extension of the SimProp code that includes some Lorentz-violating scenarios affecting the propagation of neutrinos. We present the corresponding expected cosmogenic neutrino fluxes for three different astrophysical scenarios for the production of UHECRs. These results can be used to put constraints on the scale of Lorentz violation in the neutrino sector.
△ Less
Submitted 5 October, 2023; v1 submitted 5 September, 2023;
originally announced September 2023.
-
Symmetry Preservation in Hamiltonian Systems: Simulation and Learning
Authors:
Miguel Vaquero,
Jorge Cortés,
David Martín de Diego
Abstract:
This work presents a general geometric framework for simulating and learning the dynamics of Hamiltonian systems that are invariant under a Lie group of transformations. This means that a group of symmetries is known to act on the system respecting its dynamics and, as a consequence, Noether's Theorem, conserved quantities are observed. We propose to simulate and learn the map**s of interest thr…
▽ More
This work presents a general geometric framework for simulating and learning the dynamics of Hamiltonian systems that are invariant under a Lie group of transformations. This means that a group of symmetries is known to act on the system respecting its dynamics and, as a consequence, Noether's Theorem, conserved quantities are observed. We propose to simulate and learn the map**s of interest through the construction of $G$-invariant Lagrangian submanifolds, which are pivotal objects in symplectic geometry. A notable property of our constructions is that the simulated/learned dynamics also preserves the same conserved quantities as the original system, resulting in a more faithful surrogate of the original dynamics than non-symmetry aware methods, and in a more accurate predictor of non-observed trajectories. Furthermore, our setting is able to simulate/learn not only Hamiltonian flows, but any Lie group-equivariant symplectic transformation. Our designs leverage pivotal techniques and concepts in symplectic geometry and geometric mechanics: reduction theory, Noether's Theorem, Lagrangian submanifolds, momentum map**s, and coisotropic reduction among others. We also present methods to learn Poisson transformations while preserving the underlying geometry and how to endow non-geometric integrators with geometric properties. Thus, this work presents a novel attempt to harness the power of symplectic and Poisson geometry towards simulating and learning problems.
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
Efficient Reconstruction of Neural Mass Dynamics Modeled by Linear-Threshold Networks
Authors:
Xuan Wang,
Jorge Cortes
Abstract:
This paper studies the data-driven reconstruction of firing rate dynamics of brain activity described by linear-threshold network models. Identifying the system parameters directly leads to a large number of variables and a highly non-convex objective function. Instead, our approach introduces a novel reformulation that incorporates biological organizational features and turns the identification p…
▽ More
This paper studies the data-driven reconstruction of firing rate dynamics of brain activity described by linear-threshold network models. Identifying the system parameters directly leads to a large number of variables and a highly non-convex objective function. Instead, our approach introduces a novel reformulation that incorporates biological organizational features and turns the identification problem into a scalar variable optimization of a discontinuous, non-convex objective function. We prove that the minimizer of the objective function is unique and establish that the solution of the optimization problem leads to the identification of all the desired system parameters. These results are the basis to introduce an algorithm to find the optimizer by searching the different regions corresponding to the domain of definition of the objective function. To deal with measurement noise in sampled data, we propose a modification of the original algorithm whose identification error is linearly bounded by the magnitude of the measurement noise. We demonstrate the effectiveness of the proposed algorithms through simulations on synthetic and experimental data.
△ Less
Submitted 27 August, 2023;
originally announced August 2023.
-
Modeling Nonlinear Control Systems via Koopman Control Family: Universal Forms and Subspace Invariance Proximity
Authors:
Masih Haseli,
Jorge Cortés
Abstract:
This paper introduces the Koopman Control Family (KCF), a mathematical framework for modeling general discrete-time nonlinear control systems with the aim of providing a solid theoretical foundation for the use of Koopman-based methods in systems with inputs. We demonstrate that the concept of KCF captures the behavior of nonlinear control systems on a (potentially infinite-dimensional) function s…
▽ More
This paper introduces the Koopman Control Family (KCF), a mathematical framework for modeling general discrete-time nonlinear control systems with the aim of providing a solid theoretical foundation for the use of Koopman-based methods in systems with inputs. We demonstrate that the concept of KCF captures the behavior of nonlinear control systems on a (potentially infinite-dimensional) function space. By employing a generalized notion of subspace invariance under the KCF, we establish a universal form for finite-dimensional models, which encompasses the commonly used linear, bilinear, and linear switched models as specific instances. In cases where the subspace is not invariant under the KCF, we propose a method for approximating models in general form and characterize the model's accuracy using the concept of invariance proximity. We end by discussing how the proposed framework naturally lends itself to data-driven modeling of control systems.
△ Less
Submitted 14 March, 2024; v1 submitted 28 July, 2023;
originally announced July 2023.
-
Cautious optimization via data informativity
Authors:
Jaap Eising,
Jorge Cortes
Abstract:
This paper deals with the problem of accurately determining guaranteed suboptimal values of an unknown cost function on the basis of noisy measurements. We consider a set-valued variant to regression where, instead of finding a best estimate of the cost function, we reason over all functions compatible with the measurements and apply robust methods explicitly in terms of the data. Our treatment pr…
▽ More
This paper deals with the problem of accurately determining guaranteed suboptimal values of an unknown cost function on the basis of noisy measurements. We consider a set-valued variant to regression where, instead of finding a best estimate of the cost function, we reason over all functions compatible with the measurements and apply robust methods explicitly in terms of the data. Our treatment provides data-based conditions under which closed-forms expressions of upper bounds of the unknown function can be obtained, and regularity properties like convexity and Lipschitzness can be established. These results allow us to provide tests for point- and set-wise verification of suboptimality, and tackle the cautious optimization of the unknown function in both one-shot and online scenarios. We showcase the versatility of the proposed methods in two control-relevant problems: data-driven contraction analysis of unknown nonlinear systems and suboptimal regulation with unknown dynamics and cost. Simulations illustrate our results.
△ Less
Submitted 15 July, 2023;
originally announced July 2023.
-
Continuity and Boundedness of Minimum-Norm CBF-Safe Controllers
Authors:
Mohammed Alyaseen,
Nikolay Atanasov,
Jorge Cortes
Abstract:
The existence of a Control Barrier Function (CBF) for a control-affine system provides a powerful design tool to ensure safety. Any controller that satisfies the CBF condition and ensures that the trajectories of the closed-loop system are well defined makes the zero superlevel set forward invariant. Such a controller is referred to as safe. This paper studies the regularity properties of the mini…
▽ More
The existence of a Control Barrier Function (CBF) for a control-affine system provides a powerful design tool to ensure safety. Any controller that satisfies the CBF condition and ensures that the trajectories of the closed-loop system are well defined makes the zero superlevel set forward invariant. Such a controller is referred to as safe. This paper studies the regularity properties of the minimum-norm safe controller as a step** stone towards the design of general continuous safe feedback controllers. We characterize the set of points where the minimum-norm safe controller is discontinuous and show that it depends solely on the safe set and not on the particular CBF that describes it. Our analysis of the controller behavior as we approach a point of discontinuity allows us to identify sufficient conditions to ensure it grows unbounded or it remains bounded. Examples illustrate our results, providing insight into the conditions that lead to (un)bounded discontinuous minimum-norm controllers.
△ Less
Submitted 12 June, 2023;
originally announced June 2023.
-
Learnable Digital Twin for Efficient Wireless Network Evaluation
Authors:
Boning Li,
Timofey Efimov,
Abhishek Kumar,
Jose Cortes,
Gunjan Verma,
Ananthram Swami,
Santiago Segarra
Abstract:
Network digital twins (NDTs) facilitate the estimation of key performance indicators (KPIs) before physically implementing a network, thereby enabling efficient optimization of the network configuration. In this paper, we propose a learning-based NDT for network simulators. The proposed method offers a holistic representation of information flow in a wireless network by integrating node, edge, and…
▽ More
Network digital twins (NDTs) facilitate the estimation of key performance indicators (KPIs) before physically implementing a network, thereby enabling efficient optimization of the network configuration. In this paper, we propose a learning-based NDT for network simulators. The proposed method offers a holistic representation of information flow in a wireless network by integrating node, edge, and path embeddings. Through this approach, the model is trained to map the network configuration to KPIs in a single forward pass. Hence, it offers a more efficient alternative to traditional simulation-based methods, thus allowing for rapid experimentation and optimization. Our proposed method has been extensively tested through comprehensive experimentation in various scenarios, including wired and wireless networks. Results show that it outperforms baseline learning models in terms of accuracy and robustness. Moreover, our approach achieves comparable performance to simulators but with significantly higher computational efficiency.
△ Less
Submitted 10 June, 2023;
originally announced June 2023.
-
Constraints on OPF Surrogates for Learning Stable Local Volt/Var Controllers
Authors:
Zhenyi Yuan,
Guido Cavraro,
Jorge Cortés
Abstract:
We consider the problem of learning local Volt/Var controllers in distribution grids (DGs). Our approach starts from learning separable surrogates that take both local voltages and reactive powers as arguments and predict the reactive power setpoints that approximate optimal power flow (OPF) solutions. We propose an incremental control algorithm and identify two different sets of slope conditions…
▽ More
We consider the problem of learning local Volt/Var controllers in distribution grids (DGs). Our approach starts from learning separable surrogates that take both local voltages and reactive powers as arguments and predict the reactive power setpoints that approximate optimal power flow (OPF) solutions. We propose an incremental control algorithm and identify two different sets of slope conditions on the local surrogates such that the network is collectively steered toward desired configurations asymptotically. Our results reveal the trade-offs between each set of conditions, with coupled voltage-power slope constraints allowing an arbitrary shape of surrogate functions but risking limitations on exploiting generation capabilities, and reactive power slope constraints taking full advantage of generation capabilities but constraining the shape of surrogate functions. AC power flow simulations on the IEEE 37-bus feeder illustrate their guaranteed stability properties and respective advantages in two DG scenarios.
△ Less
Submitted 7 June, 2023;
originally announced June 2023.
-
Equilibria of Fully Decentralized Learning in Networked Systems
Authors:
Yan Jiang,
Wenqi Cui,
Baosen Zhang,
Jorge Cortés
Abstract:
Existing settings of decentralized learning either require players to have full information or the system to have certain special structure that may be hard to check and hinder their applicability to practical systems. To overcome this, we identify a structure that is simple to check for linear dynamical system, where each player learns in a fully decentralized fashion to minimize its cost. We fir…
▽ More
Existing settings of decentralized learning either require players to have full information or the system to have certain special structure that may be hard to check and hinder their applicability to practical systems. To overcome this, we identify a structure that is simple to check for linear dynamical system, where each player learns in a fully decentralized fashion to minimize its cost. We first establish the existence of pure strategy Nash equilibria in the resulting noncooperative game. We then conjecture that the Nash equilibrium is unique provided that the system satisfies an additional requirement on its structure. We also introduce a decentralized mechanism based on projected gradient descent to have agents learn the Nash equilibrium. Simulations on a $5$-player game validate our results.
△ Less
Submitted 15 May, 2023;
originally announced May 2023.
-
Striving for Authentic and Sustained Technology Use In the Classroom: Lessons Learned from a Longitudinal Evaluation of a Sensor-based Science Education Platform
Authors:
Yvonne Chua,
Sankha Cooray,
Juan Pablo Forero Cortes,
Paul Denny,
Sonia Dupuch,
Dawn L Garbett,
Alaeddin Nassani,
Jiashuo Cao,
Hannah Qiao,
Andrew Reis,
Deviana Reis,
Philipp M. Scholl,
Priyashri Kamlesh Sridhar,
Hussel Suriyaarachchi,
Fiona Taimana,
Vanessa Tanga,
Chamod Weerasinghe,
Elliott Wen,
Michelle Wu,
Qin Wu,
Haimo Zhang,
Suranga Nanayakkara
Abstract:
Technology integration in educational settings has led to the development of novel sensor-based tools that enable students to measure and interact with their environment. Although reports from using such tools can be positive, evaluations are often conducted under controlled conditions and short timeframes. There is a need for longitudinal data collected in realistic classroom settings. However, s…
▽ More
Technology integration in educational settings has led to the development of novel sensor-based tools that enable students to measure and interact with their environment. Although reports from using such tools can be positive, evaluations are often conducted under controlled conditions and short timeframes. There is a need for longitudinal data collected in realistic classroom settings. However, sustained and authentic classroom use requires technology platforms to be seen by teachers as both easy to use and of value. We describe our development of a sensor-based platform to support science teaching that followed a 14-month user-centered design process. We share insights from this design and development approach, and report findings from a 6-month large-scale evaluation involving 35 schools and 1245 students. We share lessons learnt, including that technology integration is not an educational goal per se and that technology should be a transparent tool to enable students to achieve their learning goals.
△ Less
Submitted 6 April, 2023;
originally announced April 2023.
-
Multi-modal learning for geospatial vegetation forecasting
Authors:
Vitus Benson,
Claire Robin,
Christian Requena-Mesa,
Lazaro Alonso,
Nuno Carvalhais,
José Cortés,
Zhihan Gao,
Nora Linscheid,
Mélanie Weynants,
Markus Reichstein
Abstract:
The innovative application of precise geospatial vegetation forecasting holds immense potential across diverse sectors, including agriculture, forestry, humanitarian aid, and carbon accounting. To leverage the vast availability of satellite imagery for this task, various works have applied deep neural networks for predicting multispectral images in photorealistic quality. However, the important ar…
▽ More
The innovative application of precise geospatial vegetation forecasting holds immense potential across diverse sectors, including agriculture, forestry, humanitarian aid, and carbon accounting. To leverage the vast availability of satellite imagery for this task, various works have applied deep neural networks for predicting multispectral images in photorealistic quality. However, the important area of vegetation dynamics has not been thoroughly explored. Our study breaks new ground by introducing GreenEarthNet, the first dataset specifically designed for high-resolution vegetation forecasting, and Contextformer, a novel deep learning approach for predicting vegetation greenness from Sentinel 2 satellite images with fine resolution across Europe. Our multi-modal transformer model Contextformer leverages spatial context through a vision backbone and predicts the temporal dynamics on local context patches incorporating meteorological time series in a parameter-efficient manner. The GreenEarthNet dataset features a learned cloud mask and an appropriate evaluation scheme for vegetation modeling. It also maintains compatibility with the existing satellite imagery forecasting dataset EarthNet2021, enabling cross-dataset model comparisons. Our extensive qualitative and quantitative analyses reveal that our methods outperform a broad range of baseline techniques. This includes surpassing previous state-of-the-art models on EarthNet2021, as well as adapted models from time series forecasting and video prediction. To the best of our knowledge, this work presents the first models for continental-scale vegetation modeling at fine resolution able to capture anomalies beyond the seasonal cycle, thereby paving the way for predicting vegetation health and behaviour in response to climate variability and extremes.
△ Less
Submitted 7 March, 2024; v1 submitted 28 March, 2023;
originally announced March 2023.
-
Data-driven mode detection and stabilization of unknown switched linear systems
Authors:
Jaap Eising,
Shenyu Liu,
Sonia Martinez,
Jorge Cortes
Abstract:
This paper considers the stabilization of unknown switched linear systems using data. Instead of a full system model, we have access to a finite number of trajectories of each of the different modes prior to the online operation of the system. On the basis of informative enough measurements, formally characterized in terms of linear matrix inequalities, we design an online switched controller that…
▽ More
This paper considers the stabilization of unknown switched linear systems using data. Instead of a full system model, we have access to a finite number of trajectories of each of the different modes prior to the online operation of the system. On the basis of informative enough measurements, formally characterized in terms of linear matrix inequalities, we design an online switched controller that alternates between a mode detection phase and a stabilization phase. Since the specific currently-active mode is unknown, the controller employs the most recent online measurements to determine it by implementing computationally efficient tests that check compatibility with the set of systems consistent with the pre-collected measurements. The stabilization phase applies the stabilizing feedback gain corresponding to the identified active mode and monitors the evolution of the associated Lyapunov function to detect switches. When a switch is detected, the controller returns to the mode-detection phase. Under average dwell- and activation-time assumptions on the switching signal, we show that the proposed controller guarantees an input-to-state-like stability property of the closed-loop switched system. Various simulations illustrate our results.
△ Less
Submitted 20 March, 2023;
originally announced March 2023.
-
Bridging Transient and Steady-State Performance in Voltage Control: A Reinforcement Learning Approach with Safe Gradient Flow
Authors:
Jie Feng,
Wenqi Cui,
Jorge Cortés,
Yuanyuan Shi
Abstract:
Deep reinforcement learning approaches are becoming appealing for the design of nonlinear controllers for voltage control problems, but the lack of stability guarantees hinders their deployment in real-world scenarios. This paper constructs a decentralized RL-based controller featuring two components: a transient control policy and a steady-state performance optimizer. The transient policy is para…
▽ More
Deep reinforcement learning approaches are becoming appealing for the design of nonlinear controllers for voltage control problems, but the lack of stability guarantees hinders their deployment in real-world scenarios. This paper constructs a decentralized RL-based controller featuring two components: a transient control policy and a steady-state performance optimizer. The transient policy is parameterized as a neural network, and the steady-state optimizer represents the gradient of the long-term operating cost function. The two parts are synthesized through a safe gradient flow framework, which prevents the violation of reactive power capacity constraints. We prove that if the output of the transient controller is bounded and monotonically decreasing with respect to its input, then the closed-loop system is asymptotically stable and converges to the optimal steady-state solution. We demonstrate the effectiveness of our method by conducting experiments with IEEE 13-bus and 123-bus distribution system test feeders.
△ Less
Submitted 29 August, 2023; v1 submitted 20 March, 2023;
originally announced March 2023.
-
When sampling works in data-driven control: Informativity for stabilization in continuous time
Authors:
Jaap Eising,
Jorge Cortes
Abstract:
This paper introduces a notion of data informativity for stabilization tailored to continuous-time signals and systems. We establish results comparable to those known for discrete-time systems with sampled data. We justify that additional assumptions on the properties of the noise signals are needed to understand when sampled versions of continuous-time signals are informative for stabilization, t…
▽ More
This paper introduces a notion of data informativity for stabilization tailored to continuous-time signals and systems. We establish results comparable to those known for discrete-time systems with sampled data. We justify that additional assumptions on the properties of the noise signals are needed to understand when sampled versions of continuous-time signals are informative for stabilization, thereby introducing the notions of square Lipschitzness and total bounded variation. This allows us to connect the continuous and discrete domains, yielding sufficient conditions to synthesize a stabilizing controller for the true continuous-time system on the basis of sampled data. Simulations illustrate our results.
△ Less
Submitted 13 June, 2024; v1 submitted 25 January, 2023;
originally announced January 2023.
-
A new perspective on Doubly Special Relativity
Authors:
J. M. Carmona,
J. L. Cortés,
J. J. Relancio,
M. A. Reyes
Abstract:
Doubly special relativity considers a deformation of the special relativistic kinematics parametrized by a high-energy scale, in such a way that it preserves a relativity principle. When this deformation is assumed to be applied to any interaction between particles one faces some inconsistencies. In order to avoid them, we propose a new perspective where the deformation affects only the interactio…
▽ More
Doubly special relativity considers a deformation of the special relativistic kinematics parametrized by a high-energy scale, in such a way that it preserves a relativity principle. When this deformation is assumed to be applied to any interaction between particles one faces some inconsistencies. In order to avoid them, we propose a new perspective where the deformation affects only the interactions between elementary particles. A consequence of this proposal is that the deformation cannot modify the special relativistic energy-momentum relation of a particle.
△ Less
Submitted 19 January, 2023;
originally announced January 2023.
-
Feasibility and Regularity Analysis of Safe Stabilizing Controllers under Uncertainty
Authors:
Pol Mestres,
Jorge Cortés
Abstract:
This paper studies the problem of safe stabilization of control-affine systems under uncertainty. Our starting point is the availability of worst-case or probabilistic error descriptions for the dynamics and a control barrier function (CBF). These descriptions give rise to second-order cone constraints (SOCCs) whose simultaneous satisfaction guarantees safe stabilization. We study the feasibility…
▽ More
This paper studies the problem of safe stabilization of control-affine systems under uncertainty. Our starting point is the availability of worst-case or probabilistic error descriptions for the dynamics and a control barrier function (CBF). These descriptions give rise to second-order cone constraints (SOCCs) whose simultaneous satisfaction guarantees safe stabilization. We study the feasibility of such SOCCs and the regularity properties of various controllers satisfying them.
△ Less
Submitted 2 December, 2023; v1 submitted 11 January, 2023;
originally announced January 2023.
-
Distributionally Robust Lyapunov Function Search Under Uncertainty
Authors:
Kehan Long,
Yinzhuang Yi,
Jorge Cortes,
Nikolay Atanasov
Abstract:
This paper develops methods for proving Lyapunov stability of dynamical systems subject to disturbances with an unknown distribution. We assume only a finite set of disturbance samples is available and that the true online disturbance realization may be drawn from a different distribution than the given samples. We formulate an optimization problem to search for a sum-of-squares (SOS) Lyapunov fun…
▽ More
This paper develops methods for proving Lyapunov stability of dynamical systems subject to disturbances with an unknown distribution. We assume only a finite set of disturbance samples is available and that the true online disturbance realization may be drawn from a different distribution than the given samples. We formulate an optimization problem to search for a sum-of-squares (SOS) Lyapunov function and introduce a distributionally robust version of the Lyapunov function derivative constraint. We show that this constraint may be reformulated as several SOS constraints, ensuring that the search for a Lyapunov function remains in the class of SOS polynomial optimization problems. For general systems, we provide a distributionally robust chance-constrained formulation for neural network Lyapunov function search. Simulations demonstrate the validity and efficiency of either formulation on non-linear uncertain dynamical systems.
△ Less
Submitted 30 April, 2024; v1 submitted 3 December, 2022;
originally announced December 2022.
-
Effects of new physics in neutrino propagation
Authors:
J. M. Carmona,
J. L. Cortés,
J. J. Relancio,
M. A. Reyes
Abstract:
In this work we consider the effects of Lorentz Invariance Violation over the observed flux of very high-energy neutrinos. For that, we study the neutrino propagation in a Modified Dispersion Relation scenario with a superluminal velocity. This makes the neutrino unstable and causes a cut-off in the flux of detected neutrinos. Using simple models, one can approximate the location of the cut-off as…
▽ More
In this work we consider the effects of Lorentz Invariance Violation over the observed flux of very high-energy neutrinos. For that, we study the neutrino propagation in a Modified Dispersion Relation scenario with a superluminal velocity. This makes the neutrino unstable and causes a cut-off in the flux of detected neutrinos. Using simple models, one can approximate the location of the cut-off as function of the parameters of new physics and the closest source.
△ Less
Submitted 18 October, 2022;
originally announced October 2022.
-
Decay of superluminal neutrinos in the collinear approximation
Authors:
J. M. Carmona,
J. L. Cortés,
J. J. Relancio,
M. A. Reyes
Abstract:
The kinematics of the three body decay, with a modified energy-momentum relation of the particles due to a violation of Lorentz invariance, is presented in detail in the collinear approximation. The results are applied to the decay of superluminal neutrinos producing an electron-positron or a neutrino-antineutrino pair. Explicit expressions for the energy distributions, required for a study of the…
▽ More
The kinematics of the three body decay, with a modified energy-momentum relation of the particles due to a violation of Lorentz invariance, is presented in detail in the collinear approximation. The results are applied to the decay of superluminal neutrinos producing an electron-positron or a neutrino-antineutrino pair. Explicit expressions for the energy distributions, required for a study of the cascade of neutrinos produced in the propagation of superluminal neutrinos, are derived.
△ Less
Submitted 5 October, 2022;
originally announced October 2022.
-
Safe and Stable Control Synthesis for Uncertain System Models via Distributionally Robust Optimization
Authors:
Kehan Long,
Yinzhuang Yi,
Jorge Cortes,
Nikolay Atanasov
Abstract:
This paper considers enforcing safety and stability of dynamical systems in the presence of model uncertainty. Safety and stability constraints may be specified using a control barrier function (CBF) and a control Lyapunov function (CLF), respectively. To take model uncertainty into account, robust and chance formulations of the constraints are commonly considered. However, this requires known err…
▽ More
This paper considers enforcing safety and stability of dynamical systems in the presence of model uncertainty. Safety and stability constraints may be specified using a control barrier function (CBF) and a control Lyapunov function (CLF), respectively. To take model uncertainty into account, robust and chance formulations of the constraints are commonly considered. However, this requires known error bounds or a known distribution for the model uncertainty, and the resulting formulations may suffer from over-conservatism or over-confidence. In this paper, we assume that only a finite set of model parametric uncertainty samples is available and formulate a distributionally robust chance-constrained program (DRCCP) for control synthesis with CBF safety and CLF stability guarantees. To facilitate efficient computation of control inputs during online execution, we present a reformulation of the DRCCP as a second-order cone program (SOCP). Our formulation is evaluated in an adaptive cruise control example in comparison to 1) a baseline CLF-CBF quadratic programming approach, 2) a robust approach that assumes known error bounds of the system uncertainty, and 3) a chance-constrained approach that assumes a known Gaussian Process distribution of the uncertainty.
△ Less
Submitted 16 March, 2023; v1 submitted 3 October, 2022;
originally announced October 2022.
-
Learning Provably Stable Local Volt/Var Controllers for Efficient Network Operation
Authors:
Zhenyi Yuan,
Guido Cavraro,
Manish K. Singh,
Jorge Cortés
Abstract:
This paper develops a data-driven framework to synthesize local Volt/Var control strategies for distributed energy resources (DERs) in power distribution networks (DNs). Aiming to improve DN operational efficiency, as quantified by a generic optimal reactive power flow (ORPF) problem, we propose a two-stage approach. The first stage involves learning the manifold of optimal operating points determ…
▽ More
This paper develops a data-driven framework to synthesize local Volt/Var control strategies for distributed energy resources (DERs) in power distribution networks (DNs). Aiming to improve DN operational efficiency, as quantified by a generic optimal reactive power flow (ORPF) problem, we propose a two-stage approach. The first stage involves learning the manifold of optimal operating points determined by an ORPF instance. To synthesize local Volt/Var controllers, the learning task is partitioned into learning local surrogates (one per DER) of the optimal manifold with voltage input and reactive power output. Since these surrogates characterize efficient DN operating points, in the second stage, we develop local control schemes that steer the DN to these operating points. We identify the conditions on the surrogates and control parameters to ensure that the locally acting controllers collectively converge, in a global asymptotic sense, to a DN operating point agreeing with the local surrogates. We use neural networks to model the surrogates and enforce the identified conditions in the training phase. AC power flow simulations on the IEEE 37-bus network empirically bolster the theoretical stability guarantees obtained under linearized power flow assumptions. The tests further highlight the optimality improvement compared to prevalent benchmark methods.
△ Less
Submitted 12 June, 2024; v1 submitted 26 September, 2022;
originally announced September 2022.
-
Data-driven stabilization of switched and constrained linear systems
Authors:
Mattia Bianchi,
Sergio Grammatico,
Jorge Cortés
Abstract:
We consider the design of state feedback control laws for both the switching signal and the continuous input of an unknown switched linear system, given past noisy input-state trajectories measurements. Based on Lyapunov-Metzler inequalities, we derive data-dependent bilinear programs whose solution directly returns a provably stabilizing controller and ensures $\mathcal{H}_2$ or…
▽ More
We consider the design of state feedback control laws for both the switching signal and the continuous input of an unknown switched linear system, given past noisy input-state trajectories measurements. Based on Lyapunov-Metzler inequalities, we derive data-dependent bilinear programs whose solution directly returns a provably stabilizing controller and ensures $\mathcal{H}_2$ or $\mathcal{H}_{\infty}$ performance. We further present relaxations that considerably reduce the computational cost, still without requiring stabilizability of any of the switching modes. Finally, we showcase the flexibility of our approach on the constrained stabilization problem for a perturbed linear system.
△ Less
Submitted 24 August, 2022;
originally announced August 2022.
-
Learning Local Volt/Var Controllers Towards Efficient Network Operation with Stability Guarantees
Authors:
Guido Cavraro,
Zhenyi Yuan,
Manish K. Singh,
Jorge Cortés
Abstract:
This paper considers the problem of voltage regulation in distribution networks. The primary motivation is to keep voltages within preassigned operating limits by commanding the reactive power output of distributed energy resources (DERs) deployed in the grid. We develop a framework for develo** local Volt/Var control that comprises two main steps. In the first, by exploiting historical data and…
▽ More
This paper considers the problem of voltage regulation in distribution networks. The primary motivation is to keep voltages within preassigned operating limits by commanding the reactive power output of distributed energy resources (DERs) deployed in the grid. We develop a framework for develo** local Volt/Var control that comprises two main steps. In the first, by exploiting historical data and for each DER, we learn a function representing the desirable equilibrium points for the power network. These points approximate solutions of an Optimal Power Flow (OPF) problem. In the second, we propose a control scheme for steering the network towards these favorable configurations. Theoretical conditions are derived to formally guarantee the stability of the developed control scheme, and numerical simulations illustrate the effectiveness of the proposed approach.
△ Less
Submitted 18 August, 2022;
originally announced August 2022.
-
k-Dimensional Agreement in Multiagent Systems for Distributed Coordination
Authors:
Gianluca Bianchin,
Miguel Vaquero,
Jorge Cortes,
Emiliano Dall'Anese
Abstract:
Given a network of agents, each characterized by an initial scalar value, we study the problem of designing distributed linear algorithms such that the agents agree in a generalized sense on a vector quantity that belongs to a k-dimensional subspace. This problem is motivated by applications in distributed computing and sensing, where agents seek to simultaneously evaluate k independent functions…
▽ More
Given a network of agents, each characterized by an initial scalar value, we study the problem of designing distributed linear algorithms such that the agents agree in a generalized sense on a vector quantity that belongs to a k-dimensional subspace. This problem is motivated by applications in distributed computing and sensing, where agents seek to simultaneously evaluate k independent functions at a common vector point by running a single distributed algorithm. We show that linear protocols can agree only on quantities that are oblique projections of the vector of initial conditions, and we provide an algebraic characterization of all agreement protocols that are consistent with a certain communication graph. By leveraging this characterization, we propose a design procedure for constructing agreement protocols, and we investigate what are the structural properties of communication networks that can reach an agreement on arbitrary weights. More broadly, our results show that agreement algorithms are capable of simultaneously solving k consensus problems at a fraction of the communication volume and space complexity of classical algorithms but, in general, require higher network connectivity. The applicability of the framework is illustrated via simulations on two problems in robotic formation and distributed regression.
△ Less
Submitted 3 July, 2023; v1 submitted 18 August, 2022;
originally announced August 2022.
-
Informativity for centralized design of distributed controllers for networked systems
Authors:
Jaap Eising,
Jorge Cortes
Abstract:
Recent work in data-driven control has led to methods that find stabilizing controllers directly from measurements of an unknown system. However, for multi-agent systems we are often interested in finding controllers that take their distributed nature into account. For instance, the full state might not be available for feedback at every agent. In order to deal with such information, we consider t…
▽ More
Recent work in data-driven control has led to methods that find stabilizing controllers directly from measurements of an unknown system. However, for multi-agent systems we are often interested in finding controllers that take their distributed nature into account. For instance, the full state might not be available for feedback at every agent. In order to deal with such information, we consider the problem of finding a feedback controller with a given block structure based on measured data. Moreover, we provide an algorithm that, if it converges, leads to a maximally sparse controller.
△ Less
Submitted 29 July, 2022;
originally announced July 2022.
-
Using data informativity for online stabilization of unknown switched linear systems
Authors:
Jaap Eising,
Shenyu Liu,
Sonia Martinez,
Jorge Cortes
Abstract:
This work studies data-driven switched controller design for discrete-time switched linear systems. Instead of having access to the full system dynamics, an initialization phase is performed, during which noiseless measurements of the state and the input are collected for each mode. Under certain conditions on these measurements, we develop a stabilizing switched controller for the switched system…
▽ More
This work studies data-driven switched controller design for discrete-time switched linear systems. Instead of having access to the full system dynamics, an initialization phase is performed, during which noiseless measurements of the state and the input are collected for each mode. Under certain conditions on these measurements, we develop a stabilizing switched controller for the switched system. To be precise, the controller switches between identifying the active mode of the system and applying a predetermined stabilizing feedback. We prove that if the system switches according to certain specifications, this controller stabilizes the closed-loop system. Simulations on a network example illustrate our approach.
△ Less
Submitted 12 September, 2022; v1 submitted 29 July, 2022;
originally announced July 2022.
-
Temporal Forward-Backward Consistency, Not Residual Error, Measures the Prediction Accuracy of Extended Dynamic Mode Decomposition
Authors:
Masih Haseli,
Jorge Cortés
Abstract:
Extended Dynamic Mode Decomposition (EDMD) is a popular data-driven method to approximate the action of the Koopman operator on a linear function space spanned by a dictionary of functions. The accuracy of EDMD model critically depends on the quality of the particular dictionary's span, specifically on how close it is to being invariant under the Koopman operator. Motivated by the observation that…
▽ More
Extended Dynamic Mode Decomposition (EDMD) is a popular data-driven method to approximate the action of the Koopman operator on a linear function space spanned by a dictionary of functions. The accuracy of EDMD model critically depends on the quality of the particular dictionary's span, specifically on how close it is to being invariant under the Koopman operator. Motivated by the observation that the residual error of EDMD, typically used for dictionary learning, does not encode the quality of the function space and is sensitive to the choice of basis, we introduce the novel concept of consistency index. We show that this measure, based on using EDMD forward and backward in time, enjoys a number of desirable qualities that make it suitable for data-driven modeling of dynamical systems: it measures the quality of the function space, it is invariant under the choice of basis, can be computed in closed form from the data, and provides a tight upper-bound for the relative root mean square error of all function predictions on the entire span of the dictionary.
△ Less
Submitted 6 November, 2022; v1 submitted 15 July, 2022;
originally announced July 2022.