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

• A multiparameter analysis of the boundedness problem for vector addition systems
• Automata for modeling real-time systems
• Linear parametric model checking of timed automata
• Model-checking in dense real-time
• On the reachability problem for 5-dimensional vector addition systems
• Parametric optimization of open real-time systems
• Parametric real-time reasoning
• Parametric timing analysis for real-time systems
• Symbolic techniques for parametric reasoning about counter and clock systems
• The covering and boundedness problems for vector addition systems
• The residue of vector sets with applications to decidability problems in Petri nets
• Untameable timed automata!

Cited in

(2)

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

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)