Decision problems for lower/upper bound parametric timed automata

DOI10.1007/S10703-009-0074-0MaRDI QIDQ1041291zbMATH OpenOpenAlexFDO

Authors Laura Bozzelli, Salvatore La Torre

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)

Recommendations

• Decision Problems for Lower/Upper Bound Parametric Timed Automata
• TCTL model checking lower/upper-bound parametric timed automata without invariants
• What's decidable about parametric timed automata?
• Linear parametric model checking of timed automata
• scientific article; zbMATH DE number 1701759

Cites work

• A theory of timed automata
• Formal Methods for the Design of Real-Time Systems
• scientific article; zbMATH DE number 1962855 (Why is no real title available?)
• Linear parametric model checking of timed automata
• Model-checking in dense real-time
• Parametric Metric Interval Temporal Logic
• Parametric real-time reasoning
• Parametric temporal logic for “model measuring”
• Parametric timing analysis for real-time systems
• The benefits of relaxing punctuality
• What's decidable about hybrid automata?

Cited in

(28)

• TCTL model checking lower/upper-bound parametric timed automata without invariants
• On clock-aware LTL parameter synthesis of timed automata
• The language preservation problem is undecidable for parametric event-recording automata
• Linear parametric model checking of timed automata
• On completeness of liveness synthesis for parametric timed automata (Extended Abstract)
• 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
• scientific article; zbMATH DE number 1701759 (Why is no real title available?)
• Language preservation problems in parametric timed automata
• Language emptiness of continuous-time parametric timed automata
• Automata-theoretic decision of timed games
• A survey of timed automata for the development of real-time systems
• LTL parameter synthesis of parametric timed automata
• What's decidable about parametric timed automata?
• Parametric metric interval temporal logic
• Parameter synthesis for hierarchical concurrent real-time systems
• Parametric updates in parametric timed automata
• MTL-model checking of one-clock parametric timed automata is undecidable
• Parametric schedulability analysis of a launcher flight control system under reactivity constraints
• Reachability and liveness in parametric timed automata
• Coverability synthesis in parametric Petri nets
• Language preservation problems in parametric timed automata
• A game approach to the parametric control of real-time systems
• Decision Problems for Lower/Upper Bound Parametric Timed Automata
• Distributed parametric model checking timed automata under non-zenoness assumption
• Parametric updates in parametric timed automata
• Dense integer-complete synthesis for bounded parametric timed automata

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

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