Integer Parameter Synthesis for Timed Automata

DOI10.1007/978-3-642-36742-7_28MaRDI QIDQ5326340zbMATH OpenOpenAlexFDO

Authors Didier Lime, Olivier H. Roux, Aleksandra Ž. Jovanović

Publication date 5 August 2013

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-36742-7_28

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Integer-complete synthesis for bounded parametric timed automata
• LTL parameter synthesis of parametric timed automata
• On clock-aware LTL parameter synthesis of timed automata
• Synthesizing Clock-Efficient Timed Automata
• On the expressiveness of parametric timed automata
• Synthesis of bounded integer parameters for parametric timed reachability games
• Parameter Synthesis for Timed Kripke Structures
• Parametric Interrupt Timed Automata
• scientific article; zbMATH DE number 2143087

Cited in

(28)

• On clock-aware LTL parameter synthesis of timed automata
• Integer-complete synthesis for bounded parametric timed automata
• Adding dense-timed stack to integer reset timed automata
• Timed automata relaxation for reachability
• Iterative bounded synthesis for efficient cycle detection in parametric timed automata
• On completeness of liveness synthesis for parametric timed automata (Extended Abstract)
• Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques
• Parameter synthesis for probabilistic timed automata using stochastic game abstractions
• Parameter Synthesis for Timed Kripke Structures
• Parametric Deadlock-Freeness Checking Timed Automata
• Parameter synthesis for probabilistic timed automata using stochastic game abstractions
• Language emptiness of continuous-time parametric timed automata
• Timing parameter characterization of real-time systems
• AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
• LTL parameter synthesis of parametric timed automata
• On the expressiveness of parametric timed automata
• scientific article; zbMATH DE number 2143087 (Why is no real title available?)
• Parametric metric interval temporal logic
• Parameter synthesis for hierarchical concurrent real-time systems
• Parametric updates in parametric timed automata
• Timed automata robustness analysis via model checking
• Coverability synthesis in parametric Petri nets
• On parametric timed automata and one-counter machines
• Synthesis of bounded integer parameters for parametric timed reachability games
• Merge and conquer: state merging in parametric timed automata
• Language preservation problems in parametric timed automata
• Formal Modeling and Analysis of Timed Systems
• Parametric updates in parametric timed automata

This page was built for publication: Integer Parameter Synthesis for Timed Automata

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