arXiv subjects

Brenner S. Rego

Publications and source records attributed to Brenner S. Rego.

10 recordsLinked to original sources

arXiv2026

Set-based state estimation of nonlinear discrete-time systems using constrained zonotopes and polyhedral relaxations

This paper presents a new algorithm for set-based state estimation of nonlinear discrete-time systems. A key step in such algorithms is to propagate a set (often a zonotope or constrained zonotope) through a nonlinear function. Existing methods accomplish this through conservative linearization procedures that are known to lead to severe overestimation in many cases. Here, we propose an alternative that avoids linearization using the so-called factorable representation of nonlinear functions. We use a recursive polyhedral relaxation technique based on this representation that is well-established in the global optimization literature but has not previously been used for set-based estimation. This technique is combined with constrained zonotope (CZ) technology to avoid the limitations of recursive computations with polyhedra in halfspace representation. The resulting state estimation method is fully automated, has attractive computational complexity (with one caveat discussed herein), and can provide significantly tighter enclosures than those resulting from linearization procedures in many cases. Numerical examples highlight the advantages of this approach relative to existing CZ methods based on the Mean Value Theorem and Difference of Convex functions (DC) programming.

eess.SY↗

arXiv2025

Line zonotopes: A tool for state estimation and fault diagnosis of unbounded and descriptor systems

This paper proposes new methods for set-based state estimation and active fault diagnosis (AFD) of linear descriptor systems (LDS). Unlike intervals, ellipsoids, and zonotopes, constrained zonotopes (CZs) can directly incorporate linear static constraints on state variables - typical of descriptor systems - into their mathematical representation, leading to less conservative enclosures. However, for LDS that are unstable or not fully observable, a bounded representation cannot ensure a valid enclosure of the states over time. To address this limitation, we introduce line zonotopes, a new representation for unbounded sets that retains key properties of CZs, including polynomial time complexity reduction methods, while enabling the description of strips, hyperplanes, and the entire n-dimensional Euclidean space. This extension not only generalizes the use of CZs to unbounded settings but can also enhance set-based estimation and AFD in both stable and unstable scenarios. Additionally, we extend the AFD method for LDS from Rego et al. (2020) to operate over reachable tubes rather than solely on the reachable set at the final time of the considered horizon. This reduces conservatism in input separation and enables more accurate fault diagnosis based on the entire output sequence. The advantages of the proposed methods over existing CZ-based approaches are demonstrated through numerical examples.

eess.SY↗

arXiv2025

Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes

This paper presents a novel algorithm for reachability analysis of nonlinear discrete-time systems. The proposed method combines constrained zonotopes (CZs) with polyhedral relaxations of factorable representations of nonlinear functions to propagate CZs through nonlinear functions, which is normally done using conservative linearization techniques. The new propagation method provides better approximations than those resulting from linearization procedures, leading to significant improvements in the computation of reachable sets in comparison to other CZ methods from the literature. Numerical examples highlight the advantages of the proposed algorithm.

eess.SY↗

arXiv2025

ZETA: a library for Zonotope-based EsTimation and fAult diagnosis of discrete-time systems

This paper introduces ZETA, a new MATLAB library for Zonotope-based EsTimation and fAult diagnosis of discrete-time systems. It features user-friendly implementations of set representations based on zonotopes, namely zonotopes, constrained zonotopes, and line zonotopes, in addition to a basic implementation of interval arithmetic. This library has capabilities starting from the basic set operations with these sets, including propagations through nonlinear functions using various approximation methods. The features of ZETA allow for reachability analysis and state estimation of discrete-time linear, nonlinear, and descriptor systems, in addition to active fault diagnosis of linear systems. Efficient order reduction methods are also implemented for the respective set representations. Some examples are presented in order to illustrate the functionalities of the new library.

eess.SY↗

arXiv2025

Joint State-Parameter Observer-Based Robust Control of a UAV for Heavy Load Transportation

This paper proposes a joint state-parameter observer-based controller for trajectory tracking of an octocopter unmanned aerial vehicle (OUAV), for transportation of a heavy load with unknown mass and size. The multi-body dynamic model of the OUAV with a rigidly attached load is obtained, effectively considering the effects of the load parameters into the dynamics of the system. A robust nonlinear W-infinity control strategy is designed for optimal trajectory tracking of the OUAV, with information of the states and load parameters provided by a joint estimation unscented Kalman filter. The effectiveness of the proposed strategy is corroborated by numerical results.

eess.SY↗

arXiv2023

Set-based state estimation and fault diagnosis using constrained zonotopes and applications

