Cover Image

On transferring safety certificates across dynamical systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bousias, Nikolaos, Stamouli, Charalampia, Tsiamis, Anastasios, Pappas, George
Format:	Preprint
Published:	2026
Subjects:	Systems and Control Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Deep Equivariant Multi-Agent Control Barrier Functions
by: Bousias, Nikolaos, et al.
Published: (2025)

eCP: Equivariant Conformal Prediction with pre-trained models
by: Bousias, Nikolaos, et al.
Published: (2026)

Layered Control of Partially Observed Stochastic Systems
by: Stamouli, Charis, et al.
Published: (2026)

Layered Multirate Control of Constrained Linear Systems
by: Stamouli, Charis, et al.
Published: (2025)

Policy Gradient Bounds in Multitask LQR
by: Stamouli, Charis, et al.
Published: (2025)

Graph Neural Networks for Multi-Robot Active Information Acquisition
by: Tzes, Mariliza, et al.
Published: (2022)

Symmetries-enhanced Multi-Agent Reinforcement Learning
by: Bousias, Nikolaos, et al.
Published: (2025)

Recursively Feasible Shrinking-Horizon MPC in Dynamic Environments with Conformal Prediction Guarantees
by: Stamouli, Charis, et al.
Published: (2024)

Rate-Optimal Non-Asymptotics for the Quadratic Prediction Error Method
by: Stamouli, Charis, et al.
Published: (2024)

Formal Verification and Control with Conformal Prediction
by: Lindemann, Lars, et al.
Published: (2024)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
by: Yang, Shuo, et al.
Published: (2024)

A Tutorial on the Non-Asymptotic Theory of System Identification
by: Ziemann, Ingvar, et al.
Published: (2023)

Data-Driven Distributionally Robust System Level Synthesis
by: Micheli, Francesco, et al.
Published: (2024)

Deployment of an Aerial Multi-agent System for Automated Task Execution in Large-scale Underground Mining Environments
by: Dahlquist, Niklas, et al.
Published: (2025)

Learning Local Control Barrier Functions for Hybrid Systems
by: Yang, Shuo, et al.
Published: (2024)

Flying Quadrotors in Tight Formations using Learning-based Model Predictive Control
by: Chee, Kong Yao, et al.
Published: (2024)

Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification
by: Akella, Prithvi, et al.
Published: (2024)

Operator Splitting for Convex Constrained Markov Decision Processes
by: Grontas, Panagiotis D., et al.
Published: (2024)

Suboptimality analysis of receding horizon quadratic control with unknown linear systems and its applications in learning-based control
by: Shi, Shengling, et al.
Published: (2023)

Karma Mechanisms for Decentralised, Cooperative Multi Agent Path Finding
by: Riehl, Kevin, et al.
Published: (2026)

Dual-quaternion learning control for autonomous vehicle trajectory tracking with safety guarantees
by: Nieto, Omayra Yago, et al.
Published: (2026)

Safe Human-to-Humanoid Motion Imitation Using Control Barrier Functions
by: Cai, Wenqi, et al.
Published: (2026)

Realistic Counterfactual Explanations for Machine Learning-Controlled Mobile Robots using 2D LiDAR
by: Remman, Sindre Benjamin, et al.
Published: (2025)

Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
by: Dang, Thao, et al.
Published: (2024)

A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle
by: AbdElSalam, Mohamed, et al.
Published: (2024)

Physics-informed Goal-Conditioned Reinforcement Learning under Hybrid Contact Dynamics
by: Giammarino, Vittorio, et al.
Published: (2026)

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization
by: Fochesato, Marta, et al.
Published: (2025)

Online Residual Learning from Offline Experts for Pedestrian Tracking
by: Vlachos, Anastasios, et al.
Published: (2024)

Finite Sample Frequency Domain Identification
by: Tsiamis, Anastasios, et al.
Published: (2024)

Inverse-dynamics observer design for a linear single-track vehicle model with distributed tire dynamics
by: Romano, Luigi, et al.
Published: (2026)

DASA: Delay-Adaptive Multi-Agent Stochastic Approximation
by: Fabbro, Nicolò Dal, et al.
Published: (2024)

Soft Arm-Motor Thrust Characterization for a Pneumatically Actuated Soft Morphing Quadrotor
by: Sumathy, Vidya, et al.
Published: (2025)

Flying through cluttered and dynamic environments with LiDAR
by: Wu, Huajie, et al.
Published: (2025)

An Embedded Decision Support System for Runway Safety and Excursion Avoidance
by: Alogdianakis, Georgios, et al.
Published: (2024)

First-order friction models with bristle dynamics: lumped and distributed formulations
by: Romano, Luigi, et al.
Published: (2026)

Global stability of vehicle-with-driver dynamics via Sum-of-Squares programming
by: Gulisano, Martino, et al.
Published: (2025)

Design and Evaluation of a UGV-Based Robotic Platform for Precision Soil Moisture Remote Sensing
by: Tsimpidi, Ilektra, et al.
Published: (2025)

An Efficient Risk-aware Branch MPC for Automated Driving that is Robust to Uncertain Vehicle Behaviors
by: Zhang, Luyao, et al.
Published: (2024)

Trajectory optimization for contact-rich motions using implicit differential dynamic programming
by: Chatzinikolaidis, Iordanis, et al.
Published: (2021)

Modified Smith predictor for unstable linear systems
by: Pyrkin, Anton, et al.
Published: (2025)