Reachability solution characterization of parametric real-time systems

DOI10.1016/J.TCS.2004.07.014MaRDI QIDQ703513zbMATH OpenOpenAlexFDO

Authors Farn Wang, Hsu-Chun Yen

Publication date 11 January 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2004.07.014

zbMATH Keywords

ReachabilityTiming parameter automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Timing parameter characterization of real-time systems
• Advances in Parametric Real-Time Reasoning
• Parametric timing analysis for real-time systems
• Robust parametric reachability for timed automata
• scientific article; zbMATH DE number 7297846

Cites work

• scientific article; zbMATH DE number 1670792 (Why is no real title available?)
• scientific article; zbMATH DE number 1701759 (Why is no real title available?)
• scientific article; zbMATH DE number 177824 (Why is no real title available?)
• scientific article; zbMATH DE number 1962849 (Why is no real title available?)
• scientific article; zbMATH DE number 1832228 (Why is no real title available?)
• A multiparameter analysis of the boundedness problem for vector addition systems
• Model-checking in dense real-time
• On the reachability problem for 5-dimensional vector addition systems
• Parametric real-time reasoning
• Parametric timing analysis for real-time systems
• The covering and boundedness problems for vector addition systems
• The residue of vector sets with applications to decidability problems in Petri nets

Cited in

(2)

• Timing parameter characterization of real-time systems
• Advances in Parametric Real-Time Reasoning

This page was built for publication: Reachability solution characterization of parametric real-time systems

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