arXiv subjects

Luis Rodrigues

Publications and source records attributed to Luis Rodrigues.

At least 19 recordsLinked to original sources

arXiv2026

String stable platoons of all-electric aircraft with operating costs and airspace complexity trade-off

This paper formulates an optimal control framework for computing cruise airspeeds in predecessor-follower platoons of all-electric aircraft that balance operational cost and airspace complexity. To quantify controller workload and coordination effort, a novel pairwise dynamic workload (PDW) function is developed. Within this framework, the optimal airspeed solution is derived for all-electric aircraft under longitudinal wind disturbances. Moreover, an analytical suboptimal solution for heterogeneous platoons with nonlinear aircraft dynamics is determined, for which a general sufficient condition for string stability is formally established. The methodology is validated through case studies of all-electric aircraft operating in air corridors that are suitable for low-altitude advanced/urban air mobility (AAM/UAM) applications. Results show that the suboptimal solution closely approximates the optimal, while ensuring safe separations, maintaining string stability, and reducing operational cost and airspace complexity. These findings support the development of sustainable and more autonomous air traffic procedures that will enable the implementation of emerging air transportation technologies, such as AAM/UAM, and their integration to the air traffic system environment.

eess.SY↗

arXiv2026

Minimum Energy Cruise of All-Electric Aircraft with Applications to Advanced Air Mobility

Electrified propulsion is expected to play an important role in the sustainable development of Advanced Air Mobility (AAM). However, the limited energy density of batteries motivates the need to minimize energy consumption during flight. This paper studies the minimum total energy problem for an all-electric aircraft in steady cruise flight. The problem is formulated as an optimal control problem in which the cruise airspeed and final cruise time are optimization variables. The battery supply voltage is modeled as an affine function of the battery charge. Pontryagin's Minimum Principle is used to derive the necessary and sufficient conditions for optimality, from which closed-form expressions for the optimal cruise airspeed and optimal final cruise time are obtained. Additional analytical conditions are derived that determine when all-electric operation is feasible, one of which is that sufficient electric charge must be available. Numerical simulations based on the BETA Technologies CX300 all-electric aircraft and a representative AAM scenario illustrate how the aircraft weight, cruising altitude, electrical system efficiency, and initial battery charge influence the optimal airspeed and the feasibility of all-electric cruise.

eess.SY↗

arXiv2026

A Comprehensive Benchmark of Histopathology Foundation Models for Kidney Digital Pathology Images

Histopathology foundation models (HFMs), pretrained on large-scale cancer datasets, have advanced computational pathology. However, their applicability to non-cancerous chronic kidney disease remains underexplored, despite coexistence of renal pathology with malignancies such as renal cell and urothelial carcinoma. We systematically evaluate 11 publicly available HFMs across 11 kidney-specific downstream tasks spanning multiple stains (PAS, H&E, PASM, and IHC), spatial scales (tile and slide-level), task types (classification, regression, and copy detection), and clinical objectives, including detection, diagnosis, and prognosis. Tile-level performance is assessed using repeated stratified group cross-validation, while slide-level tasks are evaluated using repeated nested stratified cross-validation. Statistical significance is examined using Friedman test followed by pairwise Wilcoxon signed-rank testing with Holm-Bonferroni correction and compact letter display visualization. To promote reproducibility, we release an open-source Python package, kidney-hfm-eval, available at https://pypi.org/project/kidney-hfm-eval/ , that reproduces the evaluation pipelines. Results show moderate to strong performance on tasks driven by coarse meso-scale renal morphology, including diagnostic classification and detection of prominent structural alterations. In contrast, performance consistently declines for tasks requiring fine-grained microstructural discrimination, complex biological phenotypes, or slide-level prognostic inference, largely independent of stain type. Overall, current HFMs appear to encode predominantly static meso-scale representations and may have limited capacity to capture subtle renal pathology or prognosis-related signals. Our results highlight the need for kidney-specific, multi-stain, and multimodal foundation models to support clinically reliable decision-making in nephrology.

cs.CV↗

arXiv2026

On the airspace complexity metrics for predecessor-follower operations

This technical note proposes a novel airspace complexity metric that quantifies the air traffic controller workload and coordination effort for pairwise predecessor-follower aircraft operations in cruise. The pairwise dynamic workload (PDW) is proposed as a continuous function that depends on the relevant parameters of these operations, such as the aircraft separation and separation rate. A comparison of this metric with the dynamic density (DD) shows that it is capable of continuously evaluating the variation of airspace complexity over time and monitoring the aircraft parameters that might lead to conflicts. This metric can be used to support the implementation of autonomous and supervised aircraft procedures, to achieve a more structured and coordinated airspace.

