Specification and optimal reactive synthesis of run-time enforcement shields

DOI10.1016/j.ic.2022.104865zbMath1504.68131arXiv1909.08541OpenAlexW4225484022MaRDI QIDQ2672248

Paritosh K. Pandya, Amol Wakankar

Publication date: 8 June 2022

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1909.08541

zbMATH Keywords

interval temporal logicoptimal controller synthesis\(H\)-optimal shield synthesisdeviation minimizationerror-correcting shieldlogical shield specificationQDDCquantified discrete duration calculusshield performance comparisonshield synthesis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Specification and optimal reactive synthesis of run-time enforcement shields

Uses Software

• MRMC
• MONA
• DCVALID

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of durations
• Duration calculus. A formal approach to real-time systems.
• Shield synthesis
• Specification and optimal reactive synthesis of run-time enforcement shields
• Resilience to intermittent assumption violations in reactive synthesis
• Formalizing Timing Diagram Requirements in Discrete Duration Calculus
• Shield Synthesis:
• Tools and Algorithms for the Construction and Analysis of Systems
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Computer Aided Verification

This page was built for publication: Specification and optimal reactive synthesis of run-time enforcement shields