A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA

DOI10.1142/S0129054106004133MaRDI QIDQ5484905zbMATH OpenFDO

Authors Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino

Publication date 21 August 2006

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

abstractionparametric timed automataequivalence checkingreal-time communicating systemstimed failure equivalence

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Automated Technology for Verification and Analysis
• AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
• An inverse method for parametric timed automata
• Parametric timing analysis for real-time systems
• Action refinement and equivalence notions for timed event structures

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• A brief history of Timed CSP
• A process algebra for timed systems
• An operational semantics for timed CSP
• Parametric timing analysis for real-time systems
• Symbolic bisimulations
• Testing equivalences for processes
• The timed failures -- Stability model for CSP

Cited in

(2)

• Automated Technology for Verification and Analysis
• Consistency in parametric interval probabilistic timed automata

This page was built for publication: A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA

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