AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA

DOI10.1142/S0129054109006905zbMath1187.68286OpenAlexW2098166444MaRDI QIDQ3646167

Étienne André, Emmanuelle Encrenaz, Thomas Chatain, Laurent Fribourg

Publication date: 19 November 2009

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054109006905

zbMATH Keywords

reachability analysisparameter synthesistime-abstract equivalence

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (20)

Safe Decomposition of Startup Requirements: Verification and Synthesis ⋮ Tweaking the odds in probabilistic timed automata ⋮ Unnamed Item ⋮ On clock-aware LTL parameter synthesis of timed automata ⋮ Shrinking of time Petri nets ⋮ Language Preservation Problems in Parametric Timed Automata ⋮ Distributed parametric model checking timed automata under non-zenoness assumption ⋮ Parametric Verification of Weighted Systems ⋮ Parametric Timed Model Checking for Guaranteeing Timed Opacity ⋮ Parametric metric interval temporal logic ⋮ Parameter synthesis for hierarchical concurrent real-time systems ⋮ An extension of the inverse method to probabilistic timed automata ⋮ Unnamed Item ⋮ What’s Decidable About Parametric Timed Automata? ⋮ Consistency in parametric interval probabilistic timed automata ⋮ Iterative bounded synthesis for efficient cycle detection in parametric timed automata ⋮ A game approach to the parametric control of real-time systems ⋮ Efficient convex zone merging in parametric timed automata ⋮ Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints* ⋮ Parametric Analyses of Attack-fault Trees*

Uses Software

• IMITATOR
• VINAS-P
• Uppaal2k
• HyTech
• Uppaal

Cites Work

• Robust parametric reachability for timed automata
• The octahedron abstract domain
• Timed verification of the generic architecture of a memory circuit using parametric timed automata
• A theory of timed automata
• Uppaal in a nutshell
• Analysis of timed systems using time-abstracting bisimulations

This page was built for publication: AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA