Image de couverture de livre

Towards Certified Sim-to-Real Transfer via Stochastic Simulation-Gap Functions

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Sangeerth, P, Lavaei, Abolfazl, Jagtap, Pushpak
Format:	Preprint
Publié:	2026
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach
par: Sangeerth, P, et autres
Publié: (2024)

Quantification of Sim2Real Gap via Neural Simulation Gap Function
par: Sangeerth, P, et autres
Publié: (2025)

Sliding Mode Control for Safe Trajectory Tracking with Moving Obstacles Avoidance: Experimental Validation on Planar Robots
par: Sawarkar, Shubham, et autres
Publié: (2026)

Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
par: Lavaei, Abolfazl
Publié: (2025)

Controller for Incremental Input-to-State Practical Stabilization of Partially Unknown systems with Invariance Guarantees
par: Sangeerth, P, et autres
Publié: (2025)

Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics
par: Zaker, Mahdieh, et autres
Publié: (2024)

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems
par: Wooding, Ben, et autres
Publié: (2024)

Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
par: Jagabathula, Vaishnavi, et autres
Publié: (2025)

Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
par: Sawarkar, Shubham, et autres
Publié: (2025)

Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets
par: Das, Ratnangshu, et autres
Publié: (2025)

Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes
par: Das, Ratnangshu, et autres
Publié: (2025)

Stochastic Neural Control Barrier Functions
par: Zhang, Hongchao, et autres
Publié: (2025)

Neural Network-based Co-design of Output-Feedback Control Barrier Function and Observer with Input Constraints
par: Jagabathula, Vaishnavi, et autres
Publié: (2025)

Safety Controller Synthesis for Stochastic Networked Systems under Communication Constraints
par: Akbarzadeh, Omid, et autres
Publié: (2025)

Incorporating Social Awareness into Control of Unknown Multi-Agent Systems: A Real-Time Spatiotemporal Tubes Approach
par: Upadhyay, Siddhartha, et autres
Publié: (2025)

From Dissipativity Property to Data-Driven GAS Certificate of Degree-One Homogeneous Networks with Unknown Topology
par: Lavaei, Abolfazl, et autres
Publié: (2025)

Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems
par: Samari, Behrad, et autres
Publié: (2025)

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials
par: Wooding, Ben, et autres
Publié: (2024)

Prescribed Performance Control of Unknown Euler-Lagrange Systems Under Input Constraints
par: Das, Ratnangshu, et autres
Publié: (2025)

Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes
par: Das, Ratnangshu, et autres
Publié: (2025)

Funnel-based Control for Reach-Avoid-Stay Specifications
par: Das, Ratnangshu, et autres
Publié: (2023)

Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems
par: Basu, Ahan, et autres
Publié: (2025)

Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems
par: Zaker, Mahdieh, et autres
Publié: (2024)

Real Time Safety of Fixed-wing UAVs using Collision Cone Control Barrier Functions
par: Agarwal, Aryan, et autres
Publié: (2024)

Safety Controller Synthesis for Stochastic Polynomial Time-Delayed Systems
par: Akbarzadeh, Omid, et autres
Publié: (2026)

Spatiotemporal Tubes based Control of Unknown Multi-Agent Systems for Temporal Reach-Avoid-Stay Tasks
par: Basu, Ahan, et autres
Publié: (2025)

Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
par: Das, Ratnangshu, et autres
Publié: (2025)

Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks
par: Basu, Ahan, et autres
Publié: (2025)

Temporal Logic Resilience for Dynamical Systems
par: Saoud, Adnane, et autres
Publié: (2024)

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
par: Wooding, Ben, et autres
Publié: (2023)

From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks
par: Akbarzadeh, Omid, et autres
Publié: (2024)

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories
par: Samari, Behrad, et autres
Publié: (2024)

From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees
par: Zaker, Mahdieh, et autres
Publié: (2025)

Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach
par: Samari, Behrad, et autres
Publié: (2024)

PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
par: Wooding, Ben, et autres
Publié: (2024)

Model Order Reduction from Data with Certification
par: Samari, Behrad, et autres
Publié: (2025)

Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies
par: Zaker, Mahdieh, et autres
Publié: (2025)

Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Scenario Approach with Noisy Data
par: Zaker, Mahdieh, et autres
Publié: (2025)

Spatiotemporal Tubes for Probabilistic Temporal Reach-Avoid-Stay Task in Uncertain Dynamic Environment
par: Upadhyay, Siddhartha, et autres
Publié: (2025)

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
par: Das, Ratnangshu, et autres
Publié: (2024)