An automated system repair framework with signal temporal logic

DOI10.1007/S00236-021-00403-ZMaRDI QIDQ2139184zbMATH OpenOpenAlexFDO

Authors Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol

Publication date 17 May 2022

Published in Acta Informatica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00236-021-00403-z

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Automated repair for timed systems
• Diagnosis and repair for synthesis from signal temporal logic specifications
• Clock bound repair for timed systems
• Program repair without regret
• Abstract Model Repair

Cites work

• scientific article; zbMATH DE number 1701759 (Why is no real title available?)
• A theory of timed automata
• Interpretable classification of time-series data using efficient enumerative techniques
• Logical clustering and learning for time-series data
• Reactive synthesis from signal temporal logic specifications
• Reducing clocks in timed automata while preserving bisimulation
• Robustness of temporal logic specifications for continuous-time signals
• S-TaLiRo: a tool for temporal logic falsification for hybrid systems
• TeLEx: learning signal temporal logic from positive examples using tightness metric
• Trace diagnostics using temporal implicants
• Traffic Network Control From Temporal Logic Specifications

Cited in

(4)

• Clock bound repair for timed systems
• Repairing real-time requirements
• Automated repair for timed systems
• scientific article; zbMATH DE number 7577576 (Why is no real title available?)

Describes a project that uses

Uses Software

• IMITATOR
• Matlab
• Uppaal
• S-TaLiRo
• SemFix
• TarTar

This page was built for publication: An automated system repair framework with signal temporal logic

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