Abstract
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.
Cite
CITATION STYLE
Bornot, S., Gößler, G., & Sifakis, J. (2000). On the construction of live timed systems. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1785, 109–126. https://doi.org/10.1007/3-540-46419-0_9
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
