On the construction of live timed systems

We present a method that allows to guarantee liveness by construction of a class of timed systems. The method is based on the use of a set of structural properties which can be checked locallyat low cost. We provide sufficient conditions for liveness preservation byparallel composition and prioritychoice operators. The latter allow to restrict a system's behavior according to a given priorityorder on its actions. We present several examples illustrating the use of the results, in particular for the construction of live controllers. © Springer-Verlag Berlin Heidelberg 2000.


Published in:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Presented at:
TACAS, Berlin, Germany
Year:
2000
Keywords:
Laboratories:




 Record created 2013-03-14, last modified 2018-03-17

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)