:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Takayama, Yoshinari, Iovine, Alessio, Besselink, Bart, Sandou, Guillaume, Saoud, Adnane
Format:	Preprint
Published:	2026
Subjects:	Systems and Control Robotics
Online Access:	https://arxiv.org/abs/2605.04222
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
by: Takayama, Yoshinari, et al.
Published: (2023)

Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
by: Takayama, Yoshinari, et al.
Published: (2023)

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

Vertical Contracts for Safety Control
by: Pirastehzad, Armin, et al.
Published: (2026)

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

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

ContractionPPO: Certified Reinforcement Learning via Differentiable Contraction Layers
by: Zinage, Vrushabh, et al.
Published: (2026)

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

Minimal Information Control Invariance via Vector Quantization
by: Yuceel, Ege, et al.
Published: (2026)

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

A Robust Neural Control Design for Multi-drone Slung Payload Manipulation with Control Contraction Metrics
by: Liang, Xinyuan, et al.
Published: (2025)

A Safe Hybrid Control Framework for Car-like Robot with Guaranteed Global Path-Invariance using a Control Barrier Function
by: Wang, Nan, et al.
Published: (2025)

Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
by: Zhang, Hongchao, et al.
Published: (2026)

Learning for Layered Safety-Critical Control with Predictive Control Barrier Functions
by: Compton, William D., et al.
Published: (2024)

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

On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis
by: Borquez, Javier, et al.
Published: (2023)

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

Maximal Controlled Invariant-MPC: Enhancing Feasibility and Reducing Conservatism through Terminal CBF Constraint in Safety-Critical Control
by: Dokania, Tanmay, et al.
Published: (2026)

On Differential Controllability and Observability Functions
by: Kawano, Yu, et al.
Published: (2025)

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

Variable Aerodynamic Damping via Co-Contraction: A Dynamic Isomorphism with Variable Stiffness Actuators
by: Franchi, Antonio
Published: (2026)

Safety-Ensured Robotic Control Framework for Cutting Task Automation in Endoscopic Submucosal Dissection
by: Kim, Yitaek, et al.
Published: (2025)

Model Predictive Control for Cooperative Docking Between Autonomous Surface Vehicles with Disturbance Rejection
by: Battocletti, Gianpietro, et al.
Published: (2025)

EAST: Environment Aware Safe Tracking using Planning and Control Co-Design
by: Li, Zhichao, et al.
Published: (2023)

Automated Layout and Control Co-Design of Robust Multi-UAV Transportation Systems
by: Bosio, Carlo, et al.
Published: (2023)

A Model Predictive Control Framework to Enhance Safety and Quality in Mobile Additive Manufacturing Systems
by: Li, Yifei, et al.
Published: (2025)

Neural Robust Control on Lie Groups Using Contraction Methods (Extended Version)
by: Lo, Yi Lok, et al.
Published: (2026)

Airspeed Forward-Invariance for Unpowered Fixed-Wing Aircraft
by: Tekaslan, Huseyin Emre, et al.
Published: (2026)

Resolving Conflicting Constraints in Multi-Agent Reinforcement Learning with Layered Safety
by: Choi, Jason J., et al.
Published: (2025)

Advances in Hybrid Modular Climbing Robots: Design Principles and Refinement Strategies
by: Poon, Ryan, et al.
Published: (2025)

LiveNet: Robust, Minimally Invasive Multi-Robot Control for Safe and Live Navigation in Constrained Environments
by: Gouru, Srikar, et al.
Published: (2024)

Safety Controller Synthesis for Collaborative Robots
by: Gleirscher, Mario, et al.
Published: (2020)

VLSA: Vision-Language-Action Models with Plug-and-Play Safety Constraint Layer
by: Hu, Songqiao, et al.
Published: (2025)

Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops
by: Rober, Nicholas, et al.
Published: (2024)

Cooptimizing Safety and Performance Using Safety Value-Constrained Model Predictive Control
by: Wang, Hao, et al.
Published: (2026)

Co-Design of a Robot Controller Board and Indoor Positioning System for IoT-Enabled Applications
by: Safa, Ali, et al.
Published: (2025)

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