Runtime Assurance for Uncertain Linear Systems from Interval Signal Temporal Logic

SSRN Electronic Journal 2026 Preprint Open access

Read full text

Authors: Luke Baird, Evans Morales-Cuadrado, Samuel Coogan

DOI: 10.2139/ssrn.6168587

Cited by: 0

References: 34

Fields of Study & Subjects

Formal Methods in Verification Advanced Control Systems Optimization Stability and Control of Uncertain Systems

References 34