Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1350763, author = {Bezděk, Peter and Beneš, Nikola and Barnat, Jiří and Černá, Ivana}, address = {Berlin}, booktitle = {Software Engineering and Formal Methods - 14th International Conference, SEFM 2016.}, doi = {http://dx.doi.org/10.1007/978-3-319-41591-8_12}, editor = {Rocco De Nicola, Eva K{\"{u}}hn}, keywords = {LTL model checking - parameter synthesis - timed automata}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Berlin}, isbn = {978-3-319-41590-1}, pages = {172-187}, publisher = {Lecture Notes in Computer Sciences in Computer Science, 9763}, title = {LTL Parameter Synthesis of Parametric Timed Automata}, url = {http://dx.doi.org/10.1007/978-3-319-41591-8_12}, year = {2016} }
TY - JOUR ID - 1350763 AU - Bezděk, Peter - Beneš, Nikola - Barnat, Jiří - Černá, Ivana PY - 2016 TI - LTL Parameter Synthesis of Parametric Timed Automata PB - Lecture Notes in Computer Sciences in Computer Science, 9763 CY - Berlin SN - 9783319415901 KW - LTL model checking - parameter synthesis - timed automata UR - http://dx.doi.org/10.1007/978-3-319-41591-8_12 L2 - http://dx.doi.org/10.1007/978-3-319-41591-8_12 N2 - The parameter synthesis problem for parametric timed automata is undecidable in general even for very simple reachability properties. In this paper we introduce restrictions on parameter valua- tions under which the parameter synthesis problem is decidable for LTL properties. The investigated bounded integer parameter synthesis prob- lem could be solved using an explicit enumeration of all possible parame- ter valuations. We propose an alternative symbolic zone-based method for this problem which results in a faster computation. Our technique extends the ideas of the automata-based approach to LTL model check- ing of timed automata. To justify the usefulness of our approach, we provide experimental evaluation and compare our method with explicit enumeration technique. ER -
BEZDĚK, Peter, Nikola BENEŠ, Jiří BARNAT a Ivana ČERNÁ. LTL Parameter Synthesis of Parametric Timed Automata. In Rocco De Nicola, Eva K$\{\backslash$''$\{$u$\}\}$hn. \textit{Software Engineering and Formal Methods - 14th International Conference, SEFM 2016.}. Berlin: Lecture Notes in Computer Sciences in Computer Science, 9763, 2016, s.~172-187. ISBN~978-3-319-41590-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-41591-8\_{}12.
|