On discretisable formulas in duration calculus

p. 53-66

Saved in:
書目詳細資料
主要作者: Pham, Hong Thai
格式: Article
語言:English
出版: H. : ĐHQGHN 2017
主題:
在線閱讀:http://repository.vnu.edu.vn/handle/VNU_123/57893
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
機構: Vietnam National University, Hanoi
語言: English
id oai:112.137.131.14:VNU_123-57893
record_format dspace
spelling oai:112.137.131.14:VNU_123-578932017-09-30T19:56:02Z On discretisable formulas in duration calculus Pham, Hong Thai discretisable formulas duration calculus p. 53-66 Model checking problem for real-time systems is a hard problem and has high complexity because time model of system is dense and continuous. Especially, as known, almost accumulated timed properties which are expressed by duration formulas in Duration Calculus is undecidable or decidable but with very high complexity. However, fortunately for some formulas, to avoid high complexity we can only check them in integral model of time instead of real time model. Such formulas are called discretisable formulas. In this paper, we show a subclass of formulas in Duration Calculus which is constructed from a linear constraint of state durations is discretisable and based on this we also give some ideas for checking them. The our results includes some results of the others. 2017-08-23T04:04:06Z 2017-08-23T04:04:06Z 2004 Article 2588-1124 http://repository.vnu.edu.vn/handle/VNU_123/57893 en Vol. 20;No. 1 (2004) application/pdf H. : ĐHQGHN
institution Vietnam National University, Hanoi
building VNU Library & Information Center
country Vietnam
collection VNU Digital Repository
language English
topic discretisable formulas
duration calculus
spellingShingle discretisable formulas
duration calculus
Pham, Hong Thai
On discretisable formulas in duration calculus
description p. 53-66
format Article
author Pham, Hong Thai
author_facet Pham, Hong Thai
author_sort Pham, Hong Thai
title On discretisable formulas in duration calculus
title_short On discretisable formulas in duration calculus
title_full On discretisable formulas in duration calculus
title_fullStr On discretisable formulas in duration calculus
title_full_unstemmed On discretisable formulas in duration calculus
title_sort on discretisable formulas in duration calculus
publisher H. : ĐHQGHN
publishDate 2017
url http://repository.vnu.edu.vn/handle/VNU_123/57893
_version_ 1680966728770650112