Search: onr:"swepub:oai:DiVA.org:uu-529428" >
Multi-Clock Timed N...
-
Abdulla, Parosh Aziz
(author)
Multi-Clock Timed Networks
Publisher, publication year, extent ...
-
Department of Information Technology, Uppsala University,2004
-
electronicrdacarrier
Numbers
-
LIBRIS-ID:oai:DiVA.org:uu-529428
-
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-529428URI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:vet swepub-contenttype
-
Subject category:rap swepub-publicationtype
Series
-
Technical report / Department of Information Technology, Uppsala University,1404-3203 ;2004-012
Notes
-
We consider verification of safety properties for parameterized systems of timed processes, so called ıt timed networks. A timed network consists of a finite state process, called a controller, and an arbitrary set of identical timed processes. In a previous work, we showed that checking safety properties is decidable in the case where each timed process is equipped with a single real-valued clock. It was left open whether the result could be extended to multi-clock timed networks. We show that the problem becomes undecidable when each timed process has two clocks. On the other hand, we show that the problem is decidable when clocks range over a discrete time domain. This decidability result holds when processes have any finite number of clocks.
Added entries (persons, corporate bodies, meetings, titles ...)
-
Deneuz, Johann
(author)
-
Mahata, Pritha
(author)
Internet link
To the university's database