Timing parameter characterization of real-time systems

DOI10.1007/3-540-45089-0_4MaRDI QIDQ3559774zbMATH OpenOpenAlexFDO

Authors Farn Wang, Hsu-Chun Yen

Publication date 7 May 2010

Published in Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45089-0_4

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Reachability solution characterization of parametric real-time systems
• Parametric timing analysis for real-time systems
• Advances in Parametric Real-Time Reasoning
• Integer Parameter Synthesis for Timed Automata
• A theory of timed automata

Cited in

(7)

• On minimal elements of upward-closed sets
• Quantitative timed simulation functions and refinement metrics for real-time systems
• Behavioral cartography of timed automata
• INDUCTIVE COMPOSITION OF NUMBERS WITH MAXIMUM, MINIMUM, AND ADDITION: A New Theory for Program Execution-Time Analysis
• An inverse method for parametric timed automata
• Parametric timing analysis for real-time systems
• Reachability solution characterization of parametric real-time systems

This page was built for publication: Timing parameter characterization of real-time systems

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