Decision problems for lower/upper bound parametric timed automata

DOI10.1007/s10703-009-0074-0zbMath1186.68245MaRDI QIDQ1041291

Salvatore La Torre, Laura Bozzelli

Publication date: 2 December 2009

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-009-0074-0

zbMATH Keywords

parametric real-time verification; parametric timed automata; synthesis of parameters; timed temporal logics

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

LTL Parameter Synthesis of Parametric Timed Automata, What’s Decidable About Parametric Timed Automata?, Unnamed Item, Unnamed Item, A game approach to the parametric control of real-time systems, Automata-theoretic decision of timed games, A survey of timed automata for the development of real-time systems, Parametric metric interval temporal logic, Parameter synthesis for hierarchical concurrent real-time systems, On clock-aware LTL parameter synthesis of timed automata, Consistency in parametric interval probabilistic timed automata, Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques, Parameter synthesis for probabilistic timed automata using stochastic game abstractions, Language Preservation Problems in Parametric Timed Automata, Language Emptiness of Continuous-Time Parametric Timed Automata

Cites Work

• Unnamed Item
• Parametric timing analysis for real-time systems
• Model-checking in dense real-time
• What's decidable about hybrid automata?
• A theory of timed automata
• Linear parametric model checking of timed automata
• Parametric temporal logic for “model measuring”
• Parametric Metric Interval Temporal Logic
• The benefits of relaxing punctuality
• Parametric real-time reasoning
• Formal Methods for the Design of Real-Time Systems