Imagen de Portada

Temporal Logic Resilience for Dynamical Systems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Saoud, Adnane, Jagtap, Pushpak, Soudjani, Sadegh
Formato:	Preprint
Publicado:	2024
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

Logic-based Resilience Computation of Power Systems Against Frequency Requirements
por: Monir, Negar, et al.
Publicado: (2025)

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

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
por: Liu, Siyuan, et al.
Publicado: (2023)

Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties
por: Alaoui, Sadek Belamfedel, et al.
Publicado: (2024)

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

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

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

On Robust Controlled Invariants for Continuous-time Monotone Systems
por: Wembe, Emmanuel Junior Wafo, et al.
Publicado: (2024)

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
por: Das, Ratnangshu, et al.
Publicado: (2024)

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

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

Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces
por: Ghosh, Arabinda, et al.
Publicado: (2024)

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

Barrier Certificates for Uncertain Temporal Specifications
por: Mamduhi, Mohammad H., et al.
Publicado: (2026)

Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
por: Sawarkar, Shubham, et al.
Publicado: (2025)

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

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
por: Kordabad, Arash Bahari, et al.
Publicado: (2024)

A Trajectory-Based Approach to Controlled Invariance and Recursively Feasible MPC
por: Wembe, Emmanuel Junior Wafo, et al.
Publicado: (2026)

How to discretize continuous state-action spaces in Q-learning: A symbolic control approach
por: Alaoui, Sadek Belamfedel, et al.
Publicado: (2024)

Just Few States are Enough: Randomized Sparse Feedback for Stability of Dynamical Systems
por: Hadach, Zaid, et al.
Publicado: (2025)

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

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
por: Monir, Negar, et al.
Publicado: (2025)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
por: Nazeri, Mahdi, et al.
Publicado: (2025)

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

Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks
por: Basu, Ahan, et al.
Publicado: (2025)

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
por: Wooding, Ben, et al.
Publicado: (2023)

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

Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
por: Vlahakis, Eleftherios E., et al.
Publicado: (2026)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
por: Kordabad, Arash Bahari, et al.
Publicado: (2025)

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

Stochastic Generalized Dynamic Games with Coupled Chance Constraints
por: Yadollahi, Seyed Shahram, et al.
Publicado: (2025)

Robust Hybrid Finite-Time Parameter Estimation Without Persistence of Excitation
por: Saoud, Adnane, et al.
Publicado: (2026)

Symbolic Control: Unveiling Free Robustness Margins
por: Si, Youssef Ait, et al.
Publicado: (2025)

Almost Sure Reachability in Continuous-time Stochastic Systems
por: Kordabad, Arash Bahari, et al.
Publicado: (2026)

Neural Controller for Incremental Stability of Unknown Continuous-time Systems
por: Basu, Ahan, et al.
Publicado: (2025)