Cover Image

Energetic Resilience under Temporal Logic Specifications

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Das, Ratnangshu, Padmanabhan, Ram, Ornik, Melkior, Jagtap, Pushpak
Format:	Preprint
Published:	2026
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Energetic Resilience of Linear Driftless Systems
by: Padmanabhan, Ram, et al.
Published: (2024)

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

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

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

Approximate Energetic Resilience of Nonlinear Systems under Partial Loss of Control Authority
by: Padmanabhan, Ram, et al.
Published: (2025)

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

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

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

Finite-time Reachability for Constrained, Partially Uncontrolled Nonlinear Systems
by: Padmanabhan, Ram, et al.
Published: (2026)

Ignore Drift, Embrace Simplicity: Constrained Nonlinear Control through Driftless Approximation
by: Padmanabhan, Ram, et al.
Published: (2025)

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

Prescribed Performance Control of Unknown Euler-Lagrange Systems Under Input Constraints
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 Temporal Reach-Avoid-Stay Tasks in Unknown Systems
by: Das, Ratnangshu, et al.
Published: (2024)

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

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

Temporal Logic Resilience for Dynamical Systems
by: Saoud, Adnane, 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)

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

Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets
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)

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

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

Losing Control of your Network? Try Resilience Theory
by: Bouvier, Jean-Baptiste, et al.
Published: (2023)

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

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

How Much Reserve Fuel: Quantifying the Maximal Energy Cost of System Disturbances
by: Padmanabhan, Ram, et al.
Published: (2024)

Input Matrix Optimization for Desired Reachable Set Warping of Linear Systems
by: Das, Hrishav, et al.
Published: (2026)

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

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

Hierarchical Motion Planning and Control under Unknown Nonlinear Dynamics via Predicted Reachability
by: Zhang, Zhiquan, et al.
Published: (2026)

Analysis of the Unscented Transform Controller for Systems with Bounded Nonlinearities
by: Dinkar, Siddharth A., et al.
Published: (2025)

Dynamic Regret in Time-varying MDPs with Intermittent Information
by: Musavi, Negin, et al.
Published: (2026)

Resource-Constrained Shortest Path with Polytopic Reset Sets
by: Surur, Khaled, et al.
Published: (2026)

Amortizing Trajectory Diffusion with Keyed Drift Fields
by: Puthumanaillam, Gokul, et al.
Published: (2026)

Guaranteed Reachability on Riemannian Manifolds for Unknown Nonlinear Systems
by: Shafa, Taha, et al.
Published: (2024)

Sum-of-Squares Data-driven Robustly Stabilizing and Contracting Controller Synthesis for Polynomial Nonlinear Systems
by: El-Kebir, Hamza, et al.
Published: (2025)

Mode-Prefix-Based Control of Switched Linear Systems with Applications to Fault Tolerance
by: Padmanabhan, Ram, et al.
Published: (2025)

Online Learning of Deceptive Policies under Intermittent Observation
by: Puthumanaillam, Gokul, et al.
Published: (2025)

Space Exploration Architecture and Design Framework for Commercialization
by: Chen, Hao, et al.
Published: (2021)