Saved in:
| Main Authors: | Faruqui, Mohd. Faizuddin, Das, Ratnangshu, L, Ravi Kumar, Jagtap, Pushpak |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2503.10245 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
by: Das, Ratnangshu, et al.
Published: (2024)
by: Das, Ratnangshu, 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)
by: Basu, Ahan, et al.
Published: (2025)
Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
by: Upadhyay, Siddhartha, et al.
Published: (2025)
by: Upadhyay, Siddhartha, et al.
Published: (2025)
Spatiotemporal Tubes for Probabilistic Temporal Reach-Avoid-Stay Task in Uncertain Dynamic Environment
by: Upadhyay, Siddhartha, et al.
Published: (2025)
by: Upadhyay, Siddhartha, et al.
Published: (2025)
Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)
by: Das, Ratnangshu, et al.
Published: (2025)
Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)
by: Das, Ratnangshu, et al.
Published: (2025)
Funnel-based Control for Reach-Avoid-Stay Specifications
by: Das, Ratnangshu, et al.
Published: (2023)
by: Das, Ratnangshu, et al.
Published: (2023)
Incorporating Social Awareness into Control of Unknown Multi-Agent Systems: A Real-Time Spatiotemporal Tubes Approach
by: Upadhyay, Siddhartha, et al.
Published: (2025)
by: Upadhyay, Siddhartha, et al.
Published: (2025)
Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets
by: Das, Ratnangshu, et al.
Published: (2025)
by: Das, Ratnangshu, et al.
Published: (2025)
Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)
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)
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)
by: Das, Ratnangshu, 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)
by: Basu, Ahan, et al.
Published: (2025)
Prescribed Performance Control of Unknown Euler-Lagrange Systems Under Input Constraints
by: Das, Ratnangshu, et al.
Published: (2025)
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)
by: Singh, Pukhrambam Akash, et al.
Published: (2026)
Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
by: Sawarkar, Shubham, et al.
Published: (2025)
by: Sawarkar, Shubham, et al.
Published: (2025)
RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
by: Gautam, Saksham, et al.
Published: (2024)
by: Gautam, Saksham, et al.
Published: (2024)
Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems
by: Das, Ratnangshu, et al.
Published: (2025)
by: Das, Ratnangshu, et al.
Published: (2025)
Energetic Resilience under Temporal Logic Specifications
by: Das, Ratnangshu, et al.
Published: (2026)
by: Das, Ratnangshu, et al.
Published: (2026)
Temporal Logic Resilience for Continuous-time Systems
by: Das, Ratnangshu, et al.
Published: (2026)
by: Das, Ratnangshu, et al.
Published: (2026)
Maximally Resilient Controllers under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2025)
by: Si, Youssef Ait, et al.
Published: (2025)
Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2026)
by: Si, Youssef Ait, et al.
Published: (2026)
Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
by: Monir, Negar, et al.
Published: (2025)
by: Monir, Negar, et al.
Published: (2025)
Real Time Safety of Fixed-wing UAVs using Collision Cone Control Barrier Functions
by: Agarwal, Aryan, et al.
Published: (2024)
by: Agarwal, Aryan, et al.
Published: (2024)
Sliding Mode Control for Safe Trajectory Tracking with Moving Obstacles Avoidance: Experimental Validation on Planar Robots
by: Sawarkar, Shubham, et al.
Published: (2026)
by: Sawarkar, Shubham, et al.
Published: (2026)
Quantification of Sim2Real Gap via Neural Simulation Gap Function
by: Sangeerth, P, et al.
Published: (2025)
by: Sangeerth, P, et al.
Published: (2025)
Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
by: Jagabathula, Vaishnavi, et al.
Published: (2025)
by: Jagabathula, Vaishnavi, et al.
Published: (2025)
Temporal Logic Resilience for Dynamical Systems
by: Saoud, Adnane, et al.
Published: (2024)
by: Saoud, Adnane, et al.
Published: (2024)
Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks
by: Basu, Ahan, et al.
Published: (2025)
by: Basu, Ahan, et al.
Published: (2025)
Towards Certified Sim-to-Real Transfer via Stochastic Simulation-Gap Functions
by: Sangeerth, P, et al.
Published: (2026)
by: Sangeerth, P, 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)
by: Kashyap, Chidre Shravista, et al.
Published: (2025)
Neural Controller for Incremental Stability of Unknown Continuous-time Systems
by: Basu, Ahan, et al.
Published: (2025)
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)
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)
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)
by: Basu, Ahan, et al.
Published: (2025)
Backstepping Design for Incremental Input-to-State Stabilization of Unknown Systems
by: Sundarsingh, David Smith, et al.
Published: (2024)
by: Sundarsingh, David Smith, et al.
Published: (2024)
On Incremental Stability of Interconnected Switched Systems
by: Dey, Bhabani Shankar, et al.
Published: (2023)
by: Dey, Bhabani Shankar, et al.
Published: (2023)
Solving Reach-Avoid-Stay Problems Using Deep Deterministic Policy Gradients
by: Chenevert, Gabriel, et al.
Published: (2024)
by: Chenevert, Gabriel, et al.
Published: (2024)
Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach
by: Sangeerth, P, et al.
Published: (2024)
by: Sangeerth, P, et al.
Published: (2024)
Neural Network-based Co-design of Output-Feedback Control Barrier Function and Observer with Input Constraints
by: Jagabathula, Vaishnavi, et al.
Published: (2025)
by: Jagabathula, Vaishnavi, et al.
Published: (2025)
Similar Items
-
Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
by: Das, Ratnangshu, 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) -
Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
by: Upadhyay, Siddhartha, et al.
Published: (2025) -
Spatiotemporal Tubes for Probabilistic Temporal Reach-Avoid-Stay Task in Uncertain Dynamic Environment
by: Upadhyay, Siddhartha, et al.
Published: (2025) -
Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)