Cover Image

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Das, Ratnangshu, Basu, Ahan, Jagtap, Pushpak
Format:	Preprint
Published:	2024
Subjects:	Systems and Control Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
by: Sawarkar, Shubham, 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)

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

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

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

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

Neural Controller for Incremental Stability of Unknown Continuous-time Systems
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)

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

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

Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems
by: Das, Ratnangshu, 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)

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

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

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

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

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

Solving Reach-Avoid-Stay Problems Using Deep Deterministic Policy Gradients
by: Chenevert, Gabriel, et al.
Published: (2024)

Neural Backward Reach-Avoid Tubes with MPC Supervision for High-Dimensional Systems: An Application to Safe Spacecraft Docking
by: Thorup, Santiago, et al.
Published: (2026)

Periodic Event-Triggered Prescribed Time Control of Euler-Lagrange Systems under State and Input Constraints
by: Kashyap, Chidre Shravista, 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)

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

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions
by: Parwana, Hardik, et al.
Published: (2024)

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

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

Reach-Avoid-Stabilize Using Admissible Control Sets
by: Gong, Zheng, et al.
Published: (2025)

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

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

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
by: Akella, Prithvi, et al.
Published: (2023)