Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rego, Brenner S., Scott, Joseph K., Raimondo, Davide M., Terra, Marco H., Raffo, Guilherme V.
Format:	Preprint
Published:	2025
Subjects:	Systems and Control Mathematical Software Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes
by: Rego, Brenner S., et al.
Published: (2025)

Set-based state estimation of nonlinear discrete-time systems using constrained zonotopes and polyhedral relaxations
by: Rego, Brenner S., et al.
Published: (2025)

Line zonotopes: A tool for state estimation and fault diagnosis of unbounded and descriptor systems
by: Rego, Brenner S., et al.
Published: (2023)

Improved algorithms and novel applications of the FrankWolfe.jl library
by: Besançon, Mathieu, et al.
Published: (2025)

Constrained Optimization on Matrix Lie Groups via Interior-Point Method
by: Santos, Aclécio J., et al.
Published: (2026)

Sparsity-Promoting Reachability Analysis and Optimization of Constrained Zonotopes
by: Robbins, Joshua A., et al.
Published: (2025)

Joint State-Parameter Observer-Based Robust Control of a UAV for Heavy Load Transportation
by: Rego, Brenner S., et al.
Published: (2025)

Approximability of the Containment Problem for Zonotopes and Ellipsotopes
by: Kulmburg, Adrian, et al.
Published: (2024)

Sharp Hybrid Zonotopes: Set Operations and the Reformulation-linearization Technique
by: Glunt, Jonah J., et al.
Published: (2025)

Invariant, Viability and Discriminating Kernel Under-Approximation via Zonotope Scaling
by: Mitchell, Ian M., et al.
Published: (2019)

A Unified and Scalable Method for Optimization over Graphs of Convex Sets
by: Marcucci, Tobia
Published: (2025)

OptiLoop: Coordination-in-the-Loop Verification and Repair for LLM-Generated Optimization Agents
by: Xu, Yujia, et al.
Published: (2026)

Cardinal Optimizer (COPT) User Guide
by: Ge, Dongdong, et al.
Published: (2022)

An efficient active-set method with applications to sparse approximations and risk minimization
by: Pougkakiotis, Spyridon, et al.
Published: (2024)

A Practical GPU-Enhanced Matrix-Free Primal-Dual Method for Large-Scale Conic Programs
by: Lin, Zhenwei, et al.
Published: (2025)

Solving the Convex Flow Problem
by: Diamandis, Theo, et al.
Published: (2024)

A Unified Funnel Restoration SQP Algorithm
by: Kiessling, David, et al.
Published: (2024)

Designing a Framework for Solving Multiobjective Simulation Optimization Problems
by: Chang, Tyler H., et al.
Published: (2023)

MindOpt Adapter for CPLEX Benchmarking Performance Analysis
by: Sun, Mou, et al.
Published: (2023)

Optimistix: modular optimisation in JAX and Equinox
by: Rader, Jason, et al.
Published: (2024)

A Modular Approach to Stochastic Optimisation for Inverse Problems Using the Core Imaging Library
by: Papoutsellis, Evangelos, et al.
Published: (2026)

optHIM: Hybrid Iterative Methods for Continuous Optimization in PyTorch
by: Sridhar, Nikhil, et al.
Published: (2025)

On a probabilistic global optimizer derived from the Walker slice sampling
by: Gupta, Aditya, et al.
Published: (2024)

JAX-SSO: Differentiable Finite Element Analysis Solver for Structural Optimization and Seamless Integration with Neural Networks
by: Wu, Gaoyuan
Published: (2024)

Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
by: Qu, Zheng, et al.
Published: (2025)

CDOpt: A Python Package for a Class of Riemannian Optimization
by: Xiao, Nachuan, et al.
Published: (2022)

Addressing Methodological Sensitivity in MCDM with a Systematic Pipeline Approach to Data Transformation Sensitivity Analysis
by: Cabral, Juan B., et al.
Published: (2025)

GlycoPy: A CasADi-based Python Framework for Hierarchical Modeling, Optimization, and Control of Bioprocesses
by: Ma, Yingjie, et al.
Published: (2026)

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
by: Zhang, Hang, et al.
Published: (2023)

Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes
by: Zhang, Yuhao, et al.
Published: (2026)

A Million-Point Fast Trajectory Optimization Solver
by: Javeed, A., et al.
Published: (2025)

Symbolic and Numerical Tools for $L_{\infty}$-Norm Calculation
by: Younes, Grace, et al.
Published: (2025)

EV-EcoSim: A grid-aware co-simulation platform for the design and optimization of electric vehicle charging infrastructure
by: Balogun, Emmanuel, et al.
Published: (2024)

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
by: Zhang, Yuhao, et al.
Published: (2025)

Endpoint-Explicit Differential Dynamic Programming via Exact Resolution
by: Parilli, Maria, et al.
Published: (2025)

Data-Driven Tube-Based Zonotopic Predictive Control With Nonconvex Layered Terminal Sets
by: Zhang, Zhen, et al.
Published: (2026)

On Finding the Closest Zonotope to a Polytope in Hausdorff Distance
by: Torres, George D.
Published: (2024)

Approximate predictive control barrier function for discrete-time systems
by: Didier, Alexandre, et al.
Published: (2024)

Energy-optimal control of discrete-time port-Hamiltonian systems
by: Sarkar, Arijit, et al.
Published: (2025)

SMT 2.0: A Surrogate Modeling Toolbox with a focus on Hierarchical and Mixed Variables Gaussian Processes
by: Saves, Paul, et al.
Published: (2023)