Image de couverture de livre

Temporal Logic Resilience for Continuous-time Systems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Das, Ratnangshu, Monir, Negar, Si, Youssef Ait, Saoud, Adnane, Soudjani, Sadegh, Jagtap, Pushpak
Format:	Preprint
Publié:	2026
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
par: Monir, Negar, et autres
Publié: (2025)

Temporal Logic Resilience for Dynamical Systems
par: Saoud, Adnane, et autres
Publié: (2024)

Logic-based Resilience Computation of Power Systems Against Frequency Requirements
par: Monir, Negar, et autres
Publié: (2025)

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

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)

Prescribed Performance Control of Unknown Euler-Lagrange Systems Under Input Constraints
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)

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

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
par: Monir, Negar, et autres
Publié: (2025)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
par: Monir, Negar, et autres
Publié: (2026)

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

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

Symbolic Control: Unveiling Free Robustness Margins
par: Si, Youssef Ait, et autres
Publié: (2025)

Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes
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)

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

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

Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
par: Upadhyay, Siddhartha, et autres
Publié: (2025)

Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets
par: Das, Ratnangshu, et autres
Publié: (2025)

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

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

On Robust Controlled Invariants for Continuous-time Monotone Systems
par: Wembe, Emmanuel Junior Wafo, et autres
Publié: (2024)

Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
par: Jagabathula, Vaishnavi, et autres
Publié: (2025)

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
par: Liu, Siyuan, et autres
Publié: (2023)

Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces
par: Ghosh, Arabinda, et autres
Publié: (2024)

Almost Sure Reachability in Continuous-time Stochastic Systems
par: Kordabad, Arash Bahari, et autres
Publié: (2026)

Neural Controller for Incremental Stability of Unknown Continuous-time Systems
par: Basu, Ahan, et autres
Publié: (2025)

Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties
par: Alaoui, Sadek Belamfedel, 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)

Barrier Certificates for Uncertain Temporal Specifications
par: Mamduhi, Mohammad H., et autres
Publié: (2026)

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

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
par: Kordabad, Arash Bahari, et autres
Publié: (2024)

A Trajectory-Based Approach to Controlled Invariance and Recursively Feasible MPC
par: Wembe, Emmanuel Junior Wafo, et autres
Publié: (2026)

How to discretize continuous state-action spaces in Q-learning: A symbolic control approach
par: Alaoui, Sadek Belamfedel, et autres
Publié: (2024)

Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks
par: Basu, Ahan, et autres
Publié: (2025)