eess.SY↗

arXiv2026

Collision Avoidance for Non-Cooperative Multi-Swarm Coverage Control with Bounded Disturbance Measurements

This paper proposes a new algorithm for collision-free coverage control of multiple non-cooperating swarms in the presence of bounded disturbances. A new methodology is introduced that accounts for uncertainties in disturbance measurements. The proposed methodology is used to develop an algorithm that ensures collision-free motion in multi-swarm coverage control, specifically for cases where disturbances are present and their measurements are subject to bounded uncertainty. The theoretical results are validated through simulations of multiple swarms that independently aim to cover a given region in an environment with disturbances.

eess.SY↗

arXiv2025

Lara: Lightweight Anonymous Authentication with Asynchronous Revocation Auditability

Anonymous authentication is a technique that allows to combine access control with privacy preservation. Typically, clients use different pseudonyms for each access, hindering providers from correlating their activities. To perform the revocation of pseudonyms in a privacy preserving manner is notoriously challenging. When multiple pseudonyms are revoked together, an adversary may infer that these pseudonyms belong to the same client and perform privacy breaking correlations, in particular if these pseudonyms have already been used. Backward unlinkability and revocation auditability are two properties that address this problem. Most systems that offer these properties rely on some sort of time slots, which assume a common reference of time that must be shared among clients and providers; for instance, the client must be aware that it should not use a pseudonym after a certain time or should be able to assess the freshness of a revocation list prior to perform authentication. In this paper we propose Lara, a Lightweight Anonymous Authentication with Asynchronous Revocation Auditability that does not require parties to agree on the current time slot and it is not affected by the clock skew. Prior to disclosing a pseudonym, clients are provided with a revocation list (RL) and can check that the pseudonym has not been revoked. Then, they provide a proof on non-revocation that cannot be used against any other (past or future) RL, avoiding any dependency of timing assumptions. Lara can be implemented using efficient public-key primitives and space-efficient data structures. We have implemented a prototype of Lara and have assessed experimentally its efficiency.

cs.CR↗

arXiv2024

Least Squares Training of Quadratic Convolutional Neural Networks with Applications to System Theory

This paper provides a least squares formulation for the training of a 2-layer convolutional neural network using quadratic activation functions, a 2-norm loss function, and no regularization term. Using this method, an analytic expression for the globally optimal weights is obtained alongside a quadratic input-output equation for the network. These properties make the network a viable tool in system theory by enabling further analysis, such as the sensitivity of the output to perturbations in the input, which is crucial for safety-critical systems such as aircraft or autonomous vehicles. The least squares method is compared to previously proposed strategies for training quadratic networks and to a back-propagation-trained ReLU network. The proposed method is applied to a system identification problem and a GPS position estimation problem. The least squares network is shown to have a significantly reduced training time with minimal compromises on prediction accuracy alongside the advantages of having an analytic input-output equation. Although these results only apply to 2-layer networks, this paper motivates the exploration of deeper quadratic networks in the context of system theory.

cs.LG↗

arXiv2024

Optimal Constant Climb Airspeed with Variable Cost Index for All-electric Aircraft

This paper presents for the first time an approach to minimize direct operational costs (DOC) for all-electric aircraft during the climb phase, introducing a time-varying cost index (CI). The CI is modeled as a dynamic parameter commanded by Air Traffic Control (ATC), allowing the aircraft to maintain a constant airspeed throughout the climb, while respecting the air traffic regulations. This paper also explores the implications of a time-varying CI on the determination of optimal airspeed and climbing time for all-electric aircraft. Additionally, it provides the necessary equations to calculate both the optimal climb airspeed and climb duration. The proposed methodology has been validated through a simulated scenario that reflects actual operational procedures. As a result, optimal values for climb airspeed, climbing time, and energy consumption have been established, paving the way for future applications of this methodology to advanced air mobility all-electric vehicles.

eess.SY↗

arXiv2024

Collision-Free Multi-Agent Coverage Control for Non-Cooperating Swarms: Preliminary Results

