Decision problems for lower/upper bound parametric timed automata

DOI10.1007/s10703-009-0074-0zbMath1186.68245OpenAlexW1992147928MaRDI 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 verificationparametric timed automatasynthesis of parameterstimed temporal logics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (21)

Language Emptiness of Continuous-Time Parametric Timed Automata ⋮ Parameter synthesis for probabilistic timed automata using stochastic game abstractions ⋮ Unnamed Item ⋮ On clock-aware LTL parameter synthesis of timed automata ⋮ LTL Parameter Synthesis of Parametric Timed Automata ⋮ Automata-theoretic decision of timed games ⋮ Language Preservation Problems in Parametric Timed Automata ⋮ A survey of timed automata for the development of real-time systems ⋮ Unnamed Item ⋮ Distributed parametric model checking timed automata under non-zenoness assumption ⋮ Parametric updates in parametric timed automata ⋮ Parametric metric interval temporal logic ⋮ Parameter synthesis for hierarchical concurrent real-time systems ⋮ On completeness of liveness synthesis for parametric timed automata (Extended Abstract) ⋮ Unnamed Item ⋮ What’s Decidable About Parametric Timed Automata? ⋮ Consistency in parametric interval probabilistic timed automata ⋮ Unnamed Item ⋮ A game approach to the parametric control of real-time systems ⋮ Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques ⋮ Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints*

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

This page was built for publication: Decision problems for lower/upper bound parametric timed automata