Imagen de Portada

Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Das, Ratnangshu, Upadhyay, Siddhartha, Jagtap, Pushpak
Formato:	Preprint
Publicado:	2025
Materias:	Robotics Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes
por: Das, Ratnangshu, et al.
Publicado: (2025)

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes
por: Das, Ratnangshu, et al.
Publicado: (2025)

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

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

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

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

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

Spatiotemporal Tubes based Controller Synthesis against Omega-Regular Specifications for Unknown Systems
por: Das, Ratnangshu, et al.
Publicado: (2025)

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

Learning Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks using Physics-Informed Neural Networks
por: Basu, Ahan, et al.
Publicado: (2025)

Reach-Avoid-Stay-Collision-Avoidance Negotiation Framework for Multi-Agent Systems via Spatiotemporal Tubes
por: Faruqui, Mohd. Faizuddin, et al.
Publicado: (2025)

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

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

Glycemic Safety Tube: A Provably Safe Control Framework for Artificial Pancreas Systems under Parametric Uncertainty
por: Singh, Pukhrambam Akash, et al.
Publicado: (2026)

Real Time Safety of Fixed-wing UAVs using Collision Cone Control Barrier Functions
por: Agarwal, Aryan, et al.
Publicado: (2024)

Energetic Resilience under Temporal Logic Specifications
por: Das, Ratnangshu, et al.
Publicado: (2026)

Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems
por: Das, Ratnangshu, et al.
Publicado: (2025)

Periodic Event-Triggered Prescribed Time Control of Euler-Lagrange Systems under State and Input Constraints
por: Kashyap, Chidre Shravista, et al.
Publicado: (2025)

Tracking Control of Euler-Lagrangian Systems with Prescribed State, Input, and Temporal Constraints
por: Kashyap, Chidre Shravista, et al.
Publicado: (2025)

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

Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates
por: Tayal, Manan, et al.
Publicado: (2024)

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions
por: Singh, Aditya, et al.
Publicado: (2025)

CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions
por: Tayal, Manan, et al.
Publicado: (2025)

Stochastic Neural Control Barrier Functions
por: Zhang, Hongchao, et al.
Publicado: (2025)

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

Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
por: Si, Youssef Ait, et al.
Publicado: (2026)

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

SafeLink: Safety-Critical Control Under Dynamic and Irregular Unsafe Regions
por: Hu, Songqiao, et al.
Publicado: (2025)

An Efficient Real-Time Planning Method for Swarm Robotics Based on an Optimal Virtual Tube
por: Mao, Pengda, et al.
Publicado: (2025)

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

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

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach
por: Sangeerth, P, et al.
Publicado: (2024)

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

TeraSim: Uncovering Unknown Unsafe Events for Autonomous Vehicles through Generative Simulation
por: Sun, Haowei, et al.
Publicado: (2025)

Input-to-State Stabilizing Neural Controllers for Unknown Switched Nonlinear Systems within Compact Sets
por: Dey, Bhabani Shankar, et al.
Publicado: (2026)

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