Temporal logic resilience for continuous-time systems

DOI10.1016/J.NAHS.2026.101741MaRDI QIDQ7303630zbMATH OpenFDO

Authors Ratnangshu Das, Negar Monir, Youssef Ait Si, Adnane Saoud, Sadegh Soudjani, Pushpak Jagtap

Publication date 24 July 2026

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.NAHS.2026.101741

Mathematics Subject Classification ID

Temporal logic (03B44) Sensitivity (robustness) (93B35) Nonlinear systems in control theory (93C10)

Cites work

• An STL-based formulation of resilience in cyber-physical systems
• Averaging in LTL
• Controller synthesis against omega-regular specifications: a funnel-based control approach
• Data-driven abstraction-based control synthesis
• Discounting in LTL
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach
• Hybrid Systems: Computation and Control
• Non-conservative ultimate bound estimation in LTI perturbed systems
• On linearly perturbed linear systems
• On the stability properties of perturbed linear nonstationary systems
• Parameter invariant monitoring for signal temporal logic
• Performance Bounds for the Scenario Approach and an Extension to a Class of Non-Convex Programs
• Robust satisfaction of temporal logic over real-valued signals
• Robustness of temporal logic specifications for continuous-time signals
• Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
• Temporal logic robustness for general signal classes

This page was built for publication: Temporal logic resilience for continuous-time systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7303630)