Cover Image

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Monir, Negar, Si, Youssef Ait, Das, Ratnangshu, Jagtap, Pushpak, Saoud, Adnane, Soudjani, Sadegh
Format:	Preprint
Published:	2025
Subjects:	Systems and Control Logic in Computer Science Dynamical Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Maximally Resilient Controllers under Temporal Logic Specifications
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)

Temporal Logic Resilience for Dynamical Systems
by: Saoud, Adnane, et al.
Published: (2024)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
by: Monir, Negar, et al.
Published: (2026)

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

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

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

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
by: Incer, Inigo
Published: (2024)

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

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

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

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

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

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

Incorporating Social Awareness into Control of Unknown Multi-Agent Systems: A Real-Time Spatiotemporal Tubes Approach
by: Upadhyay, Siddhartha, et al.
Published: (2025)

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

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

How to discretize continuous state-action spaces in Q-learning: A symbolic control approach
by: Alaoui, Sadek Belamfedel, 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 for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
by: Das, Ratnangshu, et al.
Published: (2024)

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)

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

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

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
by: Incer, Inigo, et al.
Published: (2023)

Backstepping Design for Incremental Input-to-State Stabilization of Unknown Systems
by: Sundarsingh, David Smith, et al.
Published: (2024)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
by: Schön, Oliver, et al.
Published: (2023)

Verification of Quantum Circuits through Discrete-Time Barrier Certificates
by: Lewis, Marco, et al.
Published: (2024)

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes
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)

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

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

Safe Reach Set Computation via Neural Barrier Certificates
by: Abate, Alessandro, et al.
Published: (2024)

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

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

On Certificates for Almost Sure Reachability in Stochastic Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
by: Kochdumper, Niklas, et al.
Published: (2023)