Cover Image

Automated Functional Decomposition for Hybrid Zonotope Over-approximations with Application to LSTM Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Glunt, Jonah J., Siefert, Jacob A., Thompson, Andrew F., Ruths, Justin, Pangborn, Herschel C.
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition
by: Siefert, Jacob A., et al.
Published: (2023)

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

Hybrid System Planning using a Mixed-Integer ADMM Heuristic and Hybrid Zonotopes
by: Robbins, Joshua A., et al.
Published: (2026)

Error Bounds for Compositions of Piecewise Affine Approximations
by: Glunt, Jonah J., et al.
Published: (2024)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
by: Thompson, Andrew F., et al.
Published: (2026)

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

Shared Situational Awareness Using Hybrid Zonotopes with Confidence Metric
by: Narri, Vandana, et al.
Published: (2025)

zonoLAB: A MATLAB toolbox for set-based control systems analysis using hybrid zonotopes
by: Koeln, Justin, et al.
Published: (2023)

Mixed-Integer MPC-Based Motion Planning Using Hybrid Zonotopes with Tight Relaxations
by: Robbins, Joshua A., et al.
Published: (2024)

Energy-Aware Predictive Motion Planning for Autonomous Vehicles Using a Hybrid Zonotope Constraint Representation
by: Robbins, Joshua A., et al.
Published: (2024)

Energy-Aware Model Predictive Control for Batch Manufacturing System Scheduling Under Different Electricity Pricing Strategies
by: Li, Hongliang, et al.
Published: (2025)

Learning Networked Dynamical System Models with Weak Form and Graph Neural Networks
by: Yu, Yin, et al.
Published: (2024)

Bi-level Model Predictive Control for Energy-aware Integrated Product Pricing and Production Scheduling
by: Li, Hongliang, et al.
Published: (2025)

Energy-Aware Integrated Proactive Maintenance Planning and Production Scheduling
by: Li, Hongliang, et al.
Published: (2026)

Integration of a Graph-Based Path Planner and Mixed-Integer MPC for Robot Navigation in Cluttered Environments
by: Robbins, Joshua A., et al.
Published: (2025)

A Model Predictive Control Framework to Enhance Safety and Quality in Mobile Additive Manufacturing Systems
by: Li, Yifei, et al.
Published: (2025)

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

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

Graph-Based Modeling, Control, and Optimization for Multi-Domain and Multi-Timescale Energy Systems
by: Pisani, Joseph M., et al.
Published: (2026)

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

Inner-approximate Reachability Computation via Zonotopic Boundary Analysis
by: Ren, Dejin, et al.
Published: (2024)

Hybrid Polynomial Zonotopes: A Set Representation for Reachability Analysis in Hybrid Nonaffine Systems
by: Xie, Peng, et al.
Published: (2025)

Comparing Parameterizations and Objective Functions for Maximizing the Volume of Zonotopic Invariant Sets
by: Zhou, Chenliang, et al.
Published: (2025)

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

Inclusion conditions for the Constrained Polynomial Zonotopic case
by: Gheorghe, Bogdan, et al.
Published: (2026)

Two-Timescale Asymptotic Simulations of Hybrid Inclusions with Applications to Stochastic Hybrid Optimization
by: Crisafulli, Max F., et al.
Published: (2026)

Zonotope-Based Elastic Tube Model Predictive Control
by: Diaconescu, Sabin, et al.
Published: (2025)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
by: Hadjiloizou, Loizos, et al.
Published: (2024)

The Invariant Zonotopic Set-Membership Filter for State Estimation on Groups
by: Li, Tao, et al.
Published: (2025)

Electrical Load Forecasting Model Using Hybrid LSTM Neural Networks with Online Correction
by: Lu, Nan, et al.
Published: (2024)

Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
by: Huang, Yushen, et al.
Published: (2024)

Safe Navigation with Zonotopic Tubes: An Elastic Tube-based MPC Framework
by: Ghiasi, Niyousha, et al.
Published: (2025)

Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
by: Kochdumper, Niklas, et al.
Published: (2019)

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

Behavior-Aware Online Prediction of Obstacle Occupancy using Zonotopes
by: Carrizosa-Rendon, Alvaro, et al.
Published: (2025)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
by: Hafez, Ahmad, et al.
Published: (2024)

Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares
by: Akhormeh, Alireza Naderi, et al.
Published: (2025)

Tight Remainder-Form Decomposition Functions with Applications to Constrained Reachability and Guaranteed State Estimation
by: Khajenejad, Mohammad, et al.
Published: (2021)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
by: Ren, Wei, et al.
Published: (2024)

Robust Data-Driven Tube-Based Zonotopic Predictive Control with Closed-Loop Guarantees
by: Farjadnia, Mahsa, et al.
Published: (2024)