The main contribution of this paper is a methodology for multiple non-cooperating swarms of unmanned aerial vehicles to independently cover a common area. In contrast to previous research on coverage control involving more than one swarm, this paper does not assume cooperation between distinct groups but considers them as entirely independent units following their own objectives. Using Voronoi tesselation, collision-free motion of agents within the same swarm has been proved before. However, as is shown in Example 1 of this paper, in the case of multiple swarms with inter-swarm but without intra-swarm collaboration, these guarantees do not hold. We address this issue by proposing an algorithm to achieve maximum coverage with multiple swarms while avoiding collisions between agents. Thus, the Optimal Reciprocal Collision Avoidance method used for safe navigation in multi-agent scenarios is adapted to suit the needs of Voronoi-based coverage control with more than one swarm. The functionality of the proposed technique is validated through Monte Carlo simulations.

eess.SY↗

arXiv2024

A Unified Approach for Optimal Cruise Airspeed with Variable Cost Index for Fuel-powered and All-electric Aircraft

This paper proposes for the first time a unified optimal approach to solve a direct operating cost (DOC) minimization problem where the cost index (CI) is time-varying. More specifically, the coefficient CI is modeled as a time-varying parameter commanded by Air Traffic Control (ATC). The proposed unified approach relies on the solution of an optimal control problem both for fuel-powered and all-electric aircraft. Furthermore, this paper demonstrates how a variable CI affects the solution of the optimization problem as it presents the equations that allow the computation of optimal constant cruise airspeed and flight time in response to step changes in the CI value. The proposed methodology is validated by a simulated flight scenario. In this scenario the inputs from the ATC are received during flight and the aircraft is required to adjust its optimal airspeed, flight time, and total energy consumption to comply with the operational restrictions imposed by the ATC. The optimal values of airspeed, flight time and energy consumption are computed for both a fuel-powered and an all-electric aircraft, thus enabling applications of the proposed approach to future air mobility all-electric vehicles.

eess.SY↗

arXiv2023

Optimal Observer Design Using Reinforcement Learning and Quadratic Neural Networks

This paper introduces an innovative approach based on policy iteration (PI), a reinforcement learning (RL) algorithm, to obtain an optimal observer with a quadratic cost function. This observer is designed for systems with a given linearized model and a stabilizing Luenberger observer gain. We utilize two-layer quadratic neural networks (QNN) for policy evaluation and derive a linear correction term using the input and output data. This correction term effectively rectifies inaccuracies introduced by the linearized model employed within the observer design. A unique feature of the proposed methodology is that the QNN is trained through convex optimization. The main advantage is that the QNN's input-output mapping has an analytical expression as a quadratic form, which can then be used to obtain a linear correction term policy. This is in stark contrast to the available techniques in the literature that must train a second neural network to obtain policy improvement. It is proven that the obtained linear correction term is optimal for linear systems, as both the value function and the QNN's input-output mapping are quadratic. The proposed method is applied to a simple pendulum, demonstrating an enhanced correction term policy compared to relying solely on the linearized model. This shows its promise for addressing nonlinear systems.

eess.SY↗

arXiv2023

Data-Driven LQR using Reinforcement Learning and Quadratic Neural Networks

This paper introduces a novel data-driven approach to design a linear quadratic regulator (LQR) using a reinforcement learning (RL) algorithm that does not require a system model. The key contribution is to perform policy iteration (PI) by designing the policy evaluator as a two-layer quadratic neural network (QNN). This network is trained through convex optimization. To the best of our knowledge, this is the first time that a QNN trained through convex optimization is employed as the Q-function approximator (QFA). The main advantage is that the QNN's input-output mapping has an analytical expression as a quadratic form, which can then be used to obtain an analytical expression for policy improvement. This is in stark contrast to the available techniques in the literature that must train a second neural network to obtain policy improvement. The article establishes the convergence of the learning algorithm to the optimal control, provided the system is controllable and one starts from a stabilitzing policy. A quadrotor example demonstrates the effectiveness of the proposed approach.

eess.SY↗

arXiv2023

Optimal Cruise Airspeed for Hybrid-Electric and Electric Aircraft: Applications to Air Mobility

Electric and hybrid-electric aircraft can help our society transition towards more sustainable aviation and lower greenhouse gas (GHG) emissions. This paper provides solutions to minimize the direct operating cost (DOC) for hybrid-electric aircraft. The solution is the positive real root of a quintic polynomial which is derived using Pontryagin's minimum principle. By properly selecting a hybridization factor, one can also find the cruise airspeed corresponding to the minimum DOC of an electric aircraft. The optimal airspeed is integrated into the Rapidly-exploring Random Trees Star (RRT*) path planning algorithm. The minimum DOC solutions are investigated in a hybrid-electric international travel scenario and the path planning approach is applied to an electric aircraft city scenario.

