:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Tekeler, Eren, Zhong, Xiangru, Zhang, Huan, Chevalier, Samuel
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2511.15624
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

GPU-Accelerated DCOPF using Gradient-Based Optimization
by: Rafiei, Seide Saba, et al.
Published: (2024)

A Parallelized, Adam-Based Solver for Reserve and Security Constrained AC Unit Commitment
by: Chevalier, Samuel
Published: (2023)

Towards AC Feasibility of DCOPF Dispatch
by: Boateng, Michael A., et al.
Published: (2025)

Robust Stability of Neural Network Control Systems with Interval Matrix Uncertainties
by: Zhang, Yuhao, et al.
Published: (2023)

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
by: Shi, Zhouxing, et al.
Published: (2024)

Learning Certified Neural Network Controllers Using Contraction and Interval Analysis
by: Harapanahalli, Akash, et al.
Published: (2026)

Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
by: Li, Haoyu, et al.
Published: (2025)

Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion
by: Li, Haoyu, et al.
Published: (2025)

Converse Lyapunov Results for Switched Systems with Lower and Upper Bounds on Switching Intervals
by: Della Rossa, Matteo
Published: (2024)

Verifier-Bound Communication for LLM Agents: Certified Bounds on Covert Signaling
by: Tailor, Om
Published: (2026)

Optimal Interval Observers for Bounded Jacobian Nonlinear Dynamical Systems
by: Khajenejad, Mohammad, et al.
Published: (2024)

Optimal Dynamic Control of Bounded Jacobian Discrete-Time Systems via Interval Observers
by: Khajenejad, Mohammad
Published: (2025)

Activate the Dual Cones: A Tight Reformulation of Conic ACOPF Constraints
by: Rafiei, Saba, et al.
Published: (2026)

Runtime-Certified Bounded-Error Quantized Attention
by: Calver, Dean
Published: (2026)

Provably Safe Control for Constrained Nonlinear Systems with Bounded Input
by: Kumar, Saurabh, et al.
Published: (2025)

Optimal Feedback Stabilizing Control of Bounded Jacobian Discrete-Time Systems via Interval Observers
by: Khajenejad, Mohammad
Published: (2024)

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
by: Li, Haoyu, et al.
Published: (2026)

Towards Perturbation-Induced Static Pivoting on GPU-Based Linear Solvers
by: Chevalier, Samuel, et al.
Published: (2023)

Enhancing Scalability of Optimal Kron-based Reduction of Networks (Opti-KRON) via Decomposition with Community Detection
by: Mokhtari, Omid, et al.
Published: (2024)

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

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
by: Solanki, Prashant, et al.
Published: (2025)

Identifying the Smallest Adversarial Load Perturbation that Renders DC-OPF Infeasible
by: Chevalier, Samuel, et al.
Published: (2025)

Scalable Bilevel Optimization for Generating Maximally Representative OPF Datasets
by: Nadal, Ignasi Ventura, et al.
Published: (2023)

Optimization-Based Exploration of the Feasible Power Flow Space for Rapid Data Collection
by: Nadal, Ignasi Ventura, et al.
Published: (2022)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
by: Hu, Hanjiang, et al.
Published: (2024)

Time-Constrained Interception of Seeker-Equipped Interceptors with Bounded Input
by: R, Ashok Samrat, et al.
Published: (2025)

Global Performance Guarantees for Neural Network Models of AC Power Flow
by: Chevalier, Samuel, et al.
Published: (2022)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

Structure-preserving Optimal Kron-based Reduction of Radial Distribution Networks
by: Mokhtari, Omid, et al.
Published: (2025)

Optimal Kron-based Reduction of Networks (Opti-KRON) for Three-phase Distribution Feeders
by: Mokhtari, Omid, et al.
Published: (2025)

Distributed Resilient Interval Observers for Bounded-Error LTI Systems Subject to False Data Injection Attacks
by: Khajenejad, Mohammad, et al.
Published: (2023)

Hierarchical Upper Confidence Bounds for Constrained Online Learning
by: Baheri, Ali
Published: (2024)

Provably Bounding Neural Network Preimages
by: Kotha, Suhas, et al.
Published: (2023)

Guaranteed Privacy-Preserving $\mathcal{H}_{\infty}$-Optimal Interval Observer Design for Bounded-Error LTI Systems
by: Khajenejad, Mohammad, et al.
Published: (2023)

An SVD-like Decomposition of Bounded-Input Bounded-Output Functions
by: Brown, Brian Charles, et al.
Published: (2024)

Divide and Discard: Fast Tightening of Guaranteed State Bounds for Nonlinear Systems
by: Holzinger, Nico, et al.
Published: (2026)

CPU- and GPU-Based Parallelization of the Robust Reference Governor
by: Ossareh, Hamid R., et al.
Published: (2025)

Stochastic framework for scheduling preemptive upgrades of distribution transformers
by: Wheeler, William A, et al.
Published: (2025)

Data-Driven Robust Predictive Control with Interval Matrix Uncertainty Propagation
by: Quartullo, Renato, et al.
Published: (2026)

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