:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Alaoui, Sadek Belamfedel, Saoud, Adnane
Format:	Preprint
Published:	2024
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2405.07718
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

How to discretize continuous state-action spaces in Q-learning: A symbolic control approach
by: Alaoui, Sadek Belamfedel, et al.
Published: (2024)

Nagumo-Type Characterization of Forward Invariance for Constrained Systems
by: Reynaud, Olayo, et al.
Published: (2025)

A Trajectory-Based Approach to Controlled Invariance and Recursively Feasible MPC
by: Wembe, Emmanuel Junior Wafo, et al.
Published: (2026)

Safety by Invariance, Liveness through Refinement: Heterogeneous Contract Framework for Co-Design of Layered Control
by: Takayama, Yoshinari, et al.
Published: (2026)

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
by: Liu, Siyuan, et al.
Published: (2023)

Temporal Logic Resilience for Dynamical Systems
by: Saoud, Adnane, et al.
Published: (2024)

On Robust Controlled Invariants for Continuous-time Monotone Systems
by: Wembe, Emmanuel Junior Wafo, et al.
Published: (2024)

Robust Hybrid Finite-Time Parameter Estimation Without Persistence of Excitation
by: Saoud, Adnane, et al.
Published: (2026)

Just Few States are Enough: Randomized Sparse Feedback for Stability of Dynamical Systems
by: Hadach, Zaid, et al.
Published: (2025)

Symbolic Control: Unveiling Free Robustness Margins
by: Si, Youssef Ait, et al.
Published: (2025)

H∞ Observer‐Based Control for a Class of One‐Sided Lipschitz Uncertain Systems in Finite Frequency Domain
by: El Haiek Badreddine, et al.
Published: (2025)

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
by: Monir, Negar, et al.
Published: (2025)

Scenario Convex Programs for Dexterous Manipulation under Modeling Uncertainties
by: Altiner, Berk, et al.
Published: (2024)

Temporal Logic Resilience for Continuous-time Systems
by: Das, Ratnangshu, et al.
Published: (2026)

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

Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2026)

Characterization of Invariance, Periodic Solutions and Optimization of Dynamic Financial Networks
by: Stella, Leonardo, et al.
Published: (2025)

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
by: Wu, Taoran, et al.
Published: (2024)

Learning-Based Robust Fixed-Time Terminal Sliding Mode Control
by: Mortajinea, Chaimae El, et al.
Published: (2025)

MuaLLM: A Multimodal Large Language Model Agent for Circuit Design Assistance with Hybrid Contextual Retrieval-Augmented Generation
by: Abbineni, Pravallika, et al.
Published: (2025)

Identifying Network Structure of Nonlinear Dynamical Systems: Contraction and Kuramoto Oscillators
by: Gill, Jaidev, et al.
Published: (2025)

Invariance of Competition Outcomes in Hypergraph Competitive Dynamics
by: Zhao, Qi, et al.
Published: (2026)

Non-Euclidean Enriched Contraction Theory for Monotone Operators and Monotone Dynamical Systems
by: Deplano, Diego, et al.
Published: (2025)

Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts
by: Rouquette, Nicolas, et al.
Published: (2024)

Forward Invariance in Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)

Data-driven Invariance for Reference Governors
by: Kashani, Ali, et al.
Published: (2023)

On the Contraction of Excitable Systems
by: Cecconi, Alessandro, et al.
Published: (2025)

Contraction Analysis of Time-Delay Systems
by: Watanabe, Rintaro, et al.
Published: (2026)

Invariance Proximity: Closed-Form Error Bounds for Finite-Dimensional Koopman-Based Models
by: Haseli, Masih, et al.
Published: (2023)

Contractivity of Multi-Stage Runge-Kutta Dynamics
by: Kawano, Yu, et al.
Published: (2026)

Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
by: Wang, Han, et al.
Published: (2022)

Convergence of Payoff-Based Higher-Order Replicator Dynamics in Contractive Games
by: Abdelraouf, Hassan, et al.
Published: (2026)

Controlled Invariance in Fully Actuated Max-plus Linear Systems with Precedence Semimodules
by: Zorzenon, Davide, et al.
Published: (2025)

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

Model Predictive Control of Hybrid Dynamical Systems
by: Sanfelice, Ricardo G., et al.
Published: (2026)

On Sampling Time and Invariance
by: Schutz, Spencer, et al.
Published: (2025)

Using Seminorms To Analyze Contraction of Switched Systems With Only Non-Contracting Modes
by: Baum, Edwin, et al.
Published: (2025)

Data Poisoning Attacks on Informativity for Observability: Invariance-Based Synthesis
by: Takaki, Iori, et al.
Published: (2026)

Capacity Estimation of Lithium-ion Batteries Using Invariance Property in Open Circuit Voltage Relationship
by: Wang, Yang, et al.
Published: (2025)

Self-triggered Stabilization of Contracting Systems under Quantization
by: Wakaiki, Masashi
Published: (2023)