Image de couverture de livre

Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Upadhyay, Siddhartha, Das, Ratnangshu, Jagtap, Pushpak
Format:	Preprint
Publié:	2025
Sujets:	Systems and Control Robotics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

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

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes
par: Das, Ratnangshu, et autres
Publié: (2025)

Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets
par: Das, Ratnangshu, 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)

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

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

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

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

Learning Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks using Physics-Informed Neural Networks
par: Basu, Ahan, et autres
Publié: (2025)

Reach-Avoid-Stay-Collision-Avoidance Negotiation Framework for Multi-Agent Systems via Spatiotemporal Tubes
par: Faruqui, Mohd. Faizuddin, et autres
Publié: (2025)

Spatiotemporal Tubes based Controller Synthesis against Omega-Regular Specifications for Unknown Systems
par: Das, Ratnangshu, et autres
Publié: (2025)

Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
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)

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
par: Gautam, Saksham, et autres
Publié: (2024)

Tracking Control of Euler-Lagrangian Systems with Prescribed State, Input, and Temporal Constraints
par: Kashyap, Chidre Shravista, et autres
Publié: (2025)

Periodic Event-Triggered Prescribed Time Control of Euler-Lagrange Systems under State and Input Constraints
par: Kashyap, Chidre Shravista, et autres
Publié: (2025)

Glycemic Safety Tube: A Provably Safe Control Framework for Artificial Pancreas Systems under Parametric Uncertainty
par: Singh, Pukhrambam Akash, et autres
Publié: (2026)

Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems
par: Das, Ratnangshu, et autres
Publié: (2025)

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

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions
par: Singh, Aditya, et autres
Publié: (2025)

Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates
par: Tayal, Manan, et autres
Publié: (2024)

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

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

Energetic Resilience under Temporal Logic Specifications
par: Das, Ratnangshu, et autres
Publié: (2026)

Fast, Smooth, and Safe: Implicit Control Barrier Functions through Reach-Avoid Differential Dynamic Programming
par: Kumar, Athindran Ramesh, et autres
Publié: (2023)

Solving Reach-Avoid-Stay Problems Using Deep Deterministic Policy Gradients
par: Chenevert, Gabriel, et autres
Publié: (2024)

Reach-Avoid-Stabilize Using Admissible Control Sets
par: Gong, Zheng, et autres
Publié: (2025)

Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
par: Si, Youssef Ait, et autres
Publié: (2026)

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
par: Akella, Prithvi, et autres
Publié: (2023)

Neural Backward Reach-Avoid Tubes with MPC Supervision for High-Dimensional Systems: An Application to Safe Spacecraft Docking
par: Thorup, Santiago, et autres
Publié: (2026)

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

CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions
par: Tayal, Manan, et autres
Publié: (2025)

Maximally Resilient Controllers under Temporal Logic Specifications
par: Si, Youssef Ait, et autres
Publié: (2025)

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions
par: Parwana, Hardik, et autres
Publié: (2024)

InPTC: Integrated Planning and Tube-Following Control for Prescribed-Time Collision-Free Navigation of Wheeled Mobile Robots
par: Shao, Xiaodong, et autres
Publié: (2023)

Temporal Logic Resilience for Continuous-time Systems
par: Das, Ratnangshu, et autres
Publié: (2026)

Back to Base: Towards Hands-Off Learning via Safe Resets with Reach-Avoid Safety Filters
par: Begzadić, Azra, et autres
Publié: (2025)

Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability
par: Chung, Long Kiu, et autres
Publié: (2024)