Reachability solution characterization of parametric real-time systems

DOI10.1016/j.tcs.2004.07.014zbMath1071.68054OpenAlexW2088609633MaRDI QIDQ703513

Hsu-Chun Yen, Farn Wang

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Parametric timing analysis for real-time systems
• Model-checking in dense real-time
• The residue of vector sets with applications to decidability problems in Petri nets
• On the reachability problem for 5-dimensional vector addition systems
• The covering and boundedness problems for vector addition systems
• A multiparameter analysis of the boundedness problem for vector addition systems
• Parametric real-time reasoning

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