:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Si, Youssef Ait, Girard, Antoine, Saoud, Adnane
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2507.12339
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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)

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

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

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

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

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

Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties
by: Alaoui, Sadek Belamfedel, et al.
Published: (2024)

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

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

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

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

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

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

Exploiting Over-Approximation Errors as Preview Information for Nonlinear Control
by: Aspeel, Antoine, et al.
Published: (2025)

Approximate Simulation-based Hierarchical Control of Nonlinear Systems
by: Niu, Zirui, et al.
Published: (2026)

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

A slot-based energy storage decision-making approach for optimal Off-Grid telecommunication operator
by: Mahjoub, Youssef Ait El, et al.
Published: (2024)

Characterizing simulation relations through control architectures in abstraction-based control
by: Calbert, Julien, et al.
Published: (2024)

Feedback stabilization of switched systems under arbitrary switching: A convex characterization
by: Lima, Thiago Alves, et al.
Published: (2025)

Robust Nonlinear Optimal Control via System Level Synthesis
by: Leeman, Antoine P., et al.
Published: (2023)

On Theoretical Stability Proof and Stability Margin Analysis of Enhanced Droop-Free Control Schemes for Islanded Microgrids
by: Liu, Weipeng, et al.
Published: (2026)

Time Shift Governor for Constrained Control of Spacecraft Orbit and Attitude Relative Motion in Bicircular Restricted Four-Body Problem
by: Kim, Taehyeun, et al.
Published: (2024)

Stability Margins of Neural Network Controllers
by: Junnarkar, Neelay, et al.
Published: (2024)

Multi Methods of Matrix Analysis Use for Control and Optimization system in Control Engineering
by: Moeurn, Si Kheang
Published: (2024)

Safety Margins of Inverse Optimal ISSf Controllers
by: Lyu, Ziliang, et al.
Published: (2025)

Fast System Level Synthesis: Robust Model Predictive Control using Riccati Recursions
by: Leeman, Antoine P., et al.
Published: (2024)

A Hierarchical Robust Control Strategy for Decentralized Signal-Free Intersection Management
by: Pan, Xiao, et al.
Published: (2022)

AI-driven, Model-Free Current Control: A Deep Symbolic Approach for Optimal Induction Machine Performance
by: Usama, Muhammad, et al.
Published: (2024)

A Convex Optimization Framework for Computing Robustness Margins of Kalman Filters
by: Prabhat, Himanshu, et al.
Published: (2024)

Conformal Contraction for Robust Nonlinear Control with Distribution-Free Uncertainty Quantification
by: Wei, Sihang, et al.
Published: (2025)

Safe Adaptive Cruise Control Under Perception Uncertainty: A Deep Ensemble and Conformal Tube Model Predictive Control Approach
by: Li, Xiao, et al.
Published: (2024)

A Simulation Preorder for Koopman-like Lifted Control Systems
by: Aspeel, Antoine, et al.
Published: (2024)

Agile Temporal Discretization for Symbolic Optimal Control
by: Janssens, Adrien, et al.
Published: (2025)

Time Shift Governor-Guided MPC with Collision Cone CBFs for Safe Adaptive Cruise Control in Dynamic Environments
by: Kee, Robin Inho, et al.
Published: (2025)

System-level Safety Guard: Safe Tracking Control through Uncertain Neural Network Dynamics Models
by: Li, Xiao, et al.
Published: (2023)

Trojan Attacks on Neural Network Controllers for Robotic Systems
by: Younesi, Farbod, et al.
Published: (2026)

An Introduction to Disk Margins
by: Seiler, Peter, et al.
Published: (2020)

LLM-Enhanced Symbolic Control for Safety-Critical Applications
by: Bayat, Amir, et al.
Published: (2025)

Symbolic Control for Autonomous Docking of Marine Surface Vessels
by: Dietrich, Elizabeth, et al.
Published: (2025)