:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Oumer, Mohammed Adib, Murali, Vishnu, Zamani, Majid
Format:	Preprint
Published:	2026
Subjects:	Systems and Control Optimization and Control
Online Access:	https://arxiv.org/abs/2603.00379
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
by: Oumer, Mohammed Adib, et al.
Published: (2025)

Control Closure Certificates
by: Murali, Vishnu, et al.
Published: (2025)

Interpolation-Inspired Closure Certificates
by: Oumer, Mohammed Adib, et al.
Published: (2026)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
by: Oumer, Mohammed Adib, et al.
Published: (2025)

Closure Certificates
by: Murali, Vishnu, et al.
Published: (2023)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
by: Murali, Vishnu, et al.
Published: (2026)

Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems
by: Murali, Vishnu, et al.
Published: (2023)

Barrier Certificates for Uncertain Temporal Specifications
by: Mamduhi, Mohammad H., et al.
Published: (2026)

Natural Gradient Descent for Control
by: Esmzad, Ramin, et al.
Published: (2025)

Input-to-state stabilization of linear systems under data-rate constraints
by: Zamani, Mahmoud, et al.
Published: (2026)

LQR based $ω-$stabilization of a heat equation with memory
by: Sistla, Bhargav Pavan Kumar, et al.
Published: (2025)

Converse Theorems for Certificates of Safety and Stability
by: Mestres, Pol, et al.
Published: (2024)

Distributed Stability Certification and Control from Local Data
by: Malladi, Surya, et al.
Published: (2026)

Robust Adaptive Discrete-Time Control Barrier Certificate
by: Liu, Changrui, et al.
Published: (2025)

Diagnostic Certificates of Data Quality and Regression Identifiability for Koopman Identification
by: Wu, Yue
Published: (2026)

Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems
by: Meijer, T. J., et al.
Published: (2023)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)

A Dynamically Weighted ADMM Framework for Byzantine Resilience
by: Vijay, Vishnu, et al.
Published: (2025)

Unit-Vector Control Design under Saturating Actuators
by: Vitório, Andevaldo da Encarnação, et al.
Published: (2025)

Multivariable Extremum Seeking Unit-Vector Control Design
by: Silva, Enzo Ferreira Tomaz, et al.
Published: (2025)

Towards explainable data-driven predictive control with regularizations
by: Klädtke, Manuel, et al.
Published: (2025)

Implicit predictors in regularized data-driven predictive control
by: Klädtke, Manuel, et al.
Published: (2023)

Sparse learning with concave regularization: relaxation of the irrepresentable condition
by: Cerone, V., et al.
Published: (2025)

Monotone Neural Barrier Certificates
by: Jafarpour, Saber, et al.
Published: (2025)

Gradient- and Newton-Based Unit Vector Extremum Seeking Control
by: Luo, Roberto, et al.
Published: (2025)

Distributed Predictive Control Barrier Functions: Towards Scalable Safety Certification in Modular Multi-Agent Systems
by: Ohnemus, Jonas, et al.
Published: (2026)

Distributionally Robust Policy and Lyapunov-Certificate Learning
by: Long, Kehan, et al.
Published: (2024)

Maximally Resilient Controllers under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2025)

Joint parameter and state estimation for regularized time-discrete multibody dynamics
by: Marklund, Hannes, et al.
Published: (2025)

Towards a unifying framework for data-driven predictive control with quadratic regularization
by: Klädtke, Manuel, et al.
Published: (2024)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
by: Liu, Jun, et al.
Published: (2024)

Vectorized Sparse Second-Order Forward Automatic Differentiation for Optimal Control Direct Methods
by: Zou, Yilin, et al.
Published: (2025)

On data usage and predictive behavior of data-driven predictive control with 1-norm regularization
by: Klädtke, Manuel, et al.
Published: (2025)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
by: Kordabad, Arash Bahari, et al.
Published: (2024)

Recursive identification with regularization and on-line hyperparameters estimation
by: Vau, Bernard, et al.
Published: (2023)

Ensuring reliability in 100% renewable microgrids: a scenario-based joint planning and operational design framework
by: Saleheen, Mohammed Zeehan, et al.
Published: (2026)

Special Orthogonal Group SO(3), Euler Angles, Angle-axis, Rodriguez Vector and Unit-Quaternion: Overview, Mapping and Challenges
by: Hashim, Hashim A.
Published: (2019)

A Human-Vector Susceptible-Infected-Susceptible Model for Analyzing and Controlling the Spread of Vector-Borne Diseases
by: Zino, Lorenzo, et al.
Published: (2025)

A Parallel Vector-form $LDL^\top$ Decomposition for Accelerating Execution-time-certified $\ell_1$-penalty Soft-constrained MPC
by: Wu, Liang, et al.
Published: (2024)

Assessing the Quality of a Set of Basis Functions for Inverse Optimal Control via Projection onto Global Minimizers
by: Bečanović, Filip, et al.
Published: (2025)