Cover Image

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sangeerth, P, Lavaei, Abolfazl, Jagtap, Pushpak
Format:	Preprint
Published:	2024
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Certified Sim-to-Real Transfer via Stochastic Simulation-Gap Functions
by: Sangeerth, P, et al.
Published: (2026)

Quantification of Sim2Real Gap via Neural Simulation Gap Function
by: Sangeerth, P, et al.
Published: (2025)

Sliding Mode Control for Safe Trajectory Tracking with Moving Obstacles Avoidance: Experimental Validation on Planar Robots
by: Sawarkar, Shubham, et al.
Published: (2026)

Controller for Incremental Input-to-State Practical Stabilization of Partially Unknown systems with Invariance Guarantees
by: Sangeerth, P, et al.
Published: (2025)

Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach
by: Samari, Behrad, et al.
Published: (2024)

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
by: Wooding, Ben, et al.
Published: (2023)

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

From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks
by: Akbarzadeh, Omid, et al.
Published: (2024)

Incorporating Social Awareness into Control of Unknown Multi-Agent Systems: A Real-Time Spatiotemporal Tubes Approach
by: Upadhyay, Siddhartha, et al.
Published: (2025)

Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks
by: Basu, Ahan, et al.
Published: (2025)

Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems
by: Basu, Ahan, et al.
Published: (2025)

A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems
by: Aminzadeh, Ali, et al.
Published: (2024)

Formally Verified Neural Network Controllers for Incremental Input-to-State Stability of Unknown Discrete-Time Systems
by: Basu, Ahan, et al.
Published: (2025)

Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets
by: Das, Ratnangshu, et al.
Published: (2025)

Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
by: Sawarkar, Shubham, et al.
Published: (2025)

Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
by: Jagabathula, Vaishnavi, et al.
Published: (2025)

From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
by: Akbarzadeh, Omid, et al.
Published: (2025)

Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Scenario Approach with Noisy Data
by: Zaker, Mahdieh, et al.
Published: (2025)

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems
by: Wooding, Ben, et al.
Published: (2024)

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials
by: Wooding, Ben, et al.
Published: (2024)

From Dissipativity Property to Data-Driven GAS Certificate of Degree-One Homogeneous Networks with Unknown Topology
by: Lavaei, Abolfazl, et al.
Published: (2025)

Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems
by: Samari, Behrad, et al.
Published: (2025)

Prescribed Performance Control of Unknown Euler-Lagrange Systems Under Input Constraints
by: Das, Ratnangshu, et al.
Published: (2025)

Funnel-based Control for Reach-Avoid-Stay Specifications
by: Das, Ratnangshu, et al.
Published: (2023)

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

Spatiotemporal Tubes based Control of Unknown Multi-Agent Systems for Temporal Reach-Avoid-Stay Tasks
by: Basu, Ahan, et al.
Published: (2025)

Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)

Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)

Neural Network-based Co-design of Output-Feedback Control Barrier Function and Observer with Input Constraints
by: Jagabathula, Vaishnavi, et al.
Published: (2025)

A Data-Driven Krasovskii-Based Approach for Safety Controller Design of Time-Delayed Uncertain Polynomial Systems
by: Akbarzadeh, Omid, et al.
Published: (2026)

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories
by: Samari, Behrad, et al.
Published: (2024)

Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics
by: Zaker, Mahdieh, et al.
Published: (2024)

PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
by: Wooding, Ben, et al.
Published: (2024)

From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees
by: Zaker, Mahdieh, et al.
Published: (2025)

Model Order Reduction from Data with Certification
by: Samari, Behrad, et al.
Published: (2025)

Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies
by: Zaker, Mahdieh, et al.
Published: (2025)

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
by: Das, Ratnangshu, et al.
Published: (2024)

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
by: Gautam, Saksham, et al.
Published: (2024)

Spatiotemporal Tubes for Probabilistic Temporal Reach-Avoid-Stay Task in Uncertain Dynamic Environment
by: Upadhyay, Siddhartha, et al.
Published: (2025)

Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
by: Upadhyay, Siddhartha, et al.
Published: (2025)