Cover Image

Polyhedral Enclosures: An Efficient Combinatorial Abstraction for Nonlinear Neural Feedback Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Akinwande, I. Samuel, Sidrane, Chelsea, Kochenderfer, Mykel J., Barrett, Clark
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

The FABRIC Strategy for Verifying Neural Feedback Systems
by: Akinwande, Samuel I., et al.
Published: (2026)

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
by: Sidrane, Chelsea, et al.
Published: (2025)

A New Strategy for Verifying Reach-Avoid Specifications in Neural Feedback Systems
by: Akinwande, Samuel I., et al.
Published: (2026)

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems
by: Sidrane, Chelsea, et al.
Published: (2024)

The Synergy Between Optimal Transport Theory and Multi-Agent Reinforcement Learning
by: Baheri, Ali, et al.
Published: (2024)

Optimizing Falsification for Learning-Based Control Systems: A Multi-Fidelity Bayesian Approach
by: Shahrooei, Zahra, et al.
Published: (2024)

Fault-Aware MPC for Robotic Fleet Communications Scheduling
by: Schreiber, Carlo, et al.
Published: (2026)

Informative Input Design for Dynamic Mode Decomposition
by: Ott, Joshua, et al.
Published: (2024)

An Iterative Bayesian Approach for System Identification based on Linear Gaussian Models
by: Tzikas, Alexandros E., et al.
Published: (2025)

Hierarchical Framework for Optimizing Wildfire Surveillance and Suppression using Human-Autonomous Teaming
by: Al-Husseini, Mahdi, et al.
Published: (2024)

Model Identification Adaptive Control with $ρ$-POMDP Planning
by: Ho, Michelle, et al.
Published: (2025)

Watercraft as Overwater Ambulance Exchange Points to Enhance Aeromedical Evacuation
by: Al-Husseini, Mahdi, et al.
Published: (2024)

Markov Decision Processes for Satellite Maneuver Planning and Collision Avoidance
by: Kuhl, William, et al.
Published: (2025)

Distributionally Robust Control with Constraints on Linear Unidimensional Projections
by: Tzikas, Alexandros E., et al.
Published: (2025)

Optimal Ground Station Selection for Low-Earth Orbiting Satellites
by: Eddy, Duncan, et al.
Published: (2024)

Monotonicity and Contraction on Polyhedral Cones
by: Jafarpour, Saber, et al.
Published: (2022)

Neural Identification of Feedback-Stabilized Nonlinear Systems
by: Boroujeni, Mahrokh G., et al.
Published: (2025)

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

Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks
by: Lützow, Laura, et al.
Published: (2025)

Neural Operators for Predictor Feedback Control of Nonlinear Delay Systems
by: Bhan, Luke, et al.
Published: (2024)

Improving the Resilience of Quadrotors in Underground Environments by Combining Learning-based and Safety Controllers
by: Ward, Isaac Ronald, et al.
Published: (2025)

Adaptive Meshing for CPA Lyapunov Function Synthesis
by: Strong, Amy K., et al.
Published: (2025)

Efficient Neural Hybrid System Learning and Transition System Abstraction for Dynamical Systems
by: Yang, Yejiang, et al.
Published: (2024)

Non-Conservative Data-driven Safe Control Design for Nonlinear Systems with Polyhedral Safe Sets
by: Modares, Amir, et al.
Published: (2025)

Scalable Ground Station Selection for Large LEO Constellations
by: Kim, Grace Ra, et al.
Published: (2025)

Diffusion-Based Failure Sampling for Evaluating Safety-Critical Autonomous Systems
by: Delecki, Harrison, et al.
Published: (2024)

Sliced Distribution Matching based on Cumulative Distribution Functions with Applications to Control
by: Tzikas, Alexandros E., et al.
Published: (2024)

Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
by: Jafarpour, Saber, et al.
Published: (2023)

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

Optimal Control of Mechanical Ventilators with Learned Respiratory Dynamics
by: Ward, Isaac Ronald, et al.
Published: (2024)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
by: Gracia, Ibon, et al.
Published: (2025)

Efficient Multiagent Planning via Shared Action Suggestions
by: Asmar, Dylan M., et al.
Published: (2024)

Safe Output-Feedback Adaptive Optimal Control of Affine Nonlinear Systems
by: Ogri, Tochukwu E., et al.
Published: (2025)

Aircraft Collision Avoidance Systems: Technological Challenges and Solutions on the Path to Regulatory Acceptance
by: Katz, Sydney M., et al.
Published: (2025)

Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers
by: Tzikas, Alexandros E., et al.
Published: (2024)

A Taxonomy and Review of Algorithms for Modeling and Predicting Human Driver Behavior
by: Bhattacharyya, Raunak P., et al.
Published: (2020)

On Structural Non-commutativity in Affine Feedback of SISO Nonlinear Systems
by: S., Venkatesh G.
Published: (2024)

A Geometric Approach to Feedback Stabilization of Nonlinear Systems with Drift
by: Michalska, Hannah, et al.
Published: (2026)

H Infinity Minimal Destabilizing Feedback for Vulnerability Analysis and Attack Design of Nonlinear Systems
by: Glenn, Gavin, et al.
Published: (2026)

State and Input Constrained Output-Feedback Adaptive Optimal Control of Affine Nonlinear Systems
by: Ogri, Tochukwu Elijah, et al.
Published: (2024)