On discretisable formulas in duration calculus
p. 53-66
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
H. : ĐHQGHN
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/57893 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | 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 |