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

DOI10.1142/S0129054106004133zbMATH Open1098.68074MaRDI QIDQ5484905FDOQ5484905

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)

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

zbMATH Keywords

abstractionparametric timed automataequivalence checkingreal-time communicating systemstimed failure equivalence

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• An operational semantics for timed CSP
• Title not available (Why is that?)
• Testing equivalences for processes
• A process algebra for timed systems
• Parametric timing analysis for real-time systems
• The timed failures -- Stability model for CSP
• A brief history of Timed CSP
• Symbolic bisimulations

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)