Abstract: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.

Line zonotopes: a set representation suitable for unbounded systems and its application to set-based state estimation and active fault diagnosis of descriptor systems

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

A Data-Driven Guaranteed Zonotopic Estimation for Unknown Time-Varying System

Active Fault Diagnosis for LPV Systems Based on Constrained Zonotopes

Set-valued State Estimation for Nonlinear Systems Using Hybrid Zonotopes

Zonotopic Set-Membership State Estimation for Discrete-Time Descriptor LPV Systems.

Real-Time Attitude Sensor Fault Detection Based on Nearest Neighbor Reference Set and E2LSH Acceleration

Robust Fault Diagnosis for Uncertain Linear Systems: A Set-Based Geometric Approach

Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes

Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition

Projection-free computation of robust controllable sets with constrained zonotopes

Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions

Interval Zonotopic Fault Estimation for Uncertain LPV Descriptor Systems

Approximability of the Containment Problem for Zonotopes and Ellipsotopes

Reachability Analysis Using Constrained Polynomial Logical Zonotopes

zonoLAB: A MATLAB toolbox for set-based control systems analysis using hybrid zonotopes

Reachable set-based dynamic quantization for the remote state estimation of linear systems

Zonotopic Set-Membership State Estimation for Switched Systems with Restricted Switching

Zonotopic set-membership state estimation for multirate systems with dynamic event-triggered mechanisms

A Smoothing Approach for Active Fault Diagnosis with a Unified Set Representation.

Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems