Reachability solution characterization of parametric real-time systems

DOI10.1016/J.TCS.2004.07.014zbMATH Open1071.68054OpenAlexW2088609633MaRDI QIDQ703513FDOQ703513

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

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

zbMATH Keywords

ReachabilityTiming parameter automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Model-checking in dense real-time
• The covering and boundedness problems for vector addition systems
• On the reachability problem for 5-dimensional vector addition systems
• Title not available (Why is that?)
• A multiparameter analysis of the boundedness problem for vector addition systems
• The residue of vector sets with applications to decidability problems in Petri nets
• Title not available (Why is that?)
• Parametric real-time reasoning
• Parametric timing analysis for real-time systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)