This doctoral thesis develops new methods for set-based state estimation and active fault diagnosis (AFD) of (i) nonlinear discrete-time systems, (ii) discrete-time nonlinear systems whose trajectories satisfy nonlinear equality constraints (called invariants), (iii) linear descriptor systems, and (iv) joint state and parameter estimation of nonlinear descriptor systems. Set-based estimation aims to compute tight enclosures of the possible system states in each time step subject to unknown-but-bounded uncertainties. To address this issue, the present doctoral thesis proposes new methods for efficiently propagating constrained zonotopes (CZs) through nonlinear mappings. Besides, this thesis improves the standard prediction-update framework for systems with invariants using new algorithms for refining CZs based on nonlinear constraints. In addition, this thesis introduces a new approach for set-based AFD of a class of nonlinear discrete-time systems. An affine parametrization of the reachable sets is obtained for the design of an optimal input for set-based AFD. In addition, this thesis presents new methods based on CZs for set-valued state estimation and AFD of linear descriptor systems. Linear static constraints on the state variables can be directly incorporated into CZs. Moreover, this thesis proposes a new representation for unbounded sets based on zonotopes, which allows to develop methods for state estimation and AFD also of unstable linear descriptor systems, without the knowledge of an enclosure of all the trajectories of the system. This thesis also develops a new method for set-based joint state and parameter estimation of nonlinear descriptor systems using CZs in a unified framework. Lastly, this manuscript applies the proposed set-based state estimation and AFD methods using CZs to unmanned aerial vehicles, water distribution networks, and a lithium-ion cell.

eess.SY↗

arXiv2022

Joint state and parameter estimation based on constrained zonotopes

This note presents a new method for set-based joint state and parameter estimation of discrete-time systems using constrained zonotopes. This is done by extending previous set-based state estimation methods to include parameter identification in a unified framework. Unlike in interval-based methods, the existing dependencies between states and model parameters are maintained from one time step to the next, thus providing a more accurate estimation scheme. In addition, the enclosure of states and parameters is refined using measurements through generalized intersections, which are properly captured by constrained zonotopes. The advantages of the new approach are highlighted in two numerical examples.

eess.SY↗

arXiv2020

Set-based state estimation and fault diagnosis of linear discrete-time descriptor systems using constrained zonotopes

This paper presents new methods for set-valued state estimation and active fault diagnosis of linear descriptor systems. The algorithms are based on constrained zonotopes, a generalization of zonotopes capable of describing strongly asymmetric convex sets, while retaining the computational advantages of zonotopes. Additionally, unlike other set representations like intervals, zonotopes, ellipsoids, paralletopes, among others, linear static constraints on the state variables, typical of descriptor systems, can be directly incorporated in the mathematical description of constrained zonotopes. Therefore, the proposed methods lead to more accurate results in state estimation in comparison to existing methods based on the previous sets without requiring rank assumptions on the structure of the descriptor system and with a fair trade-off between accuracy and efficiency. These advantages are highlighted in two numerical examples.

eess.SY↗

arXiv2019

Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems

This paper presents new methods for set-valued state estimation of nonlinear discrete-time systems with unknown-but-bounded uncertainties. A single time step involves propagating an enclosure of the system states through the nonlinear dynamics (prediction), and then enclosing the intersection of this set with a bounded-error measurement (update). When these enclosures are represented by simple sets such as intervals, ellipsoids, parallelotopes, and zonotopes, certain set operations can be very conservative. Yet, using general convex polytopes is much more computationally demanding. To address this, this paper presents two new methods, a mean value extension and a first-order Taylor extension, for efficiently propagating constrained zonotopes through nonlinear mappings. These extend existing methods for zonotopes in a consistent way. Examples show that these extensions yield tighter prediction enclosures than zonotopic estimation methods, while largely retaining the computational benefits of zonotopes. Moreover, they enable tighter update enclosures because constrained zonotopes can represent intersections much more accurately than zonotopes.

math.OC↗

arXiv2018

Suspended Load Path Tracking Control Using a Tilt-rotor UAV Based on Zonotopic State Estimation

This work addresses the problem of path tracking control of a suspended load using a tilt-rotor UAV. The main challenge in controlling this kind of system arises from the dynamic behavior imposed by the load, which is usually coupled to the UAV by means of a rope, adding unactuated degrees of freedom to the whole system. Furthermore, to perform the load transportation it is often needed the knowledge of the load position to accomplish the task. Since available sensors are commonly embedded in the mobile platform, information on the load position may not be directly available. To solve this problem in this work, initially, the kinematics of the multi-body mechanical system are formulated from the load's perspective, from which a detailed dynamic model is derived using the Euler-Lagrange approach, yielding a highly coupled, nonlinear state-space representation of the system, affine in the inputs, with the load's position and orientation directly represented by state variables. A zonotopic state estimator is proposed to solve the problem of estimating the load position and orientation, which is formulated based on sensors located at the aircraft, with different sampling times, and unknown-but-bounded measurement noise. To solve the path tracking problem, a discrete-time mixed $\mathcal{H}_2/\mathcal{H}_\infty$ controller with pole-placement constraints is designed with guaranteed time-response properties and robust to unmodeled dynamics, parametric uncertainties, and external disturbances. Results from numerical experiments, performed in a platform based on the Gazebo simulator and on a Computer Aided Design (CAD) model of the system, are presented to corroborate the performance of the zonotopic state estimator along with the designed controller.

eess.SY↗