eess.SY↗

arXiv2022

Flight Management System for Hydrogen-Powered Aircraft in Cruise

The minimization of the Direct Operating Cost (DOC) for hydrogen-powered aircraft is formulated in this paper as an optimal control problem and is solved based on Pontryagin's minimum principle. As a consequence, the optimum cruise flight speed is determined assuming cruising at a constant altitude. The optimization criterion corresponds to the minimization of a functional representing the trade-off between the cost of hydrogen fuel and time-dependent costs, which are related by a parameter denoted by cost index. The value of this parameter is introduced by a pilot into the Flight Management System (FMS) of the aircraft. The HY4 aircraft model is used to obtain numerical results for the proposed methodology.

math.OC↗

arXiv2022

Inverse Optimal Control with Discount Factor for Continuous and Discrete-Time Control-Affine Systems and Reinforcement Learning

This paper addresses the inverse optimal control problem of finding the state weighting function that leads to a quadratic value function when the cost on the input is fixed to be quadratic. The paper focuses on a class of infinite horizon discrete-time and continuous-time optimal control problems whose dynamics are control-affine and whose cost is quadratic in the input. The optimal control policy for this problem is the projection of minus the gradient of the value function onto the space formed by all feasible control directions. This projection points along the control direction of steepest decrease of the value function. For discrete-time systems and a quadratic value function the optimal control law can be obtained as the solution of a regularized least squares program, which corresponds to a receding horizon control with a single step ahead. For the single input case and a quadratic value function the solution for small weights in the control energy is interpreted as a control policy that at each step brings the trajectories of the system as close as possible to the origin, as measured by an appropriate norm. Conditions under which the optimal control law is linear are also stated. Additionally, the paper offers a mapping of the optimal control formulation to an equivalent reinforcement learning formulation. Examples show the application of the theoretical results.

math.OC↗

arXiv2022

From LQR to Static Output Feedback: a New LMI Approach

This paper proposes a new Linear Matrix Inequality (LMI) for static output feedback control assuming that a Linear Quadratic Regulator (LQR) has been previously designed for the system. The main idea is to use a quadratic candidate Lyapunov function for the closed-loop system parameterized by the unique positive definite matrix that solves the Riccati equation. A converse result will also be proved guaranteeing the existence of matrices verifying the LMI if the system is static output feedback stabilizable. The proposed method will then be extended to the design of static output feedback for the H1 control problem. Besides being a sufficient condition for which a converse result is proved, there are another four main advantages of the proposed methodology. First, it is computationally tractable. Second, one can use weighting matrices and obtain a solution in a similar way to LQR design. Third, the proposed method has an extremely simple LMI structure when compared with other LMI methods proposed in the literature. Finally, for the cases where the output is equal to the state it is shown that the LQR solution verifies the proposed LMI. Therefore, the static output feedback includes the LQR solution as a special case when the state is available, which is a desired property. Several examples show that the method is consistently successful and works well in practice.

eess.SY↗

arXiv2022

Analysis and Design of Quadratic Neural Networks for Regression, Classification, and Lyapunov Control of Dynamical Systems

This paper addresses the analysis and design of quadratic neural networks, which have been recently introduced in the literature, and their applications to regression, classification, system identification and control of dynamical systems. These networks offer several advantages, the most important of which are the fact that the architecture is a by-product of the design and is not determined a-priori, their training can be done by solving a convex optimization problem so that the global optimum of the weights is achieved, and the input-output mapping can be expressed analytically by a quadratic form. It also appears from several examples that these networks work extremely well using only a small fraction of the training data. The results in the paper cast regression, classification, system identification, stability and control design as convex optimization problems, which can be solved efficiently with polynomial-time algorithms to a global optimum. Several examples will show the effectiveness of quadratic neural networks in applications.

cs.LG↗

arXiv2020

UAV Optimal Guidance in Wind Fields Using ZEM/ZEV with Generalized Performance Index

This paper presents an optimal guidance approach for a UAV navigation between two given points in 3D considering the wind influence. The proposed cost function to be minimized involves the weighting of the travel time and the control energy. An analytical expression is derived for the optimal cost yielding a fourth-order polynomial whose positive real roots correspond to the optimal travel times. The optimization problem is shown to be equivalent to the Zero-Effort-Miss/Zero-Effort-Velocity (ZEM/ZEV) optimal guidance approach for the case of a constant wind acceleration. Case studies for the rendez-vous and the intercept problems are shown through simulation examples for different wind conditions.

eess.SY↗